effect-ts-laws
Version:
effect-ts law testing using fast-check.
1 lines • 1.22 kB
Source Map (JSON)
{"version":3,"file":"equivalence.d.ts","sourceRoot":"","sources":["../../../../src/law/equivalence.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAc,WAAW,IAAI,EAAE,EAAC,MAAM,QAAQ,CAAA;AACrD,OAAO,KAAK,EAAC,IAAI,EAAE,UAAU,EAAC,MAAM,YAAY,CAAA;AAEhD;;;;GAIG;AACH,MAAM,WAAW,eAAe,CAC9B,CAAC,SAAS,UAAU,EACpB,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO;IAEX,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACpE;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,gBAAgB,GAC1B,CAAC,SAAS,UAAU,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO,EACxD,iBAAiB,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAE7C,KAAK,CAAC,GAAG,SAAS,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,KAAK,GAAG,KACrB,kBAAkB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAEvE;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,CAC5B,GAAG,SAAS,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,EACnC,CAAC,SAAS,UAAU,EACpB,CAAC,EACD,CAAC,EACD,CAAC,IACC;KACD,CAAC,IAAI,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAC9B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CACrE;CACF,CAAA"}