本文整理匯總了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);
});示例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)
})示例3: it
it('reflection 2', () =>
jsv.assert(
jsv.forall(
httpVersionArb(),
httpVersionArb(),
(a, b) => a.equals(b) === b.equals(a)
)
)示例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)
)
)