TypeScript jsverify.forall函数代码示例

OStack程序员社区-中国程序员成长平台 › 门户 › 编程› TypeScript›TypeScript教程

原作者: [db:作者] 来自: [db:来源] 收藏邀请

本文整理汇总了TypeScript中jsverify.forall函数的典型用法代码示例。如果您正苦于以下问题：TypeScript forall函数的具体用法？TypeScript forall怎么用？TypeScript forall使用的例子？那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。

在下文中一共展示了forall函数的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.forall函数示例由纯净天空整理自Github/MSDocs等源码及文档管理平台，相关代码片段筛选自各路编程大神贡献的开源项目，源码版权归原作者所有，传播和使用请参考对应项目的License；未经允许，请勿转载。