effect-ts-laws
Version:
effect-ts law testing using fast-check.
1 lines • 5.62 kB
Source Map (JSON)
{"version":3,"file":"given.d.ts","sourceRoot":"","sources":["../../../../../../src/laws/typeclass/parameterized/given.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,aAAa,EAAC,MAAM,YAAY,CAAA;AAE7C,OAAO,KAAK,EAAC,MAAM,EAAE,eAAe,EAAC,MAAM,MAAM,CAAA;AAEjD,OAAO,EAAC,MAAM,IAAI,EAAE,EAAC,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAC,WAAW,IAAI,EAAE,EAAE,MAAM,IAAI,EAAE,EAAQ,SAAS,IAAI,EAAE,EAAC,MAAM,QAAQ,CAAA;AAC7E,OAAO,KAAK,EAAC,IAAI,EAAE,UAAU,EAAC,MAAM,YAAY,CAAA;AAChD,OAAO,EAAE,MAAM,YAAY,CAAA;AAE3B;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,kBAAkB,CACjC,SAAS,SAAS,UAAU,EAC5B,EAAE,SAAS,UAAU,EACrB,CAAC,EACD,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,CACX,SAAQ,aAAa,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3C;;;;OAIG;IACH,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqEG;AACH,MAAM,WAAW,aAAa,CAC5B,SAAS,SAAS,UAAU,EAC5B,EAAE,SAAS,UAAU,EACrB,CAAC,EACD,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,CACX,SAAQ,kBAAkB,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3D,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9C,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9C,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAE9C,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACtC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACtC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEtC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAChC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC7B,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC7B,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC7B,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAE7B,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAEpC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACjD,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEjD,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACzC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAEzC,KAAK,EAAE,CACL,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAClC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACjD,KAAK,EAAE,CACL,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAClC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;CAClD;AAED;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GACtB,SAAS,SAAS,UAAU,EAC5B,CAAC,SAAS,UAAU,EACpB,CAAC,EACD,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,EAEX,OAAO,kBAAkB,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACxD,aAAa,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CA2C9C,CAAA;AAED;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;CAAG;AAExC;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa,CAC5B,CAAC,SAAS,UAAU,EACpB,CAAC,EACD,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,CAAC,EACL,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,CACX,SAAQ,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC3C,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACrC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1B;;;OAGG;IACH,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CACrB;AAID,UAAU,gBAAgB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/D,kDAAkD;IAClD,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;IAC1B,kDAAkD;IAClD,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;IAC1B,kDAAkD;IAClD,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;IAC1B;;;OAGG;IACH,cAAc,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC5C;AAID,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACtE,gDAAgD;IAChD,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAClB,gDAAgD;IAChD,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAClB,gDAAgD;IAChD,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAClB;;;OAGG;IACH,YAAY,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACxC;AAID,UAAU,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/B,wCAAwC;IACxC,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACzC,wCAAwC;IACxC,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACzC,wCAAwC;IACxC,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB,CAAC,SAAS,SAAS,UAAU;IAC9D,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO,EACzE,KAAK,EAAE,kBAAkB,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACzD,MAAM,CAAC,EAAE,MAAM,GACd,MAAM,CAAA;CACV"}