• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号

TypeScript jsverify.fn函数代码示例

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

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



在下文中一共展示了fn函数的3个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的TypeScript代码示例。

示例1: describe

    describe('Chain instance', () => {
      jsv.property('associativity', jsv.nat, jsv.fn(jsv.nat), jsv.fn(jsv.nat), (a, f, g) => {
        function fn(a: number) {
          return T.pure(f(a));
        }

        function gn(a: number) {
          return T.pure(g(a));
        }

        return T.toPromise(T.bothPar(
          T.pure(a)['fantasy-land/chain'](fn)['fantasy-land/chain'](gn),
          T.pure(a)['fantasy-land/chain'](x => fn(x)['fantasy-land/chain'](gn))
        ).map(tEquals));
      });

      jsv.property('#chain(f) ignore failure', jsv.string, jsv.nat, jsv.fn(jsv.nat), (m, a, f) => {
        function transform(n: number) {
          return T.pure(f(n));
        }
        const err = new Error(m);

        return T.toPromise(T.bothPar(
          T.attempt(T.raise(err)['fantasy-land/chain'](transform)),
          T.attempt(T.raise(err))
        ).map(tEquals));
      });
    });
开发者ID:syaiful6,项目名称:jonggrang,代码行数:28,代码来源:property.ts


示例2: describe

  describe('mapMaybe', () => {
    jsv.property('functor identity', maybeArb(jsv.nat), t => deepEq(t, M.mapMaybe(t, id)));

    jsv.property('functor compose', maybeArb(jsv.nat), jsv.fn(jsv.nat), jsv.fn(jsv.nat), (t, f, g) =>
      deepEq(M.mapMaybe(t, x => f(g(x))), M.mapMaybe(M.mapMaybe(t, g), f))
    );
  });
开发者ID:syaiful6,项目名称:jonggrang,代码行数:7,代码来源:maybe.ts


示例3: describe

  describe('bimapEither', () => {
    jsv.property('maps the first function over the left value', leftArb(jsv.nat), jsv.fn(jsv.nat),
                 jsv.fn(jsv.nat), (t, f, g) => deepEq(E.bimapEither(t, f, g).value, f(t.value)));

    jsv.property('maps the second function over the right value', rightArb(jsv.nat), jsv.fn(jsv.nat),
                 jsv.fn(jsv.nat), (t, f, g) => deepEq(E.bimapEither(t, g, g), E.mapEither(t, g)));
  });
开发者ID:syaiful6,项目名称:jonggrang,代码行数:7,代码来源:either.ts



注:本文中的jsverify.fn函数示例由纯净天空整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
TypeScript jsverify.forall函数代码示例发布时间:2022-05-25
下一篇:
TypeScript jsverify.assert函数代码示例发布时间:2022-05-25
热门推荐
热门话题
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap