本文整理汇总了TypeScript中jsverify.assert函数的典型用法代码示例。如果您正苦于以下问题:TypeScript assert函数的具体用法?TypeScript assert怎么用?TypeScript assert使用的例子?那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。
在下文中一共展示了assert函数的4个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的TypeScript代码示例。
示例1: it
it('should interact correctly', () => {
const property = forall(diagramArbitrary, diagramArbitrary, (addDiagram, subtractDiagram) => {
const Time = mockTimeSource();
const add$ = Time.diagram(addDiagram);
const subtract$ = Time.diagram(subtractDiagram);
const DOM = mockDOMSource({
'.add': { click: add$ },
'.subtract': { click: subtract$ }
});
const app = onionify(App)({ DOM } as any);
const html$ = app.DOM.map(toHtml);
const expected$ = xs.merge(add$.mapTo(+1), subtract$.mapTo(-1))
.fold((acc, curr) => acc + curr, 0)
.map(expectedHTML);
Time.assertEqual(html$, expected$, htmlLooksLike);
return promise(Time.run);
});
return assert(property, testOptions);
});
开发者ID:michalvankodev,项目名称:portfolio,代码行数:25,代码来源:app.test.ts
示例2: it
it('should interact correctly', () => {
const property = forall(
diagramArbitrary,
diagramArbitrary,
(addDiagram, subtractDiagram) =>
withTime(Time => {
const add$ = Time.diagram(addDiagram)
const subtract$ = Time.diagram(subtractDiagram)
const DOM = mockDOMSource({
'.add': { click: add$ },
'.subtract': { click: subtract$ }
})
const app = onionify(App)({ DOM } as any)
const html$ = (app.DOM as Stream<VNode>).map(toHtml)
const expected$ = xs
.merge(add$.mapTo(+1), subtract$.mapTo(-1))
.fold((acc, curr) => acc + curr, 0)
.map(expectedHTML)
Time.assertEqual(html$, expected$, htmlLooksLike)
})
)
return assert(property, testOptions)
})
开发者ID:OpenDirective,项目名称:brian,代码行数:28,代码来源:app.test.ts
示例3: it
it('reflection 2', () =>
jsv.assert(
jsv.forall(
httpVersionArb(),
httpVersionArb(),
(a, b) => a.equals(b) === b.equals(a)
)
)
开发者ID:syaiful6,项目名称:jonggrang,代码行数:8,代码来源:version.ts
示例4: it
it('Left value is untouched', () =>
jsv.assert(
jsv.forall(
leftArb(jsv.json),
jsv.fn(jsv.json),
(a, f) => deepEq(E.mapEither(a, f), a)
)
)
开发者ID:syaiful6,项目名称:jonggrang,代码行数:8,代码来源:either.ts
注:本文中的jsverify.assert函数示例由纯净天空整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。 |
请发表评论