effect-ts-laws
Version:
effect-ts law testing using fast-check.
1 lines • 2.04 kB
Source Map (JSON)
{"version":3,"file":"mono.d.ts","sourceRoot":"","sources":["../../../../../../src/laws/typeclass/monomorphic/mono.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,aAAa,EAAC,MAAM,YAAY,CAAA;AAS7C,OAAO,KAAK,EAAC,eAAe,EAAC,MAAM,MAAM,CAAA;AACzC,OAAO,EAAC,MAAM,EAAC,MAAM,mBAAmB,CAAA;AAGxC,OAAO,EAAe,KAAK,IAAI,EAAE,EAAE,SAAS,IAAI,EAAE,EAAE,MAAM,IAAI,EAAE,EAAC,MAAM,QAAQ,CAAA;AAC/E,OAAO,EAAC,KAAK,WAAW,EAAC,MAAM,oBAAoB,CAAA;AAEnD,OAAO,KAAK,EAAC,IAAI,EAAE,UAAU,EAAC,MAAM,YAAY,CAAA;AAChD,OAAO,EAA2B,KAAK,MAAM,EAAC,MAAM,eAAe,CAAA;AACnE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,KAAK,EAAC,aAAa,EAAE,kBAAkB,EAAC,MAAM,2BAA2B,CAAA;AAGhF;;;;;;GAMG;AACH,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;AAEjC;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAuB,CAAA;AAEpE;;;GAGG;AACH,eAAO,MAAM,mBAAmB,EAAE,EAAE,CAAC,SAAS,CAC5C,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CACC,CAAA;AAElC,4BAA4B;AAC5B,eAAO,MAAM,sBAAsB,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CACjD,CAAA;AAEnB;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,IAAI,CAAkC,CAAA;AAEhF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAC7C,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CACK,CAAA;AAEtC;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAsB,CAAA;AAE3D;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAgC,CAAA;AAE3E;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,CAAC,EACvC,SAAS,WAAW,CAAC,CAAC,CAAC,KACtB,WAAW,CAAC,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,CACU,CAAA;AAE9C;;;GAGG;AACH,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAC5B,CAAA;AAEzC;;;;;;GAMG;AACH,eAAO,MAAM,eAAe;KAC1B,CAAC,SAAS,UAAU,EACpB,CAAC,UACD,CAAC,YACD,CAAC,4BAEe,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,gBAC7B,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACtC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBAU5C,SAAS,SAAS,UAAU,EAC5B,CAAC,SAAS,UAAU,EACpB,CAAC,UACD,CAAC,YACD,CAAC,eAEE,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC7B,kBAAkB,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CAV1D,CAAA"}