@fncts/base 0.0.12 → 0.0.13
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/_cjs/collection/Iterable/api/traverseConc.cjs +16 -21
- package/_cjs/collection/Iterable/api/traverseConc.cjs.map +1 -1
- package/_cjs/collection/compat/Record/instances.cjs +67 -16
- package/_cjs/collection/compat/Record/instances.cjs.map +1 -1
- package/_cjs/collection/immutable/Conc/api.cjs +9 -12
- package/_cjs/collection/immutable/Conc/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Conc/definition.cjs +41 -43
- package/_cjs/collection/immutable/Conc/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/Dictionary/definition.cjs +2 -4
- package/_cjs/collection/immutable/Dictionary/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/HashMap/api.cjs +26 -29
- package/_cjs/collection/immutable/HashMap/api.cjs.map +1 -1
- package/_cjs/collection/immutable/HashMap/definition.cjs +15 -17
- package/_cjs/collection/immutable/HashMap/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/ImmutableArray/api.cjs +136 -153
- package/_cjs/collection/immutable/ImmutableArray/api.cjs.map +1 -1
- package/_cjs/collection/immutable/ImmutableArray/definition.cjs +10 -12
- package/_cjs/collection/immutable/ImmutableArray/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/ImmutableArray/instances.cjs +11 -9
- package/_cjs/collection/immutable/ImmutableArray/instances.cjs.map +1 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/api.cjs +21 -22
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/api.cjs.map +1 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/definition.cjs +3 -9
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/instances.cjs +8 -2
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/instances.cjs.map +1 -1
- package/_cjs/collection/immutable/RoseTree/definition.cjs +13 -15
- package/_cjs/collection/immutable/RoseTree/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/Vector/api.cjs +8 -12
- package/_cjs/collection/immutable/Vector/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Vector/definition.cjs +11 -13
- package/_cjs/collection/immutable/Vector/definition.cjs.map +1 -1
- package/_cjs/collection/weak/IterableWeakMap.cjs +51 -2
- package/_cjs/collection/weak/IterableWeakMap.cjs.map +1 -1
- package/_cjs/collection/weak/IterableWeakSet.cjs +59 -7
- package/_cjs/collection/weak/IterableWeakSet.cjs.map +1 -1
- package/_cjs/control/Eval/api.cjs +9 -3
- package/_cjs/control/Eval/api.cjs.map +1 -1
- package/_cjs/control/Eval/definition.cjs +0 -7
- package/_cjs/control/Eval/definition.cjs.map +1 -1
- package/_cjs/control/Eval/instance.cjs +6 -0
- package/_cjs/control/Eval/instance.cjs.map +1 -1
- package/_cjs/control/Z/api.cjs +16 -14
- package/_cjs/control/Z/api.cjs.map +1 -1
- package/_cjs/control/Z/definition.cjs +9 -14
- package/_cjs/control/Z/definition.cjs.map +1 -1
- package/_cjs/control/Z/instances.cjs +6 -0
- package/_cjs/control/Z/instances.cjs.map +1 -1
- package/_cjs/control/Z/runtime.cjs +15 -13
- package/_cjs/control/Z/runtime.cjs.map +1 -1
- package/_cjs/data/Const/definition.cjs +0 -7
- package/_cjs/data/Const/definition.cjs.map +1 -1
- package/_cjs/data/Const/instances.cjs +7 -5
- package/_cjs/data/Const/instances.cjs.map +1 -1
- package/_cjs/data/Datum/api.cjs +479 -0
- package/_cjs/data/Datum/api.cjs.map +1 -0
- package/_cjs/data/Datum/definition.cjs +142 -0
- package/_cjs/data/Datum/definition.cjs.map +1 -0
- package/_cjs/data/Datum/instances.cjs +69 -0
- package/_cjs/data/Datum/instances.cjs.map +1 -0
- package/_cjs/data/DatumEither/api.cjs +365 -0
- package/_cjs/data/DatumEither/api.cjs.map +1 -0
- package/_cjs/data/DatumEither/definition.cjs +9 -0
- package/_cjs/data/DatumEither/definition.cjs.map +1 -0
- package/_cjs/data/DecodeError/definition.cjs +3 -3
- package/_cjs/data/DecodeError/definition.cjs.map +1 -1
- package/_cjs/data/Decoder/definition.cjs +3 -10
- package/_cjs/data/Decoder/definition.cjs.map +1 -1
- package/_cjs/data/Either/api.cjs +21 -5
- package/_cjs/data/Either/api.cjs.map +1 -1
- package/_cjs/data/Either/definition.cjs +3 -10
- package/_cjs/data/Either/definition.cjs.map +1 -1
- package/_cjs/data/Either/instances.cjs +25 -23
- package/_cjs/data/Either/instances.cjs.map +1 -1
- package/_cjs/data/EitherT/api.cjs +106 -0
- package/_cjs/data/EitherT/api.cjs.map +1 -0
- package/_cjs/data/EitherT/definition.cjs +9 -0
- package/_cjs/data/EitherT/definition.cjs.map +1 -0
- package/_cjs/data/Environment/api.cjs +15 -14
- package/_cjs/data/Environment/api.cjs.map +1 -1
- package/_cjs/data/Environment/definition.cjs.map +1 -1
- package/_cjs/data/Identity/api.cjs +3 -1
- package/_cjs/data/Identity/api.cjs.map +1 -1
- package/_cjs/data/Identity/definition.cjs +2 -4
- package/_cjs/data/Identity/definition.cjs.map +1 -1
- package/_cjs/data/Identity/instances.cjs +6 -0
- package/_cjs/data/Identity/instances.cjs.map +1 -1
- package/_cjs/data/Intervals.cjs +292 -0
- package/_cjs/data/Intervals.cjs.map +1 -0
- package/_cjs/data/Maybe/api.cjs +3 -1
- package/_cjs/data/Maybe/api.cjs.map +1 -1
- package/_cjs/data/Maybe/definition.cjs +11 -13
- package/_cjs/data/Maybe/definition.cjs.map +1 -1
- package/_cjs/data/Maybe/instances.cjs +13 -11
- package/_cjs/data/Maybe/instances.cjs.map +1 -1
- package/_cjs/data/Newtype.cjs +3 -5
- package/_cjs/data/Newtype.cjs.map +1 -1
- package/_cjs/data/Struct/definition.cjs +2 -4
- package/_cjs/data/Struct/definition.cjs.map +1 -1
- package/_cjs/data/Zipped.cjs +55 -0
- package/_cjs/data/Zipped.cjs.map +1 -0
- package/_cjs/data/function/api.cjs +10 -0
- package/_cjs/data/function/api.cjs.map +1 -1
- package/_cjs/data/object/instances.cjs +9 -1
- package/_cjs/data/object/instances.cjs.map +1 -1
- package/_cjs/optics/Optional/definition.cjs +4 -6
- package/_cjs/optics/Optional/definition.cjs.map +1 -1
- package/_cjs/optics/Traversal/api/compose.cjs +1 -1
- package/_cjs/optics/Traversal/api/compose.cjs.map +1 -1
- package/_cjs/optics/Traversal/api/fromTraversable.cjs +1 -1
- package/_cjs/optics/Traversal/api/fromTraversable.cjs.map +1 -1
- package/_cjs/optics/Traversal/definition.cjs +3 -3
- package/_cjs/optics/Traversal/definition.cjs.map +1 -1
- package/_cjs/typeclass/Alt.cjs +0 -7
- package/_cjs/typeclass/Alt.cjs.map +1 -1
- package/_cjs/typeclass/ApplicativeExcept.cjs +9 -35
- package/_cjs/typeclass/ApplicativeExcept.cjs.map +1 -1
- package/_cjs/typeclass/Apply.cjs +39 -66
- package/_cjs/typeclass/Apply.cjs.map +1 -1
- package/_cjs/typeclass/Chain.cjs +6 -28
- package/_cjs/typeclass/Chain.cjs.map +1 -1
- package/_cjs/typeclass/Fail.cjs +0 -10
- package/_cjs/typeclass/Fail.cjs.map +1 -1
- package/_cjs/typeclass/Filterable.cjs +0 -36
- package/_cjs/typeclass/Filterable.cjs.map +1 -1
- package/_cjs/typeclass/Foldable.cjs +4 -34
- package/_cjs/typeclass/Foldable.cjs.map +1 -1
- package/_cjs/typeclass/FoldableWithIndex.cjs +4 -34
- package/_cjs/typeclass/FoldableWithIndex.cjs.map +1 -1
- package/_cjs/typeclass/Functor.cjs +3 -18
- package/_cjs/typeclass/Functor.cjs.map +1 -1
- package/_cjs/typeclass/Guard/definition.cjs +3 -10
- package/_cjs/typeclass/Guard/definition.cjs.map +1 -1
- package/_cjs/typeclass/MonadExcept.cjs +2 -10
- package/_cjs/typeclass/MonadExcept.cjs.map +1 -1
- package/_cjs/typeclass/Nil.cjs +0 -10
- package/_cjs/typeclass/Nil.cjs.map +1 -1
- package/_cjs/typeclass/Pointed.cjs +0 -11
- package/_cjs/typeclass/Pointed.cjs.map +1 -1
- package/_cjs/typeclass/Semialign.cjs +18 -46
- package/_cjs/typeclass/Semialign.cjs.map +1 -1
- package/_cjs/typeclass/Semimonoidal.cjs +0 -11
- package/_cjs/typeclass/Semimonoidal.cjs.map +1 -1
- package/_cjs/typeclass/Showable/show.cjs +12 -12
- package/_cjs/typeclass/Showable/show.cjs.map +1 -1
- package/_cjs/typeclass/Traversable.cjs +7 -26
- package/_cjs/typeclass/Traversable.cjs.map +1 -1
- package/_cjs/typeclass/TraversableWithIndex.cjs +3 -7
- package/_cjs/typeclass/TraversableWithIndex.cjs.map +1 -1
- package/_cjs/typeclass/Witherable.cjs +3 -45
- package/_cjs/typeclass/Witherable.cjs.map +1 -1
- package/_cjs/typeclass/WitherableWithIndex.cjs +8 -44
- package/_cjs/typeclass/WitherableWithIndex.cjs.map +1 -1
- package/_mjs/collection/Iterable/api/traverseConc.mjs +16 -21
- package/_mjs/collection/Iterable/api/traverseConc.mjs.map +1 -1
- package/_mjs/collection/compat/Record/instances.mjs +62 -16
- package/_mjs/collection/compat/Record/instances.mjs.map +1 -1
- package/_mjs/collection/immutable/Conc/api.mjs +7 -11
- package/_mjs/collection/immutable/Conc/api.mjs.map +1 -1
- package/_mjs/collection/immutable/Conc/definition.mjs +41 -42
- package/_mjs/collection/immutable/Conc/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/Dictionary/definition.mjs +2 -3
- package/_mjs/collection/immutable/Dictionary/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/HashMap/api.mjs +18 -20
- package/_mjs/collection/immutable/HashMap/api.mjs.map +1 -1
- package/_mjs/collection/immutable/HashMap/definition.mjs +15 -16
- package/_mjs/collection/immutable/HashMap/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/ImmutableArray/api.mjs +128 -147
- package/_mjs/collection/immutable/ImmutableArray/api.mjs.map +1 -1
- package/_mjs/collection/immutable/ImmutableArray/definition.mjs +10 -11
- package/_mjs/collection/immutable/ImmutableArray/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/ImmutableArray/instances.mjs +9 -8
- package/_mjs/collection/immutable/ImmutableArray/instances.mjs.map +1 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/api.mjs +18 -19
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/api.mjs.map +1 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/definition.mjs +0 -2
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/instances.mjs +4 -3
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/instances.mjs.map +1 -1
- package/_mjs/collection/immutable/RoseTree/definition.mjs +13 -14
- package/_mjs/collection/immutable/RoseTree/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/Vector/api.mjs +8 -12
- package/_mjs/collection/immutable/Vector/api.mjs.map +1 -1
- package/_mjs/collection/immutable/Vector/definition.mjs +11 -12
- package/_mjs/collection/immutable/Vector/definition.mjs.map +1 -1
- package/_mjs/collection/weak/IterableWeakMap.mjs +51 -2
- package/_mjs/collection/weak/IterableWeakMap.mjs.map +1 -1
- package/_mjs/collection/weak/IterableWeakSet.mjs +59 -7
- package/_mjs/collection/weak/IterableWeakSet.mjs.map +1 -1
- package/_mjs/control/Eval/api.mjs +9 -4
- package/_mjs/control/Eval/api.mjs.map +1 -1
- package/_mjs/control/Eval/definition.mjs +0 -1
- package/_mjs/control/Eval/definition.mjs.map +1 -1
- package/_mjs/control/Eval/instance.mjs +1 -0
- package/_mjs/control/Eval/instance.mjs.map +1 -1
- package/_mjs/control/Z/api.mjs +16 -15
- package/_mjs/control/Z/api.mjs.map +1 -1
- package/_mjs/control/Z/definition.mjs +4 -5
- package/_mjs/control/Z/definition.mjs.map +1 -1
- package/_mjs/control/Z/instances.mjs +1 -0
- package/_mjs/control/Z/instances.mjs.map +1 -1
- package/_mjs/control/Z/runtime.mjs +14 -13
- package/_mjs/control/Z/runtime.mjs.map +1 -1
- package/_mjs/data/Const/definition.mjs +0 -3
- package/_mjs/data/Const/definition.mjs.map +1 -1
- package/_mjs/data/Const/instances.mjs +6 -5
- package/_mjs/data/Const/instances.mjs.map +1 -1
- package/_mjs/data/Datum/api.mjs +403 -0
- package/_mjs/data/Datum/api.mjs.map +1 -0
- package/_mjs/data/Datum/definition.mjs +112 -0
- package/_mjs/data/Datum/definition.mjs.map +1 -0
- package/_mjs/data/Datum/instances.mjs +52 -0
- package/_mjs/data/Datum/instances.mjs.map +1 -0
- package/_mjs/data/DatumEither/api.mjs +290 -0
- package/_mjs/data/DatumEither/api.mjs.map +1 -0
- package/_mjs/data/DatumEither/definition.mjs +2 -0
- package/_mjs/data/DatumEither/definition.mjs.map +1 -0
- package/_mjs/data/DecodeError/definition.mjs +3 -3
- package/_mjs/data/DecodeError/definition.mjs.map +1 -1
- package/_mjs/data/Decoder/definition.mjs +0 -2
- package/_mjs/data/Decoder/definition.mjs.map +1 -1
- package/_mjs/data/Either/api.mjs +16 -3
- package/_mjs/data/Either/api.mjs.map +1 -1
- package/_mjs/data/Either/definition.mjs +0 -2
- package/_mjs/data/Either/definition.mjs.map +1 -1
- package/_mjs/data/Either/instances.mjs +23 -22
- package/_mjs/data/Either/instances.mjs.map +1 -1
- package/_mjs/data/EitherT/api.mjs +73 -0
- package/_mjs/data/EitherT/api.mjs.map +1 -0
- package/_mjs/data/EitherT/definition.mjs +2 -0
- package/_mjs/data/EitherT/definition.mjs.map +1 -0
- package/_mjs/data/Environment/api.mjs +12 -13
- package/_mjs/data/Environment/api.mjs.map +1 -1
- package/_mjs/data/Environment/definition.mjs.map +1 -1
- package/_mjs/data/Identity/api.mjs +2 -1
- package/_mjs/data/Identity/api.mjs.map +1 -1
- package/_mjs/data/Identity/definition.mjs +2 -3
- package/_mjs/data/Identity/definition.mjs.map +1 -1
- package/_mjs/data/Identity/instances.mjs +1 -0
- package/_mjs/data/Identity/instances.mjs.map +1 -1
- package/_mjs/data/Intervals.mjs +257 -0
- package/_mjs/data/Intervals.mjs.map +1 -0
- package/_mjs/data/Maybe/api.mjs +2 -1
- package/_mjs/data/Maybe/api.mjs.map +1 -1
- package/_mjs/data/Maybe/definition.mjs +8 -10
- package/_mjs/data/Maybe/definition.mjs.map +1 -1
- package/_mjs/data/Maybe/instances.mjs +12 -11
- package/_mjs/data/Maybe/instances.mjs.map +1 -1
- package/_mjs/data/Newtype.mjs +3 -4
- package/_mjs/data/Newtype.mjs.map +1 -1
- package/_mjs/data/Struct/definition.mjs +2 -3
- package/_mjs/data/Struct/definition.mjs.map +1 -1
- package/_mjs/data/Zipped.mjs +37 -0
- package/_mjs/data/Zipped.mjs.map +1 -0
- package/_mjs/data/function/api.mjs +8 -0
- package/_mjs/data/function/api.mjs.map +1 -1
- package/_mjs/data/object/instances.mjs +7 -1
- package/_mjs/data/object/instances.mjs.map +1 -1
- package/_mjs/optics/Optional/definition.mjs +4 -5
- package/_mjs/optics/Optional/definition.mjs.map +1 -1
- package/_mjs/optics/Traversal/api/compose.mjs +1 -1
- package/_mjs/optics/Traversal/api/compose.mjs.map +1 -1
- package/_mjs/optics/Traversal/api/fromTraversable.mjs +1 -1
- package/_mjs/optics/Traversal/api/fromTraversable.mjs.map +1 -1
- package/_mjs/optics/Traversal/definition.mjs +3 -3
- package/_mjs/optics/Traversal/definition.mjs.map +1 -1
- package/_mjs/typeclass/Alt.mjs +0 -5
- package/_mjs/typeclass/Alt.mjs.map +1 -1
- package/_mjs/typeclass/ApplicativeExcept.mjs +7 -32
- package/_mjs/typeclass/ApplicativeExcept.mjs.map +1 -1
- package/_mjs/typeclass/Apply.mjs +35 -65
- package/_mjs/typeclass/Apply.mjs.map +1 -1
- package/_mjs/typeclass/Chain.mjs +4 -25
- package/_mjs/typeclass/Chain.mjs.map +1 -1
- package/_mjs/typeclass/Fail.mjs +1 -8
- package/_mjs/typeclass/Fail.mjs.map +1 -1
- package/_mjs/typeclass/Filterable.mjs +0 -28
- package/_mjs/typeclass/Filterable.mjs.map +1 -1
- package/_mjs/typeclass/Foldable.mjs +3 -30
- package/_mjs/typeclass/Foldable.mjs.map +1 -1
- package/_mjs/typeclass/FoldableWithIndex.mjs +3 -30
- package/_mjs/typeclass/FoldableWithIndex.mjs.map +1 -1
- package/_mjs/typeclass/Functor.mjs +3 -16
- package/_mjs/typeclass/Functor.mjs.map +1 -1
- package/_mjs/typeclass/Guard/definition.mjs +0 -2
- package/_mjs/typeclass/Guard/definition.mjs.map +1 -1
- package/_mjs/typeclass/MonadExcept.mjs +2 -9
- package/_mjs/typeclass/MonadExcept.mjs.map +1 -1
- package/_mjs/typeclass/Nil.mjs +1 -8
- package/_mjs/typeclass/Nil.mjs.map +1 -1
- package/_mjs/typeclass/Pointed.mjs +0 -9
- package/_mjs/typeclass/Pointed.mjs.map +1 -1
- package/_mjs/typeclass/Semialign.mjs +17 -45
- package/_mjs/typeclass/Semialign.mjs.map +1 -1
- package/_mjs/typeclass/Semimonoidal.mjs +0 -9
- package/_mjs/typeclass/Semimonoidal.mjs.map +1 -1
- package/_mjs/typeclass/Showable/show.mjs +12 -12
- package/_mjs/typeclass/Showable/show.mjs.map +1 -1
- package/_mjs/typeclass/Traversable.mjs +6 -25
- package/_mjs/typeclass/Traversable.mjs.map +1 -1
- package/_mjs/typeclass/TraversableWithIndex.mjs +2 -6
- package/_mjs/typeclass/TraversableWithIndex.mjs.map +1 -1
- package/_mjs/typeclass/Witherable.mjs +3 -40
- package/_mjs/typeclass/Witherable.mjs.map +1 -1
- package/_mjs/typeclass/WitherableWithIndex.mjs +6 -41
- package/_mjs/typeclass/WitherableWithIndex.mjs.map +1 -1
- package/_src/collection/Iterable/api/traverseConc.ts +24 -21
- package/_src/collection/compat/Record/instances.ts +44 -0
- package/_src/collection/immutable/Conc/api.ts +9 -11
- package/_src/collection/immutable/Conc/definition.ts +9 -5
- package/_src/collection/immutable/Dictionary/definition.ts +1 -1
- package/_src/collection/immutable/HashMap/api.ts +20 -17
- package/_src/collection/immutable/HashMap/definition.ts +10 -6
- package/_src/collection/immutable/ImmutableArray/api.ts +56 -113
- package/_src/collection/immutable/ImmutableArray/definition.ts +8 -5
- package/_src/collection/immutable/ImmutableArray/instances.ts +42 -42
- package/_src/collection/immutable/ImmutableNonEmptyArray/api.ts +13 -11
- package/_src/collection/immutable/ImmutableNonEmptyArray/definition.ts +8 -3
- package/_src/collection/immutable/ImmutableNonEmptyArray/instances.ts +24 -25
- package/_src/collection/immutable/RoseTree/definition.ts +7 -4
- package/_src/collection/immutable/Vector/api.ts +12 -16
- package/_src/collection/immutable/Vector/definition.ts +9 -9
- package/_src/collection/weak/IterableWeakMap.ts +50 -5
- package/_src/collection/weak/IterableWeakSet.ts +57 -9
- package/_src/control/Eval/api.ts +5 -2
- package/_src/control/Eval/definition.ts +7 -4
- package/_src/control/Eval/instance.ts +7 -7
- package/_src/control/Z/api.ts +16 -25
- package/_src/control/Z/definition.ts +32 -31
- package/_src/control/Z/instances.ts +3 -3
- package/_src/control/Z/runtime.ts +7 -7
- package/_src/data/Const/definition.ts +9 -17
- package/_src/data/Const/instances.ts +5 -5
- package/_src/data/Datum/api.ts +376 -0
- package/_src/data/Datum/definition.ts +102 -0
- package/_src/data/Datum/instances.ts +34 -0
- package/_src/data/DatumEither/api.ts +348 -0
- package/_src/data/DatumEither/definition.ts +20 -0
- package/_src/data/DecodeError/definition.ts +3 -3
- package/_src/data/Decoder/definition.ts +7 -4
- package/_src/data/Either/api.ts +12 -2
- package/_src/data/Either/definition.ts +9 -14
- package/_src/data/Either/instances.ts +6 -6
- package/_src/data/EitherT/api.ts +239 -0
- package/_src/data/EitherT/definition.ts +23 -0
- package/_src/data/Environment/api.ts +8 -6
- package/_src/data/Environment/definition.ts +2 -2
- package/_src/data/Identity/api.ts +2 -2
- package/_src/data/Identity/definition.ts +2 -2
- package/_src/data/Identity/instances.ts +7 -7
- package/_src/data/Intervals.ts +126 -0
- package/_src/data/Maybe/api.ts +2 -2
- package/_src/data/Maybe/definition.ts +7 -4
- package/_src/data/Maybe/instances.ts +10 -10
- package/_src/data/Newtype.ts +32 -11
- package/_src/data/Struct/definition.ts +1 -1
- package/_src/data/Tag/definition.ts +2 -2
- package/_src/data/Zipped.ts +52 -0
- package/_src/data/function/api.ts +8 -0
- package/_src/data/object/instances.ts +11 -1
- package/_src/optics/Optional/definition.ts +2 -2
- package/_src/optics/Traversal/api/compose.ts +1 -1
- package/_src/optics/Traversal/api/fromTraversable.ts +11 -11
- package/_src/optics/Traversal/definition.ts +13 -12
- package/_src/typeclass/Align.ts +1 -1
- package/_src/typeclass/Alt.ts +24 -54
- package/_src/typeclass/Alternative.ts +1 -1
- package/_src/typeclass/Applicative.ts +6 -1
- package/_src/typeclass/ApplicativeExcept.ts +55 -81
- package/_src/typeclass/Apply.ts +224 -253
- package/_src/typeclass/Chain.ts +71 -98
- package/_src/typeclass/Fail.ts +10 -28
- package/_src/typeclass/Filterable.ts +13 -67
- package/_src/typeclass/FilterableWithIndex.ts +13 -13
- package/_src/typeclass/Foldable.ts +16 -35
- package/_src/typeclass/FoldableWithIndex.ts +14 -37
- package/_src/typeclass/Functor.ts +11 -21
- package/_src/typeclass/FunctorWithIndex.ts +4 -4
- package/_src/typeclass/Guard/definition.ts +1 -3
- package/_src/typeclass/Monad.ts +1 -1
- package/_src/typeclass/MonadExcept.ts +11 -7
- package/_src/typeclass/Nil.ts +10 -27
- package/_src/typeclass/Pointed.ts +11 -30
- package/_src/typeclass/Semialign.ts +285 -253
- package/_src/typeclass/Semimonoidal.ts +23 -54
- package/_src/typeclass/Showable/show.ts +8 -10
- package/_src/typeclass/Traversable.ts +45 -63
- package/_src/typeclass/TraversableWithIndex.ts +37 -34
- package/_src/typeclass/Witherable.ts +28 -115
- package/_src/typeclass/WitherableWithIndex.ts +82 -115
- package/_src/types/extractions.ts +1 -1
- package/collection/Iterable/api/traverseConc.d.ts +4 -6
- package/collection/compat/Record/instances.d.ts +12 -0
- package/collection/immutable/Conc/api.d.ts +4 -6
- package/collection/immutable/Conc/definition.d.ts +9 -6
- package/collection/immutable/Dictionary/definition.d.ts +1 -1
- package/collection/immutable/HashMap/api.d.ts +13 -13
- package/collection/immutable/HashMap/definition.d.ts +10 -7
- package/collection/immutable/ImmutableArray/api.d.ts +16 -18
- package/collection/immutable/ImmutableArray/definition.d.ts +8 -6
- package/collection/immutable/ImmutableArray/instances.d.ts +17 -17
- package/collection/immutable/ImmutableNonEmptyArray/api.d.ts +6 -5
- package/collection/immutable/ImmutableNonEmptyArray/definition.d.ts +7 -3
- package/collection/immutable/ImmutableNonEmptyArray/instances.d.ts +10 -10
- package/collection/immutable/RoseTree/definition.d.ts +7 -5
- package/collection/immutable/Vector/api.d.ts +4 -4
- package/collection/immutable/Vector/definition.d.ts +8 -9
- package/collection/weak/IterableWeakMap.d.ts +9 -3
- package/collection/weak/IterableWeakSet.d.ts +10 -4
- package/control/Eval/api.d.ts +6 -1
- package/control/Eval/definition.d.ts +6 -4
- package/control/Eval/instance.d.ts +3 -3
- package/control/Z/api.d.ts +8 -6
- package/control/Z/definition.d.ts +38 -32
- package/control/Z/instances.d.ts +2 -2
- package/control/Z/runtime.d.ts +5 -4
- package/data/Const/definition.d.ts +8 -16
- package/data/Const/instances.d.ts +4 -3
- package/data/Datum/api.d.ts +188 -0
- package/data/Datum/definition.d.ts +75 -0
- package/data/Datum/instances.d.ts +32 -0
- package/data/DatumEither/api.d.ts +169 -0
- package/data/DatumEither/definition.d.ts +21 -0
- package/data/Decoder/definition.d.ts +6 -4
- package/data/Either/api.d.ts +10 -0
- package/data/Either/definition.d.ts +8 -14
- package/data/Either/instances.d.ts +4 -3
- package/data/EitherT/api.d.ts +60 -0
- package/data/EitherT/definition.d.ts +12 -0
- package/data/Environment/api.d.ts +7 -5
- package/data/Environment/definition.d.ts +3 -3
- package/data/Identity/api.d.ts +2 -1
- package/data/Identity/definition.d.ts +2 -2
- package/data/Identity/instances.d.ts +3 -3
- package/data/Intervals.d.ts +53 -0
- package/data/Maybe/api.d.ts +2 -1
- package/data/Maybe/definition.d.ts +7 -4
- package/data/Maybe/instances.d.ts +6 -6
- package/data/Newtype.d.ts +9 -8
- package/data/Struct/definition.d.ts +1 -1
- package/data/Tag/definition.d.ts +2 -2
- package/data/Zipped.d.ts +24 -0
- package/data/function/api.d.ts +6 -0
- package/data/object/instances.d.ts +6 -1
- package/optics/Traversal/api/fromTraversable.d.ts +1 -1
- package/optics/Traversal/definition.d.ts +2 -4
- package/package.json +2 -2
- package/typeclass/Align.d.ts +1 -1
- package/typeclass/Alt.d.ts +2 -4
- package/typeclass/Alternative.d.ts +1 -1
- package/typeclass/Applicative.d.ts +2 -1
- package/typeclass/ApplicativeExcept.d.ts +5 -13
- package/typeclass/Apply.d.ts +20 -32
- package/typeclass/Chain.d.ts +5 -13
- package/typeclass/Fail.d.ts +2 -7
- package/typeclass/Filterable.d.ts +7 -31
- package/typeclass/FilterableWithIndex.d.ts +7 -7
- package/typeclass/Foldable.d.ts +6 -19
- package/typeclass/FoldableWithIndex.d.ts +6 -19
- package/typeclass/Functor.d.ts +4 -11
- package/typeclass/FunctorWithIndex.d.ts +2 -2
- package/typeclass/Guard/definition.d.ts +1 -4
- package/typeclass/Monad.d.ts +1 -1
- package/typeclass/MonadExcept.d.ts +3 -4
- package/typeclass/Nil.d.ts +2 -7
- package/typeclass/Pointed.d.ts +2 -7
- package/typeclass/Semialign.d.ts +26 -32
- package/typeclass/Semimonoidal.d.ts +3 -8
- package/typeclass/Traversable.d.ts +21 -12
- package/typeclass/TraversableWithIndex.d.ts +19 -6
- package/typeclass/Witherable.d.ts +5 -19
- package/typeclass/WitherableWithIndex.d.ts +33 -19
- package/types/extractions.d.ts +1 -1
package/_mjs/control/Z/api.mjs
CHANGED
|
@@ -6,6 +6,7 @@ import * as tsplus_module_4 from "@fncts/base/collection/immutable/Conc/api/empt
|
|
|
6
6
|
import * as tsplus_module_5 from "@fncts/base/data/Cause/api";
|
|
7
7
|
import * as tsplus_module_6 from "@fncts/base/collection/immutable/Conc/api";
|
|
8
8
|
import * as tsplus_module_7 from "@fncts/base/collection/immutable/Conc/constructors";
|
|
9
|
+
import * as tsplus_module_8 from "@fncts/base/data/Zipped";
|
|
9
10
|
export const catchAll_ = catchAll_1;
|
|
10
11
|
export const flatMap_ = flatMap_1;
|
|
11
12
|
export const crossWith_ = crossWith_1;
|
|
@@ -35,7 +36,7 @@ export const update = update_1;
|
|
|
35
36
|
export const writeAll_ = writeAll_1;
|
|
36
37
|
export const zipWith_ = zipWith_1;
|
|
37
38
|
import { identity, tuple } from "../../data/function.mjs";
|
|
38
|
-
import { Chain, Defer,
|
|
39
|
+
import { Access, Chain, Defer, Fail, MapLog, Match, Modify, Provide, Succeed, SucceedNow, Tell } from "./definition.mjs";
|
|
39
40
|
/**
|
|
40
41
|
* @tsplus getter fncts.control.Z absolve
|
|
41
42
|
*/
|
|
@@ -69,7 +70,7 @@ export function apSecond_(fa, fb) {
|
|
|
69
70
|
*/
|
|
70
71
|
|
|
71
72
|
export function bimap_(pab, f, g) {
|
|
72
|
-
return matchZ_1(pab, e => failNow_1(f(e), fileName_1 + ":
|
|
73
|
+
return matchZ_1(pab, e => failNow_1(f(e), fileName_1 + ":50:21"), a => succeedNow_1(g(a), fileName_1 + ":51:24"));
|
|
73
74
|
}
|
|
74
75
|
/**
|
|
75
76
|
* Recovers from all errors.
|
|
@@ -152,21 +153,21 @@ export function either(fa) {
|
|
|
152
153
|
*/
|
|
153
154
|
|
|
154
155
|
export function environment() {
|
|
155
|
-
return new
|
|
156
|
+
return new Access(r => succeedNow_1(r, fileName_1 + ":156:40"));
|
|
156
157
|
}
|
|
157
158
|
/**
|
|
158
159
|
* @tsplus static fncts.control.ZOps environmentWith
|
|
159
160
|
*/
|
|
160
161
|
|
|
161
162
|
export function environmentWith(f) {
|
|
162
|
-
return new
|
|
163
|
+
return new Access(r => succeed_1(() => f(r), fileName_1 + ":163:35"));
|
|
163
164
|
}
|
|
164
165
|
/**
|
|
165
166
|
* @tsplus static fncts.control.ZOps environmentWithZ
|
|
166
167
|
*/
|
|
167
168
|
|
|
168
169
|
function environmentWithZ_1(f) {
|
|
169
|
-
return new
|
|
170
|
+
return new Access(f);
|
|
170
171
|
}
|
|
171
172
|
/**
|
|
172
173
|
* Erases the current log
|
|
@@ -259,7 +260,7 @@ export function haltNow(defect, __tsplusTrace) {
|
|
|
259
260
|
*/
|
|
260
261
|
|
|
261
262
|
function listen_1(wa) {
|
|
262
|
-
return matchLogCauseZ_1(wa, (_, e) => failCauseNow_1(e, fileName_1 + ":
|
|
263
|
+
return matchLogCauseZ_1(wa, (_, e) => failCauseNow_1(e, fileName_1 + ":266:29"), (ws, a) => succeedNow_1([a, ws], fileName_1 + ":267:28"));
|
|
263
264
|
}
|
|
264
265
|
/**
|
|
265
266
|
* @tsplus fluent fncts.control.Z listens
|
|
@@ -274,7 +275,7 @@ export function listens_(wa, f) {
|
|
|
274
275
|
*/
|
|
275
276
|
|
|
276
277
|
function map_1(fa, f) {
|
|
277
|
-
return flatMap_1(fa, a => succeedNow_1(f(a), fileName_1 + ":
|
|
278
|
+
return flatMap_1(fa, a => succeedNow_1(f(a), fileName_1 + ":285:40"));
|
|
278
279
|
}
|
|
279
280
|
/**
|
|
280
281
|
* @tsplus fluent fncts.control.Z mapError
|
|
@@ -282,7 +283,7 @@ function map_1(fa, f) {
|
|
|
282
283
|
|
|
283
284
|
|
|
284
285
|
export function mapError_(pab, f) {
|
|
285
|
-
return matchZ_1(pab, e => failNow_1(f(e), fileName_1 + ":
|
|
286
|
+
return matchZ_1(pab, e => failNow_1(f(e), fileName_1 + ":292:37"), succeedNow_1);
|
|
286
287
|
}
|
|
287
288
|
/**
|
|
288
289
|
* Modifies the current log with the specified function
|
|
@@ -313,7 +314,7 @@ function mapState_1(ma, f) {
|
|
|
313
314
|
|
|
314
315
|
|
|
315
316
|
function match_1(fa, onFailure, onSuccess) {
|
|
316
|
-
return matchZ_1(fa, e => succeedNow_1(onFailure(e), fileName_1 + ":
|
|
317
|
+
return matchZ_1(fa, e => succeedNow_1(onFailure(e), fileName_1 + ":329:24"), a => succeedNow_1(onSuccess(a), fileName_1 + ":330:24"));
|
|
317
318
|
}
|
|
318
319
|
/**
|
|
319
320
|
* Recovers from errors by accepting one computation to execute for the case
|
|
@@ -374,7 +375,7 @@ function modify_1(f) {
|
|
|
374
375
|
|
|
375
376
|
|
|
376
377
|
export function modifyEither(f) {
|
|
377
|
-
return flatMap_1(map_1(get_1(), f), r => tsplus_module_1.match_(r, failNow_1, ([a, s2]) => mapState_1(succeedNow_1(a, fileName_1 + ":
|
|
378
|
+
return flatMap_1(map_1(get_1(), f), r => tsplus_module_1.match_(r, failNow_1, ([a, s2]) => mapState_1(succeedNow_1(a, fileName_1 + ":413:65"), () => s2)));
|
|
378
379
|
}
|
|
379
380
|
/**
|
|
380
381
|
* @tsplus fluent fncts.control.Z orElse
|
|
@@ -391,7 +392,7 @@ export function orElse_(fa, fb) {
|
|
|
391
392
|
*/
|
|
392
393
|
|
|
393
394
|
export function orElseEither_(fa, that) {
|
|
394
|
-
return matchZ_1(fa, () => map_1(that(), tsplus_module_3.right), a => succeedNow_1(tsplus_module_3.left(a), fileName_1 + ":
|
|
395
|
+
return matchZ_1(fa, () => map_1(that(), tsplus_module_3.right), a => succeedNow_1(tsplus_module_3.left(a), fileName_1 + ":438:24"));
|
|
395
396
|
}
|
|
396
397
|
/**
|
|
397
398
|
* @tsplus fluent fncts.control.Z provideEnvironment
|
|
@@ -418,7 +419,7 @@ export function put(s) {
|
|
|
418
419
|
*/
|
|
419
420
|
|
|
420
421
|
function repeatN_1(ma, n) {
|
|
421
|
-
return flatMap_1(ma, a => n <= 0 ? succeedNow_1(a, fileName_1 + ":
|
|
422
|
+
return flatMap_1(ma, a => n <= 0 ? succeedNow_1(a, fileName_1 + ":468:50") : repeatN_1(ma, n - 1));
|
|
422
423
|
}
|
|
423
424
|
/**
|
|
424
425
|
* Repeats this computation until its value satisfies the specified predicate
|
|
@@ -429,7 +430,7 @@ function repeatN_1(ma, n) {
|
|
|
429
430
|
|
|
430
431
|
|
|
431
432
|
function repeatUntil_1(ma, p) {
|
|
432
|
-
return flatMap_1(ma, a => p(a) ? succeedNow_1(a, fileName_1 + ":
|
|
433
|
+
return flatMap_1(ma, a => p(a) ? succeedNow_1(a, fileName_1 + ":481:48") : repeatUntil_1(ma, p));
|
|
433
434
|
}
|
|
434
435
|
/**
|
|
435
436
|
* @tsplus static fncts.control.ZOps succeed
|
|
@@ -484,7 +485,7 @@ function transform_1(ma, f) {
|
|
|
484
485
|
*/
|
|
485
486
|
|
|
486
487
|
|
|
487
|
-
export const unit = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":
|
|
488
|
+
export const unit = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":543:81");
|
|
488
489
|
/**
|
|
489
490
|
* Constructs a computation from the specified update function.
|
|
490
491
|
*
|
|
@@ -515,7 +516,7 @@ function writeAll_1(ma, log) {
|
|
|
515
516
|
|
|
516
517
|
|
|
517
518
|
export function zip_(fa, fb) {
|
|
518
|
-
return zipWith_1(fa, fb,
|
|
519
|
+
return zipWith_1(fa, fb, (a, b) => tsplus_module_8.make(a, b));
|
|
519
520
|
}
|
|
520
521
|
/**
|
|
521
522
|
* @tsplus fluent fncts.control.Z zipFirst
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"api.mjs","mappings":";;;;;;;;aAuEgBA,SAAS;aAoBTC,QAAQ;aA2CRC,UAAU;aAWVC,KAAK;aAmCLC,gBAAgB;aAyBhBC,OAAO;aAOPC,SAAS;aAUTC,YAAY;aAkBZC,GAAG;aAmCHC,MAAM;aAoBNC,IAAI;aAgBJC,OAAO;aAYPC,SAAS;aAWTC,MAAM;aAiBNC,OAAO;aAWPC,YAAY;aAqCZC,eAAe;aAafC,MAAM;aA4CNC,mBAAmB;aAmBnBC,QAAQ;aAURC,YAAY;aAUZC,OAAO;aAUPC,UAAU;aA2BVC,OAAO;aASPC,UAAU;aAiBVC,MAAM;aAcNC,SAAS;aAwCTC,QAAQ;AApmBxB,SAASC,QAAT,EAAmBC,KAAnB,QAAgC,yBAAhC;AACA,SACEC,KADF,EAEEC,KAFF,EAGEC,WAHF,EAIEC,IAJF,EAKEC,MALF,EAMEC,KANF,EAOEC,MAPF,EAQEC,OARF,EASEC,OATF,EAUEC,UAVF,EAWEC,IAXF,QAYO,kBAZP;AAcA;;;;AAGA,OAAM,SAAUC,OAAV,CAA0CC,EAA1C,EAA+E;EACnF,OAAOC,cAAYC,EAAD,IAAQC,2BAAEC,SAAF,EAAEC,YAAF,CAAnB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,GAAV,CACJC,IADI,EAEJC,EAFI,EAEqB;EAEzB,OAAOC,kBAAeD,EAAf,EAAmB,CAACE,CAAD,EAAIC,CAAJ,KAAUD,CAAC,CAACC,CAAD,CAA9B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,QAAV,CACJZ,EADI,EAEJQ,EAFI,EAEqB;EAEzB,OAAOC,gBAAaD,EAAb,EAAiB,CAACG,CAAD,EAAIE,CAAJ,KAAUF,CAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUG,SAAV,CACJd,EADI,EAEJQ,EAFI,EAEqB;EAEzB,OAAOC,gBAAaD,EAAb,EAAiB,CAACK,CAAD,EAAIE,CAAJ,KAAUA,CAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,MAAV,CACJC,GADI,EAEJP,CAFI,EAGJQ,CAHI,EAGU;EAEd,OAAOC,cACJC,CAAD,IAAOhB,UAAUM,CAAC,CAACU,CAAD,CAAX,EAAcC,qBAAd,CADF,EAEJV,CAAD,IAAON,aAAaa,CAAC,CAACP,CAAD,CAAd,EAAiBU,qBAAjB,CAFF,CAAP;AAID;AAED;;;;;;AAKA,oBACErB,EADF,EAEEsB,SAFF,EAE8C;EAE5C,OAAOH,aAAUG,SAAV,EAAmBjB,YAAnB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUkB,UAAV,CACJvB,EADI,EAEJU,CAFI,EAEuC;EAE3C,OAAOc,eAAaJ,CAAD,IAAOK,4BAAC,CAACL,CAAD,CAAD,EAAI,MAAWpB,EAAf,CAAnB,CAAP;AACD;AAED;;;;AAGA,mBACE0B,EADF,EAEEhB,CAFF,EAEuC;EAErC,OAAO,IAAItB,KAAJ,CAAUsC,EAAV,EAAchB,CAAd,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUiB,qBAAV,CACJD,EADI,EAEJhB,CAFI,EAEY;EAEhB,OAAOkB,mBAAoBC,CAAD,IAAWC,yBAAsBpB,CAAC,CAACmB,CAAD,CAAvB,CAA9B,CAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUE,eAAV,CACJ/B,EADI,EAEJU,CAFI,EAEY;EAEhB,OAAOT,mBAASS,CAAT,GAAoB,MAAMV,EAA1B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUgC,MAAV,CACJhC,EADI,EAEJQ,EAFI,EAEqB;EAEzB,OAAOC,gBAAaD,EAAb,EAAiBrB,KAAjB,CAAP;AACD;AAED;;;;AAGA,qBACEa,EADF,EAEEQ,EAFF,EAGEE,CAHF,EAGsB;EAEpB,OAAOT,cAAYU,CAAD,IAAOsB,UAAQlB,CAAD,IAAOL,CAAC,CAACC,CAAD,EAAII,CAAJ,CAAf,CAAlB,CAAP;AACD;AAED;;;;;AAGA,iBACEW,EADF,EAEEQ,aAFF,EAEwB;EAEtB,OAAO,IAAI7C,KAAJ,CAAUqC,EAAV,CAAP;AACD;AAED;;;;;;;;;AAOA,OAAM,SAAUS,MAAV,CAAqCnC,EAArC,EAA8D;EAClE,OAAOoC,YAAEC,oBAAF,EAAEA,qBAAF,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,WAAV,GAAqB;EACzB,OAAO,IAAIhD,WAAJ,CAAiBuC,CAAD,IAAUxB,aAAawB,CAAb,EAAcR,sBAAd,CAA1B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUkB,eAAV,CAAiC7B,CAAjC,EAAgD;EACpD,OAAO,IAAIpB,WAAJ,CAAiBuC,CAAD,IAAWW,gBAAQ9B,CAAC,CAACmB,CAAD,CAAT,EAAYR,sBAAZ,CAA3B,CAAP;AACD;AAED;;;;AAGA,4BACEX,CADF,EACqC;EAEnC,OAAO,IAAIpB,WAAJ,CAAgBoB,CAAhB,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAU+B,KAAV,CAAoCC,EAApC,EAA6D;EACjE,OAAOC,aAAU,MAAMC,uBAAhB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,IAAV,CAAkBzB,CAAlB,EAA8Bc,aAA9B,EAAoD;EACxD,OAAOY,kBAAYC,qBAAW3B,CAAC,EAAZ,CAAZ,EAD2Bc,aAC3B,CAAP;AACD;AAED;;;;AAGA,mBAA2Bd,CAA3B,EAAiCc,aAAjC,EAAuD;EACrD,OAAOc,eAAeD,qBAAW3B,CAAX,CAAf,EADwBc,aACxB,CAAP;AACD;AAED;;;;;AAGA,qBACEe,KADF,EAEEf,aAFF,EAEwB;EAEtB,OAAOgB,cAAQF,eAAeC,KAAK,EAApB,EAFff,aAEe,CAAR,EAFPA,aAEO,CAAP;AACD;AAED;;;;;AAGA,wBAAgCe,KAAhC,EAAiDf,aAAjD,EAAuE;EACrE,OAAO,IAAI3C,IAAJ,CAAS0D,KAAT,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUE,OAAV,CACJC,GADI,EAC6C;EAEjD,OAAOnD,eAAYf,QAAZ,CAAP;AACD;AAED;;;;;;AAKA;EACE,OAAOmE,SAAUC,CAAD,IAAO,CAACA,CAAD,EAAIA,CAAJ,CAAhB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUC,IAAV,CAAqB7C,CAArB,EAAmC;EACvC,OAAO2C,SAAUC,CAAD,IAAO,CAAC5C,CAAC,CAAC4C,CAAD,CAAF,EAAOA,CAAP,CAAhB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,KAAV,CAA+B9C,CAA/B,EAA+D;EACnE,OAAOT,mBAAmBS,CAAnB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAU+C,IAAV,CAAeC,MAAf,EAAsCxB,aAAtC,EAA4D;EAChE,OAAOY,kBAAYC,qBAAWW,MAAM,EAAjB,CAAZ,EADmCxB,aACnC,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUyB,OAAV,CAAkBD,MAAlB,EAAmCxB,aAAnC,EAAyD;EAC7D,OAAOc,eAAeD,qBAAWW,MAAX,CAAf,EADgCxB,aAChC,CAAP;AACD;AAED;;;;AAGA,kBAA2CQ,EAA3C,EAAoE;EAClE,OAAOkB,qBACL,CAAC/C,CAAD,EAAIO,CAAJ,KAAU4B,eAAe5B,CAAf,EAAgBC,sBAAhB,CADL,EAEL,CAACwC,EAAD,EAAKlD,CAAL,KAAWN,aAAa,CAACM,CAAD,EAAIkD,EAAJ,CAAb,EAAoBxC,sBAApB,CAFN,CAAP;AAID;AAED;;;;;AAGA,OAAM,SAAUyC,QAAV,CACJpB,EADI,EAEJhC,CAFI,EAEkB;EAEtB,OAAOuB,oBAAc,CAAC,CAACtB,CAAD,EAAIkD,EAAJ,CAAD,KAAa,CAAClD,CAAD,EAAID,CAAC,CAACmD,EAAD,CAAL,CAA3B,CAAP;AACD;AAED;;;;AAGA,eAA4C7D,EAA5C,EAAuEU,CAAvE,EAAqF;EACnF,OAAOT,cAAYU,CAAD,IAAON,aAAaK,CAAC,CAACC,CAAD,CAAd,EAAiBU,sBAAjB,CAAlB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAU0C,SAAV,CAA2C9C,GAA3C,EAAuEP,CAAvE,EAAqF;EACzF,OAAOS,cAAYC,CAAD,IAAOhB,UAAUM,CAAC,CAACU,CAAD,CAAX,EAAcC,sBAAd,CAAlB,EAAiChB,YAAjC,CAAP;AACD;AAED;;;;;;AAKA,kBACEqC,EADF,EAEEhC,CAFF,EAE8B;EAE5B,OAAO,IAAIlB,MAAJ,CAAWkD,EAAX,EAAehC,CAAf,CAAP;AACD;AAED;;;;;;;AAKA,oBAAkDgB,EAAlD,EAA6EhB,CAA7E,EAA6F;EAC3F,OAAOsD,gBAAa,CAACV,CAAD,EAAI3C,CAAJ,KAAU,CAACA,CAAD,EAAID,CAAC,CAAC4C,CAAD,CAAL,CAAvB,CAAP;AACD;AAED;;;;;;;;;AAOA,iBACEtD,EADF,EAEEsB,SAFF,EAGE2C,SAHF,EAGwB;EAEtB,OAAO9C,aACJC,CAAD,IAAOf,aAAaiB,SAAS,CAACF,CAAD,CAAtB,EAAyBC,sBAAzB,CADF,EAEJV,CAAD,IAAON,aAAa4D,SAAS,CAACtD,CAAD,CAAtB,EAAyBU,sBAAzB,CAFF,CAAP;AAID;AAED;;;;;;;;AAMA,kBACErB,EADF,EAEEsB,SAFF,EAGE2C,SAHF,EAG+C;EAE7C,OAAOC,kBAAgBjB,KAAD,IAAW9C,8DAA2BmB,SAA3B,EAAoC0B,cAApC,CAA1B,EAAiFiB,SAAjF,CAAP;AACD;AAED;;;;;AAGA,uBACEjE,EADF,EAEEsB,SAFF,EAGE2C,SAHF,EAG+C;EAE7C,OAAOL,iBACL5D,EADK,EAEL,CAAC6D,EAAD,EAAKzC,CAAL,KAAWuB,kBAAS,CAACvB,CAAD,CAAT,EAAqB+C,GAAD,IAASC,4BAAUD,GAAV,CAA7B,CAFN,EAGL,CAACN,EAAD,EAAKlD,CAAL,KAAWgC,kBAAS,CAAChC,CAAD,CAAT,EAAqB0D,GAAD,IAASD,4BAAUC,GAAV,CAA7B,CAHN,CAAP;AAKD;AAED;;;;;AAGA,OAAM,SAAUC,UAAV,CACJtE,EADI,EAEJsB,SAFI,EAGJ2C,SAHI,EAGsD;EAE1D,OAAOL,iBACL5D,EADK,EAEL,CAAC6D,EAAD,EAAKZ,KAAL,KAAe9C,8DAA4BiB,CAAD,IAAOE,SAAS,CAACuC,EAAD,EAAKzC,CAAL,CAA3C,EAAkD4B,cAAlD,CAFV,EAGLiB,SAHK,CAAP;AAKD;AAED;;;;;;;;;;;AAUA,0BACEjE,EADF,EAEEsB,SAFF,EAGE2C,SAHF,EAG4D;EAE1D,OAAO,IAAIxE,KAAJ,CAAUO,EAAV,EAAcsB,SAAd,EAAyB2C,SAAzB,CAAP;AACD;AAED;;;;;;;AAKA,kBAAkCvD,CAAlC,EAAgE;EAC9D,OAAO,IAAIhB,MAAJ,CAAWgB,CAAX,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAU6D,YAAV,CAAqC7D,CAArC,EAA8E;EAClF,OAAOT,yBACAS,CADA,GAEKmB,CAAD,IAAO1B,0BAACC,SAAD,EAAmB,CAAC,CAACO,CAAD,EAAI6D,EAAJ,CAAD,KAAaC,wBAAa9D,CAAb,EAAcU,sBAAd,GAAyB,MAAMmD,EAA/B,CAAhC,CAFX,CAAP;AAGD;AAED;;;;AAGA,OAAM,SAAUE,OAAV,CACJ1E,EADI,EAEJQ,EAFI,EAE+B;EAEnC,OAAOW,aAAU,MAAMX,EAAE,EAAlB,EAAoBH,YAApB,CAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUsE,aAAV,CACJ3E,EADI,EAEJ4E,IAFI,EAEgC;EAEpC,OAAOzD,aACL,MAAMc,UAAI,EAAJ,EAAMI,qBAAN,CADD,EAEJ1B,CAAD,IAAON,aAAagC,qBAAY1B,CAAZ,CAAb,EAA2BU,sBAA3B,CAFF,CAAP;AAID;AAED;;;;AAGA,8BAAwDrB,EAAxD,EAAmF6B,CAAnF,EAAuF;EACrF,OAAO,IAAIlC,OAAJ,CAAYK,EAAZ,EAAgB6B,CAAhB,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAUgD,GAAV,CAAiBvB,CAAjB,EAAqB;EACzB,OAAOD,SAAS,MAAM,CAACyB,SAAD,EAAYxB,CAAZ,CAAf,CAAP;AACD;AAED;;;;;;;AAMA,mBAAwD5B,EAAxD,EAAmFqD,CAAnF,EAA4F;EAC1F,OAAO9E,cAAYU,CAAD,IAAQoE,CAAC,IAAI,CAAL,GAAS1E,aAAaM,CAAb,EAAcU,sBAAd,CAAT,GAA2B2D,cAAWD,CAAC,GAAG,CAAf,CAA9C,CAAP;AACD;AAED;;;;;;;;AAMA,uBACErD,EADF,EAEEuD,CAFF,EAEiB;EAEf,OAAOhF,cAAYU,CAAD,IAAQsE,CAAC,CAACtE,CAAD,CAAD,GAAON,aAAaM,CAAb,EAAcU,sBAAd,CAAP,GAAyB6D,kBAAeD,CAAf,CAA5C,CAAP;AACD;AAED;;;;;AAGA,mBACEE,MADF,EAEEjD,aAFF,EAEwB;EAEtB,OAAO,IAAItC,OAAJ,CAAYuF,MAAZ,CAAP;AACD;AAED;;;;;AAGA,sBACExE,CADF,EAEEuB,aAFF,EAEwB;EAEtB,OAAO,IAAIrC,UAAJ,CAAec,CAAf,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUyE,IAAV,CACJ1D,EADI,EAEJhB,CAFI,EAEiC;EAErC,OAAOT,cAAYU,CAAD,IAAOsB,OAAC,CAACtB,CAAD,CAAD,EAAS,MAAMA,CAAf,CAAlB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAU0E,IAAV,CAAkBC,CAAlB,EAAsB;EAC1B,OAAOC,UAAUC,uBAAYF,CAAZ,CAAV,CAAP;AACD;AAED;;;;AAGA,mBAA2BzB,EAA3B,EAAsC;EACpC,OAAO,IAAI/D,IAAJ,CAAS+D,EAAT,CAAP;AACD;AAED;;;;;;;AAKA,qBACEnC,EADF,EAEEhB,CAFF,EAEsC;EAEpC,OAAOT,cAAYU,CAAD,IAAO0C,SAAUC,CAAD,IAAO5C,CAAC,CAAC4C,CAAD,EAAI3C,CAAJ,CAAjB,CAAlB,CAAP;AACD;AAED;;;;;AAGA,OAAO,MAAM8E,IAAI,gBAAmDpF,aAAayE,SAAb,EAAsBzD,sBAAtB,CAA7D;AAEP;;;;;;AAKA,kBAA+BX,CAA/B,EAA+C;EAC7C,OAAO2C,SAAUC,CAAD,IAAO,CAACwB,SAAD,EAAYpE,CAAC,CAAC4C,CAAD,CAAb,CAAhB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUoC,MAAV,CAAyChE,EAAzC,EAAoE4D,CAApE,EAAyE;EAC7E,OAAOK,eAAYH,uBAAYF,CAAZ,CAAZ,CAAP;AACD;AAED;;;;AAGA,oBACE5D,EADF,EAEEkE,GAFF,EAEe;EAEb,OAAOjD,aAAWkB,EAAD,IAAQO,4BAAUwB,GAAV,CAAlB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUC,IAAV,CACJ7F,EADI,EAEJQ,EAFI,EAEsB;EAE1B,OAAOsF,cAAWtF,EAAX,EAAerB,KAAf,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAU4G,SAAV,CACJ/F,EADI,EAEJQ,EAFI,EAEsB;EAE1B,OAAOsF,cAAWtF,EAAX,EAAe,CAACG,CAAD,EAAIE,CAAJ,KAAUF,CAAzB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUqF,UAAV,CACJhG,EADI,EAEJQ,EAFI,EAEsB;EAE1B,OAAOsF,cAAWtF,EAAX,EAAe,CAACK,CAAD,EAAIE,CAAJ,KAAUA,CAAzB,CAAP;AACD;AAED;;;;AAGA,mBACEf,EADF,EAEEQ,EAFF,EAGEE,CAHF,EAGsB;EAEpB,OAAOT,cAAYU,CAAD,IAAOsB,UAAQlB,CAAD,IAAOL,CAAC,CAACC,CAAD,EAAII,CAAJ,CAAf,CAAlB,CAAP;AACD","names":["catchAll_","flatMap_","crossWith_","defer","environmentWithZ","failNow","failCause","failCauseNow","get","listen","map_","mapLog_","mapState_","match_","matchZ_","matchCauseZ_","matchLogCauseZ_","modify","provideEnvironment_","repeatN_","repeatUntil_","succeed","succeedNow","tellAll","transform_","update","writeAll_","zipWith_","identity","tuple","Chain","Defer","Environment","Fail","MapLog","Match","Modify","Provide","Succeed","SucceedNow","Tell","absolve","fa","flatMap_1","ea","tsplus_module_1","failNow_1","succeedNow_1","ap_","self","fb","crossWith_1","f","a","apFirst_","_","apSecond_","b","bimap_","pab","g","matchZ_1","e","fileName_1","onFailure","catchJust_","catchAll_1","tsplus_module_2","ma","contramapEnvironment_","environmentWithZ_1","r","provideEnvironment_1","contramapState_","cross_","map_1","__tsplusTrace","either","match_1","tsplus_module_3","environment","environmentWith","succeed_1","erase","wa","mapLog_1","tsplus_module_4","fail","failCause_1","tsplus_module_5","failCauseNow_1","cause","defer_1","flatten","mma","modify_1","s","gets","getsZ","halt","defect","haltNow","matchLogCauseZ_1","ws","listens_","mapError_","transform_1","onSuccess","matchCauseZ_1","w1s","tsplus_module_6","w2s","matchLogZ_","modifyEither","s2","mapState_1","orElse_","orElseEither_","that","put","undefined","n","repeatN_1","p","repeatUntil_1","effect","tap_","tell","w","tellAll_1","tsplus_module_7","unit","write_","writeAll_1","log","zip_","zipWith_1","zipFirst_","zipSecond_"],"sourceRoot":"","sources":["../../../_src/control/Z/api.ts"],"sourcesContent":[null]}
|
|
1
|
+
{"version":3,"file":"api.mjs","mappings":";;;;;;;;;aA2DgBA,SAAS;aAoBTC,QAAQ;aA2CRC,UAAU;aAWVC,KAAK;aAmCLC,gBAAgB;aAyBhBC,OAAO;aAOPC,SAAS;aAUTC,YAAY;aAkBZC,GAAG;aAmCHC,MAAM;aAoBNC,IAAI;aAgBJC,OAAO;aAYPC,SAAS;aAWTC,MAAM;aAiBNC,OAAO;aAWPC,YAAY;aAqCZC,eAAe;aAafC,MAAM;aA4CNC,mBAAmB;aAsBnBC,QAAQ;aAURC,YAAY;aAUZC,OAAO;aAUPC,UAAU;aA2BVC,OAAO;aASPC,UAAU;aAiBVC,MAAM;aAcNC,SAAS;aAwCTC,QAAQ;AA3lBxB,SAASC,QAAT,EAAmBC,KAAnB,QAAgC,yBAAhC;AACA,SAASC,MAAT,EAAiBC,KAAjB,EAAwBC,KAAxB,EAA+BC,IAA/B,EAAqCC,MAArC,EAA6CC,KAA7C,EAAoDC,MAApD,EAA4DC,OAA5D,EAAqEC,OAArE,EAA8EC,UAA9E,EAA0FC,IAA1F,QAAsG,kBAAtG;AAEA;;;;AAGA,OAAM,SAAUC,OAAV,CAA0CC,EAA1C,EAA+E;EACnF,OAAOC,cAAYC,EAAD,IAAQC,2BAAEC,SAAF,EAAEC,YAAF,CAAnB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,GAAV,CACJC,IADI,EAEJC,EAFI,EAEqB;EAEzB,OAAOC,kBAAeD,EAAf,EAAmB,CAACE,CAAD,EAAIC,CAAJ,KAAUD,CAAC,CAACC,CAAD,CAA9B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,QAAV,CACJZ,EADI,EAEJQ,EAFI,EAEqB;EAEzB,OAAOC,gBAAaD,EAAb,EAAiB,CAACG,CAAD,EAAIE,CAAJ,KAAUF,CAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUG,SAAV,CACJd,EADI,EAEJQ,EAFI,EAEqB;EAEzB,OAAOC,gBAAaD,EAAb,EAAiB,CAACK,CAAD,EAAIE,CAAJ,KAAUA,CAA3B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,MAAV,CACJC,GADI,EAEJP,CAFI,EAGJQ,CAHI,EAGU;EAEd,OAAOC,cACJC,CAAD,IAAOhB,UAAUM,CAAC,CAACU,CAAD,CAAX,EAAcC,qBAAd,CADF,EAEJV,CAAD,IAAON,aAAaa,CAAC,CAACP,CAAD,CAAd,EAAiBU,qBAAjB,CAFF,CAAP;AAID;AAED;;;;;;AAKA,oBACErB,EADF,EAEEsB,SAFF,EAE8C;EAE5C,OAAOH,aAAUG,SAAV,EAAmBjB,YAAnB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUkB,UAAV,CACJvB,EADI,EAEJU,CAFI,EAEuC;EAE3C,OAAOc,eAAaJ,CAAD,IAAOK,4BAAC,CAACL,CAAD,CAAD,EAAI,MAAWpB,EAAf,CAAnB,CAAP;AACD;AAED;;;;AAGA,mBACE0B,EADF,EAEEhB,CAFF,EAEuC;EAErC,OAAO,IAAIrB,KAAJ,CAAUqC,EAAV,EAAchB,CAAd,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUiB,qBAAV,CACJD,EADI,EAEJhB,CAFI,EAEsC;EAE1C,OAAOkB,mBAAoBC,CAAD,IAAOC,yBAAsBpB,CAAC,CAACmB,CAAD,CAAvB,CAA1B,CAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUE,eAAV,CACJ/B,EADI,EAEJU,CAFI,EAEY;EAEhB,OAAOT,mBAASS,CAAT,GAAoB,MAAMV,EAA1B,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUgC,MAAV,CACJhC,EADI,EAEJQ,EAFI,EAEqB;EAEzB,OAAOC,gBAAaD,EAAb,EAAiBrB,KAAjB,CAAP;AACD;AAED;;;;AAGA,qBACEa,EADF,EAEEQ,EAFF,EAGEE,CAHF,EAGsB;EAEpB,OAAOT,cAAYU,CAAD,IAAOsB,UAAQlB,CAAD,IAAOL,CAAC,CAACC,CAAD,EAAII,CAAJ,CAAf,CAAlB,CAAP;AACD;AAED;;;;;AAGA,iBACEW,EADF,EAEEQ,aAFF,EAEwB;EAEtB,OAAO,IAAI5C,KAAJ,CAAUoC,EAAV,CAAP;AACD;AAED;;;;;;;;;AAOA,OAAM,SAAUS,MAAV,CAAqCnC,EAArC,EAA8D;EAClE,OAAOoC,YAAEC,oBAAF,EAAEA,qBAAF,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,WAAV,GAAqB;EACzB,OAAO,IAAIlD,MAAJ,CAAYyC,CAAD,IAAOxB,aAAawB,CAAb,EAAcR,sBAAd,CAAlB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUkB,eAAV,CAAiC7B,CAAjC,EAA6D;EACjE,OAAO,IAAItB,MAAJ,CAAYyC,CAAD,IAAOW,gBAAQ9B,CAAC,CAACmB,CAAD,CAAT,EAAYR,sBAAZ,CAAlB,CAAP;AACD;AAED;;;;AAGA,4BACEX,CADF,EACkD;EAEhD,OAAO,IAAItB,MAAJ,CAAWsB,CAAX,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAU+B,KAAV,CAAoCC,EAApC,EAA6D;EACjE,OAAOC,aAAU,MAAMC,uBAAhB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,IAAV,CAAkBzB,CAAlB,EAA8Bc,aAA9B,EAAoD;EACxD,OAAOY,kBAAYC,qBAAW3B,CAAC,EAAZ,CAAZ,EAD2Bc,aAC3B,CAAP;AACD;AAED;;;;AAGA,mBAA2Bd,CAA3B,EAAiCc,aAAjC,EAAuD;EACrD,OAAOc,eAAeD,qBAAW3B,CAAX,CAAf,EADwBc,aACxB,CAAP;AACD;AAED;;;;;AAGA,qBACEe,KADF,EAEEf,aAFF,EAEwB;EAEtB,OAAOgB,cAAQF,eAAeC,KAAK,EAApB,EAFff,aAEe,CAAR,EAFPA,aAEO,CAAP;AACD;AAED;;;;;AAGA,wBAAgCe,KAAhC,EAAiDf,aAAjD,EAAuE;EACrE,OAAO,IAAI3C,IAAJ,CAAS0D,KAAT,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUE,OAAV,CACJC,GADI,EAC6C;EAEjD,OAAOnD,eAAYf,QAAZ,CAAP;AACD;AAED;;;;;;AAKA;EACE,OAAOmE,SAAUC,CAAD,IAAO,CAACA,CAAD,EAAIA,CAAJ,CAAhB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUC,IAAV,CAAqB7C,CAArB,EAAmC;EACvC,OAAO2C,SAAUC,CAAD,IAAO,CAAC5C,CAAC,CAAC4C,CAAD,CAAF,EAAOA,CAAP,CAAhB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUE,KAAV,CAA+B9C,CAA/B,EAA+D;EACnE,OAAOT,mBAAmBS,CAAnB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAU+C,IAAV,CAAeC,MAAf,EAAsCxB,aAAtC,EAA4D;EAChE,OAAOY,kBAAYC,qBAAWW,MAAM,EAAjB,CAAZ,EADmCxB,aACnC,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUyB,OAAV,CAAkBD,MAAlB,EAAmCxB,aAAnC,EAAyD;EAC7D,OAAOc,eAAeD,qBAAWW,MAAX,CAAf,EADgCxB,aAChC,CAAP;AACD;AAED;;;;AAGA,kBAA2CQ,EAA3C,EAAoE;EAClE,OAAOkB,qBACL,CAAC/C,CAAD,EAAIO,CAAJ,KAAU4B,eAAe5B,CAAf,EAAgBC,sBAAhB,CADL,EAEL,CAACwC,EAAD,EAAKlD,CAAL,KAAWN,aAAa,CAACM,CAAD,EAAIkD,EAAJ,CAAb,EAAoBxC,sBAApB,CAFN,CAAP;AAID;AAED;;;;;AAGA,OAAM,SAAUyC,QAAV,CACJpB,EADI,EAEJhC,CAFI,EAEkB;EAEtB,OAAOuB,oBAAc,CAAC,CAACtB,CAAD,EAAIkD,EAAJ,CAAD,KAAa,CAAClD,CAAD,EAAID,CAAC,CAACmD,EAAD,CAAL,CAA3B,CAAP;AACD;AAED;;;;AAGA,eAA4C7D,EAA5C,EAAuEU,CAAvE,EAAqF;EACnF,OAAOT,cAAYU,CAAD,IAAON,aAAaK,CAAC,CAACC,CAAD,CAAd,EAAiBU,sBAAjB,CAAlB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAU0C,SAAV,CAA2C9C,GAA3C,EAAuEP,CAAvE,EAAqF;EACzF,OAAOS,cAAYC,CAAD,IAAOhB,UAAUM,CAAC,CAACU,CAAD,CAAX,EAAcC,sBAAd,CAAlB,EAAiChB,YAAjC,CAAP;AACD;AAED;;;;;;AAKA,kBACEqC,EADF,EAEEhC,CAFF,EAE8B;EAE5B,OAAO,IAAIlB,MAAJ,CAAWkD,EAAX,EAAehC,CAAf,CAAP;AACD;AAED;;;;;;;AAKA,oBAAkDgB,EAAlD,EAA6EhB,CAA7E,EAA6F;EAC3F,OAAOsD,gBAAa,CAACV,CAAD,EAAI3C,CAAJ,KAAU,CAACA,CAAD,EAAID,CAAC,CAAC4C,CAAD,CAAL,CAAvB,CAAP;AACD;AAED;;;;;;;;;AAOA,iBACEtD,EADF,EAEEsB,SAFF,EAGE2C,SAHF,EAGwB;EAEtB,OAAO9C,aACJC,CAAD,IAAOf,aAAaiB,SAAS,CAACF,CAAD,CAAtB,EAAyBC,sBAAzB,CADF,EAEJV,CAAD,IAAON,aAAa4D,SAAS,CAACtD,CAAD,CAAtB,EAAyBU,sBAAzB,CAFF,CAAP;AAID;AAED;;;;;;;;AAMA,kBACErB,EADF,EAEEsB,SAFF,EAGE2C,SAHF,EAG+C;EAE7C,OAAOC,kBAAgBjB,KAAD,IAAW9C,8DAA2BmB,SAA3B,EAAoC0B,cAApC,CAA1B,EAAiFiB,SAAjF,CAAP;AACD;AAED;;;;;AAGA,uBACEjE,EADF,EAEEsB,SAFF,EAGE2C,SAHF,EAG+C;EAE7C,OAAOL,iBACL5D,EADK,EAEL,CAAC6D,EAAD,EAAKzC,CAAL,KAAWuB,kBAAS,CAACvB,CAAD,CAAT,EAAqB+C,GAAD,IAASC,4BAAUD,GAAV,CAA7B,CAFN,EAGL,CAACN,EAAD,EAAKlD,CAAL,KAAWgC,kBAAS,CAAChC,CAAD,CAAT,EAAqB0D,GAAD,IAASD,4BAAUC,GAAV,CAA7B,CAHN,CAAP;AAKD;AAED;;;;;AAGA,OAAM,SAAUC,UAAV,CACJtE,EADI,EAEJsB,SAFI,EAGJ2C,SAHI,EAGsD;EAE1D,OAAOL,iBACL5D,EADK,EAEL,CAAC6D,EAAD,EAAKZ,KAAL,KAAe9C,8DAA4BiB,CAAD,IAAOE,SAAS,CAACuC,EAAD,EAAKzC,CAAL,CAA3C,EAAkD4B,cAAlD,CAFV,EAGLiB,SAHK,CAAP;AAKD;AAED;;;;;;;;;;;AAUA,0BACEjE,EADF,EAEEsB,SAFF,EAGE2C,SAHF,EAG4D;EAE1D,OAAO,IAAIxE,KAAJ,CAAUO,EAAV,EAAcsB,SAAd,EAAyB2C,SAAzB,CAAP;AACD;AAED;;;;;;;AAKA,kBAAkCvD,CAAlC,EAAgE;EAC9D,OAAO,IAAIhB,MAAJ,CAAWgB,CAAX,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAU6D,YAAV,CAAqC7D,CAArC,EAA8E;EAClF,OAAOT,yBACAS,CADA,GAEKmB,CAAD,IAAO1B,0BAACC,SAAD,EAAmB,CAAC,CAACO,CAAD,EAAI6D,EAAJ,CAAD,KAAaC,wBAAa9D,CAAb,EAAcU,sBAAd,GAAyB,MAAMmD,EAA/B,CAAhC,CAFX,CAAP;AAGD;AAED;;;;AAGA,OAAM,SAAUE,OAAV,CACJ1E,EADI,EAEJQ,EAFI,EAE+B;EAEnC,OAAOW,aAAU,MAAMX,EAAE,EAAlB,EAAoBH,YAApB,CAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUsE,aAAV,CACJ3E,EADI,EAEJ4E,IAFI,EAEgC;EAEpC,OAAOzD,aACL,MAAMc,UAAI,EAAJ,EAAMI,qBAAN,CADD,EAEJ1B,CAAD,IAAON,aAAagC,qBAAY1B,CAAZ,CAAb,EAA2BU,sBAA3B,CAFF,CAAP;AAID;AAED;;;;AAGA,8BACErB,EADF,EAEE6B,CAFF,EAEmB;EAEjB,OAAO,IAAIlC,OAAJ,CAAYK,EAAZ,EAAgB6B,CAAhB,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAUgD,GAAV,CAAiBvB,CAAjB,EAAqB;EACzB,OAAOD,SAAS,MAAM,CAACyB,SAAD,EAAYxB,CAAZ,CAAf,CAAP;AACD;AAED;;;;;;;AAMA,mBAAwD5B,EAAxD,EAAmFqD,CAAnF,EAA4F;EAC1F,OAAO9E,cAAYU,CAAD,IAAQoE,CAAC,IAAI,CAAL,GAAS1E,aAAaM,CAAb,EAAcU,sBAAd,CAAT,GAA2B2D,cAAWD,CAAC,GAAG,CAAf,CAA9C,CAAP;AACD;AAED;;;;;;;;AAMA,uBACErD,EADF,EAEEuD,CAFF,EAEiB;EAEf,OAAOhF,cAAYU,CAAD,IAAQsE,CAAC,CAACtE,CAAD,CAAD,GAAON,aAAaM,CAAb,EAAcU,sBAAd,CAAP,GAAyB6D,kBAAeD,CAAf,CAA5C,CAAP;AACD;AAED;;;;;AAGA,mBACEE,MADF,EAEEjD,aAFF,EAEwB;EAEtB,OAAO,IAAItC,OAAJ,CAAYuF,MAAZ,CAAP;AACD;AAED;;;;;AAGA,sBACExE,CADF,EAEEuB,aAFF,EAEwB;EAEtB,OAAO,IAAIrC,UAAJ,CAAec,CAAf,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUyE,IAAV,CACJ1D,EADI,EAEJhB,CAFI,EAEiC;EAErC,OAAOT,cAAYU,CAAD,IAAOsB,OAAC,CAACtB,CAAD,CAAD,EAAS,MAAMA,CAAf,CAAlB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAU0E,IAAV,CAAkBC,CAAlB,EAAsB;EAC1B,OAAOC,UAAUC,uBAAYF,CAAZ,CAAV,CAAP;AACD;AAED;;;;AAGA,mBAA2BzB,EAA3B,EAAsC;EACpC,OAAO,IAAI/D,IAAJ,CAAS+D,EAAT,CAAP;AACD;AAED;;;;;;;AAKA,qBACEnC,EADF,EAEEhB,CAFF,EAEsC;EAEpC,OAAOT,cAAYU,CAAD,IAAO0C,SAAUC,CAAD,IAAO5C,CAAC,CAAC4C,CAAD,EAAI3C,CAAJ,CAAjB,CAAlB,CAAP;AACD;AAED;;;;;AAGA,OAAO,MAAM8E,IAAI,gBAAmDpF,aAAayE,SAAb,EAAsBzD,sBAAtB,CAA7D;AAEP;;;;;;AAKA,kBAA+BX,CAA/B,EAA+C;EAC7C,OAAO2C,SAAUC,CAAD,IAAO,CAACwB,SAAD,EAAYpE,CAAC,CAAC4C,CAAD,CAAb,CAAhB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUoC,MAAV,CAAyChE,EAAzC,EAAoE4D,CAApE,EAAyE;EAC7E,OAAOK,eAAYH,uBAAYF,CAAZ,CAAZ,CAAP;AACD;AAED;;;;AAGA,oBACE5D,EADF,EAEEkE,GAFF,EAEe;EAEb,OAAOjD,aAAWkB,EAAD,IAAQO,4BAAUwB,GAAV,CAAlB,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUC,IAAV,CACJ7F,EADI,EAEJQ,EAFI,EAEsB;EAE1B,OAAOsF,cAAWtF,EAAX,EAAe,CAACG,CAAD,EAAII,CAAJ,KAAUgF,qBAAOpF,CAAP,EAAUI,CAAV,CAAzB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUiF,SAAV,CACJhG,EADI,EAEJQ,EAFI,EAEsB;EAE1B,OAAOsF,cAAWtF,EAAX,EAAe,CAACG,CAAD,EAAIE,CAAJ,KAAUF,CAAzB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUsF,UAAV,CACJjG,EADI,EAEJQ,EAFI,EAEsB;EAE1B,OAAOsF,cAAWtF,EAAX,EAAe,CAACK,CAAD,EAAIE,CAAJ,KAAUA,CAAzB,CAAP;AACD;AAED;;;;AAGA,mBACEf,EADF,EAEEQ,EAFF,EAGEE,CAHF,EAGsB;EAEpB,OAAOT,cAAYU,CAAD,IAAOsB,UAAQlB,CAAD,IAAOL,CAAC,CAACC,CAAD,EAAII,CAAJ,CAAf,CAAlB,CAAP;AACD","names":["catchAll_","flatMap_","crossWith_","defer","environmentWithZ","failNow","failCause","failCauseNow","get","listen","map_","mapLog_","mapState_","match_","matchZ_","matchCauseZ_","matchLogCauseZ_","modify","provideEnvironment_","repeatN_","repeatUntil_","succeed","succeedNow","tellAll","transform_","update","writeAll_","zipWith_","identity","tuple","Access","Chain","Defer","Fail","MapLog","Match","Modify","Provide","Succeed","SucceedNow","Tell","absolve","fa","flatMap_1","ea","tsplus_module_1","failNow_1","succeedNow_1","ap_","self","fb","crossWith_1","f","a","apFirst_","_","apSecond_","b","bimap_","pab","g","matchZ_1","e","fileName_1","onFailure","catchJust_","catchAll_1","tsplus_module_2","ma","contramapEnvironment_","environmentWithZ_1","r","provideEnvironment_1","contramapState_","cross_","map_1","__tsplusTrace","either","match_1","tsplus_module_3","environment","environmentWith","succeed_1","erase","wa","mapLog_1","tsplus_module_4","fail","failCause_1","tsplus_module_5","failCauseNow_1","cause","defer_1","flatten","mma","modify_1","s","gets","getsZ","halt","defect","haltNow","matchLogCauseZ_1","ws","listens_","mapError_","transform_1","onSuccess","matchCauseZ_1","w1s","tsplus_module_6","w2s","matchLogZ_","modifyEither","s2","mapState_1","orElse_","orElseEither_","that","put","undefined","n","repeatN_1","p","repeatUntil_1","effect","tap_","tell","w","tellAll_1","tsplus_module_7","unit","write_","writeAll_1","log","zip_","zipWith_1","tsplus_module_8","zipFirst_","zipSecond_"],"sourceRoot":"","sources":["../../../_src/control/Z/api.ts"],"sourcesContent":[null]}
|
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
import * as tsplus_module_1 from "@fncts/typelevel/HKT";
|
|
2
1
|
import { hasTypeId } from "../../util/predicates.mjs";
|
|
3
2
|
export const ZTypeId = /*#__PURE__*/Symbol.for("@principia/base/Z");
|
|
4
3
|
/**
|
|
@@ -21,7 +20,6 @@ export class Z {
|
|
|
21
20
|
}
|
|
22
21
|
|
|
23
22
|
}
|
|
24
|
-
tsplus_module_1.HKT.F, tsplus_module_1.HKT.W, tsplus_module_1.HKT.Q, tsplus_module_1.HKT.S, tsplus_module_1.HKT.R, tsplus_module_1.HKT.E, tsplus_module_1.HKT.A, tsplus_module_1.HKT.T;
|
|
25
23
|
/**
|
|
26
24
|
* @tsplus unify fncts.control.Z
|
|
27
25
|
*/
|
|
@@ -109,12 +107,12 @@ export class Match extends Z {
|
|
|
109
107
|
}
|
|
110
108
|
|
|
111
109
|
}
|
|
112
|
-
export class
|
|
110
|
+
export class Access extends Z {
|
|
113
111
|
constructor(asks) {
|
|
114
112
|
super();
|
|
115
113
|
this.asks = asks;
|
|
116
|
-
this._tag = "
|
|
117
|
-
/* ZTag.
|
|
114
|
+
this._tag = "Access"
|
|
115
|
+
/* ZTag.Access */
|
|
118
116
|
;
|
|
119
117
|
}
|
|
120
118
|
|
|
@@ -154,6 +152,7 @@ export class MapLog extends Z {
|
|
|
154
152
|
/**
|
|
155
153
|
* @tsplus static fncts.control.ZOps concrete
|
|
156
154
|
*/
|
|
155
|
+
// @ts-expect-error
|
|
157
156
|
|
|
158
157
|
export function concrete(_) {//
|
|
159
158
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"definition.mjs","mappings":"AAAA,SAASA,SAAT,QAA0B,2BAA1B;AAaA,OAAO,MAAMC,OAAO,gBAAGC,MAAM,CAACC,GAAP,CAAW,mBAAX,CAAhB;AAGP;;;;;;;;;;;;;;AAaA,OAAM,MAAgBC,CAAhB,CAAiB;EAAvBC;IACW,eAAmBJ,OAAnB;EAOV;;AARsB;AAUvB;;;;AAGA,OAAM,SAAUK,MAAV,CACJC,CADI,EACA;EASJ,OAAOA,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAUC,GAAV,CAAcC,CAAd,EAAwB;EAC5B,OAAOT,SAAS,CAACS,CAAD,EAAIR,OAAJ,CAAhB;AACD;AAiBD,OAAM,MAAOS,UAAP,SAA6BN,CAA7B,CAAwE;EAE5EC,YAAqBM,KAArB,EAA6B;IAC3B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJ2E;AAO9E,OAAM,MAAOC,OAAP,SAA0BR,CAA1B,CAAqE;EAEzEC,YAAqBQ,MAArB,EAAoC;IAClC;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJwE;AAO3E,OAAM,MAAOC,KAAP,SAAyCV,CAAzC,CAA8D;EAElEC,YAAqBU,IAArB,EAAsD;IACpD;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJiE;AAOpE,OAAM,MAAOC,IAAP,SAAuBZ,CAAvB,CAAkE;EAEtEC,YAAqBY,KAArB,EAAoC;IAClC;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJqE;AAOxE,OAAM,MAAOC,MAAP,SAAiCd,CAAjC,CAAoE;EAExEC,YAAqBc,GAArB,EAAsD;IACpD;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJuE;AAO1E,OAAM,MAAOC,KAAP,SAA0DhB,CAA1D,CAA4F;EAEhGC,YAAqBgB,EAArB,EAAyDC,CAAzD,EAA4F;IAC1F;IADmB;IAAoC;IADhD,YAAI;IAAA;IAAJ;EAGR;;AAJ+F;AAOlG,OAAM,MAAOC,KAAP,SAAmFnB,CAAnF,CAOL;EAECC,YACWmB,CADX,EAEWC,SAFX,EAGWC,SAHX,EAGqE;IAEnE;IAJS;IACA;IACA;IAJF,YAAI;IAAA;IAAJ;EAOR;;AARF;AAWD,OAAM,MAAOC,MAAP,SAA8CvB,CAA9C,CAAwE;EAE5EC,YAAqBuB,IAArB,EAAwE;IACtE;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJ2E;AAO9E,OAAM,MAAOC,OAAP,SAA2CzB,CAA3C,CAAoE;EAExEC,YAAqBgB,EAArB,EAAyDS,GAAzD,EAA4E;IAC1E;IADmB;IAAoC;IADhD,YAAI;IAAA;IAAJ;EAGR;;AAJuE;AAO1E,OAAM,MAAOC,IAAP,SAAuB3B,CAAvB,CAAiE;EAErEC,YAAqB2B,GAArB,EAAiC;IAC/B;IADmB;IADZ,YAAI;IAAA;IAAJ;EAGR;;AAJoE;AAOvE,OAAM,MAAOC,MAAP,SAA8C7B,CAA9C,CAAoE;EAExEC,YAAqBgB,EAArB,EAAyDa,SAAzD,EAA6F;IAC3F;IADmB;IAAoC;IADhD,YAAI;IAAA;IAAJ;EAGR;;AAJuE;AAoB1E;;;AAGA;;AACA,OAAM,SAAUC,QAAV,CAAmB5B,CAAnB,EAAqD,CACzD;AACD;AAED,OAAO,MAAM6B,YAAY,gBAAGlC,MAAM,CAACC,GAAP,CAAW,0BAAX,CAArB;AAGP,OAAM,MAAOkC,MAAP,CAAa;EAEjBhC,YAAqBY,KAArB,EAAoC;IAAf;IADZ,eAAwBmB,YAAxB;EAC+B;;AAFvB;AAKnB,OAAM,SAAUE,QAAV,CAAmB7B,CAAnB,EAA6B;EACjC,OAAOT,SAAS,CAACS,CAAD,EAAI2B,YAAJ,CAAhB;AACD","names":["hasTypeId","ZTypeId","Symbol","for","Z","constructor","unifyZ","_","isZ","u","SucceedNow","value","Succeed","effect","Defer","make","Fail","cause","Modify","run","Chain","ma","f","Match","z","onFailure","onSuccess","Access","asks","Provide","env","Tell","log","MapLog","modifyLog","concrete","ZErrorTypeId","ZError","isZError"],"sourceRoot":"","sources":["../../../_src/control/Z/definition.ts"],"sourcesContent":[null]}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"instances.mjs","mappings":"AAGA,SAASA,IAAT,EAAeC,UAAf,EAA2BC,IAA3B,EAAiCC,QAAjC,QAAiD,WAAjD;AAEA;;;;;AAIA,OAAO,MAAMC,WAAW,
|
|
1
|
+
{"version":3,"file":"instances.mjs","mappings":";AAGA,SAASA,IAAT,EAAeC,UAAf,EAA2BC,IAA3B,EAAiCC,QAAjC,QAAiD,WAAjD;AAEA;;;;;AAIA,OAAO,MAAMC,WAAW,GAAmC;EACzDC,GAAG,EAAEL,IADoD;EAEzDM,GAAG,EAAEJ,IAFoD;EAGzDK,OAAO,EAAEJ,QAHgD;EAIzDK,IAAI,EAAEP;AAJmD,CAApD","names":["map_","succeedNow","zip_","zipWith_","Applicative","map","zip","zipWith","pure"],"sourceRoot":"","sources":["../../../_src/control/Z/instances.ts"],"sourcesContent":[null]}
|
|
@@ -2,9 +2,10 @@ const fileName_1 = "(@fncts/base) src/control/Z/runtime.ts";
|
|
|
2
2
|
import * as tsplus_module_1 from "@fncts/base/internal/Stack";
|
|
3
3
|
import * as tsplus_module_2 from "@fncts/base/collection/immutable/Conc/api/empty";
|
|
4
4
|
import * as tsplus_module_3 from "@fncts/base/control/Z/api";
|
|
5
|
-
import * as tsplus_module_4 from "@fncts/base/data/
|
|
6
|
-
import * as tsplus_module_5 from "@fncts/base/data/
|
|
7
|
-
import * as tsplus_module_6 from "@fncts/base/data/Exit/
|
|
5
|
+
import * as tsplus_module_4 from "@fncts/base/data/Environment/api";
|
|
6
|
+
import * as tsplus_module_5 from "@fncts/base/data/Cause/api";
|
|
7
|
+
import * as tsplus_module_6 from "@fncts/base/data/Exit/constructors";
|
|
8
|
+
import * as tsplus_module_7 from "@fncts/base/data/Exit/api";
|
|
8
9
|
export const unsafeRunAll_ = unsafeRunAll_1;
|
|
9
10
|
export const unsafeRun_ = unsafeRun_1;
|
|
10
11
|
export const unsafeRunResult = unsafeRunResult_1;
|
|
@@ -191,11 +192,11 @@ function unsafeRunAll_1(ma, s) {
|
|
|
191
192
|
break;
|
|
192
193
|
}
|
|
193
194
|
|
|
194
|
-
case "
|
|
195
|
-
/* ZTag.
|
|
195
|
+
case "Access"
|
|
196
|
+
/* ZTag.Access */
|
|
196
197
|
:
|
|
197
198
|
{
|
|
198
|
-
current = currZ.asks(environment.peek() ??
|
|
199
|
+
current = currZ.asks(environment.peek() ?? tsplus_module_4.make());
|
|
199
200
|
break;
|
|
200
201
|
}
|
|
201
202
|
|
|
@@ -262,16 +263,16 @@ function unsafeRunAll_1(ma, s) {
|
|
|
262
263
|
current = tsplus_module_3.failCauseNow(e.cause, fileName_1 + ":197:33");
|
|
263
264
|
} else {
|
|
264
265
|
failed = true;
|
|
265
|
-
result =
|
|
266
|
+
result = tsplus_module_5.halt(e);
|
|
266
267
|
}
|
|
267
268
|
}
|
|
268
269
|
}
|
|
269
270
|
|
|
270
271
|
if (failed) {
|
|
271
|
-
return [log,
|
|
272
|
+
return [log, tsplus_module_6.failCause(result)];
|
|
272
273
|
}
|
|
273
274
|
|
|
274
|
-
return [log,
|
|
275
|
+
return [log, tsplus_module_6.succeed([s0, result])];
|
|
275
276
|
}
|
|
276
277
|
/**
|
|
277
278
|
* Runs this computation with the specified initial state, returning both
|
|
@@ -282,7 +283,7 @@ function unsafeRunAll_1(ma, s) {
|
|
|
282
283
|
|
|
283
284
|
|
|
284
285
|
function unsafeRun_1(ma, s) {
|
|
285
|
-
return
|
|
286
|
+
return tsplus_module_7.match_(unsafeRunAll_1(ma, s)[1], cause => {
|
|
286
287
|
// throw cause.squash
|
|
287
288
|
throw new Error();
|
|
288
289
|
}, identity);
|
|
@@ -325,7 +326,7 @@ export function unsafeRunState_(ma, s) {
|
|
|
325
326
|
*/
|
|
326
327
|
|
|
327
328
|
export function unsafeRunStateResult_(ma, s) {
|
|
328
|
-
return
|
|
329
|
+
return tsplus_module_7.match_(unsafeRunAll_1(ma, s)[1], cause => {
|
|
329
330
|
// throw cause.squash
|
|
330
331
|
throw new Error();
|
|
331
332
|
}, ([_, a]) => a);
|
|
@@ -337,7 +338,7 @@ export function unsafeRunStateResult_(ma, s) {
|
|
|
337
338
|
*/
|
|
338
339
|
|
|
339
340
|
export function unsafeRunExit(ma) {
|
|
340
|
-
return
|
|
341
|
+
return tsplus_module_7.map_(unsafeRunAll_1(ma, {})[1], ([_, a]) => a);
|
|
341
342
|
}
|
|
342
343
|
/**
|
|
343
344
|
*
|
|
@@ -346,7 +347,7 @@ export function unsafeRunExit(ma) {
|
|
|
346
347
|
|
|
347
348
|
export function unsafeRunWriter(ma) {
|
|
348
349
|
const [w, exit] = unsafeRunAll_1(ma, {});
|
|
349
|
-
return
|
|
350
|
+
return tsplus_module_7.match_(exit, () => {
|
|
350
351
|
// throw cause.squash
|
|
351
352
|
throw new Error();
|
|
352
353
|
}, ([_, a]) => [w, a]);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runtime.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"runtime.mjs","mappings":";;;;;;;;aAyBgBA,aAAa;aAgMbC,UAAU;aAYVC,eAAe;AArO/B,SAASC,QAAT,QAAyB,yBAAzB;AAEA,SAASC,QAAT,EAAmBC,QAAnB,QAAyC,kBAAzC;;AAEA,MAAMC,UAAN,CAAgB;EAEdC,YACWC,OADX,EAEWC,KAFX,EAE6D;IADlD;IACA;IAHF,aAAQ,YAAR;EAIL;;AALU;;AAQhB,MAAMC,UAAN,CAAgB;EAEdH,YAAqBE,KAArB,EAAuE;IAAlD;IADZ,aAAQ,YAAR;EACkE;;AAF7D;AAOhB;;;;;;;;AAMA,wBACEE,EADF,EAEEC,CAFF,EAEO;EAEL,MAAMC,KAAK,GAAiBC,yBAA5B;EACA,IAAIC,EAAE,GAAsBH,CAA5B;EACA,IAAII,MAAM,GAAkB,IAA5B;EACA,MAAMC,WAAW,GAAWH,yBAA5B;EACA,IAAII,MAAM,GAAkB,KAA5B;EACA,IAAIC,OAAO,GAAiBR,EAA5B;EACA,IAAIS,GAAG,GAAqBC,uBAA5B;;EAEA,SAASC,iBAAT,GAA0B;IACxB,IAAIC,SAAS,GAAG,IAAhB;;IACA,OAAOA,SAAP,EAAkB;MAChB,MAAMC,IAAI,GAAGX,KAAK,CAACY,GAAN,EAAb;;MAEA,IAAID,IAAI,IAAI,IAAZ,EAAkB;QAChBD,SAAS,GAAG,KAAZ;MACD,CAFD,MAEO;QACL,IAAIC,IAAI,CAACE,KAAL,KAAe,YAAnB,EAAiC;UAC/BH,SAAS,GAAG,KAAZ;UACAV,KAAK,CAACc,IAAN,CAAW,IAAIjB,UAAJ,CAAec,IAAI,CAAChB,OAApB,CAAX;QACD;MACF;IACF;EACF;;EAED,OAAOW,OAAO,IAAI,IAAlB,EAAwB;IACtB,IAAI;MACF,OAAOA,OAAO,IAAI,IAAlB,EAAwB;QACtB,MAAMS,KAAK,GAAoCT,OAA/C;QACAf,QAAQ,CAACwB,KAAD,CAAR;;QAEA,QAAQA,KAAK,CAACC,IAAd;UACE;UAAA;UAAA;YAAiB;cACf,MAAMC,MAAM,GAASF,KAAK,CAACjB,EAA3B;cACA,MAAMoB,YAAY,GAAGH,KAAK,CAACI,CAA3B;cACA5B,QAAQ,CAAC0B,MAAD,CAAR;;cACA,QAAQA,MAAM,CAACD,IAAf;gBACE;gBAAA;gBAAA;kBAAsB;oBACpBV,OAAO,GAAGY,YAAY,CAACD,MAAM,CAACG,KAAR,CAAtB;oBACA;kBACD;;gBACD;gBAAA;gBAAA;kBAAmB;oBACjBd,OAAO,GAAGY,YAAY,CAACD,MAAM,CAACI,MAAP,EAAD,CAAtB;oBACA;kBACD;;gBACD;gBAAA;gBAAA;kBAAkB;oBAChB,MAAMC,OAAO,GAAGL,MAAM,CAACM,GAAP,CAAWrB,EAAX,CAAhB;oBACAC,MAAM,GAAUmB,OAAO,CAAC,CAAD,CAAvB;oBACApB,EAAE,GAAcoB,OAAO,CAAC,CAAD,CAAvB;oBACAhB,OAAO,GAASY,YAAY,CAACf,MAAD,CAA5B;oBACA;kBACD;;gBACD;kBAAS;oBACPG,OAAO,GAAGW,MAAV;oBACAjB,KAAK,CAACc,IAAN,CAAW,IAAIjB,UAAJ,CAAeqB,YAAf,CAAX;oBACA;kBACD;cApBH;;cAsBA;YACD;;UACD;UAAA;UAAA;YAAmB;cACjBf,MAAM,GAAkBY,KAAK,CAACM,MAAN,EAAxB;cACA,MAAMG,eAAe,GAAGxB,KAAK,CAACY,GAAN,EAAxB;;cACA,IAAIY,eAAJ,EAAqB;gBACnBlB,OAAO,GAAGkB,eAAe,CAAC5B,KAAhB,CAAsBO,MAAtB,CAAV;cACD,CAFD,MAEO;gBACLG,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAiB;cACfnB,OAAO,GAAGS,KAAK,CAACW,IAAN,EAAV;cACA;YACD;;UACD;UAAA;UAAA;YAAsB;cACpBvB,MAAM,GAAYY,KAAK,CAACK,KAAxB;cACA,MAAMO,SAAS,GAAG3B,KAAK,CAACY,GAAN,EAAlB;;cACA,IAAIe,SAAJ,EAAe;gBACbrB,OAAO,GAAGqB,SAAS,CAAC/B,KAAV,CAAgBO,MAAhB,CAAV;cACD,CAFD,MAEO;gBACLG,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAgB;cACdhB,iBAAiB;cACjB,MAAMmB,QAAQ,GAAG5B,KAAK,CAACY,GAAN,EAAjB;;cACA,IAAIgB,QAAJ,EAAc;gBACZtB,OAAO,GAAGsB,QAAQ,CAAChC,KAAT,CAAemB,KAAK,CAACc,KAArB,CAAV;cACD,CAFD,MAEO;gBACLxB,MAAM,GAAI,IAAV;gBACAF,MAAM,GAAIY,KAAK,CAACc,KAAhB;gBACAvB,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAiB;cACfnB,OAAO,GAAOS,KAAK,CAACe,CAApB;cACA,MAAMC,KAAK,GAAG7B,EAAd;cACAF,KAAK,CAACc,IAAN,CACE,IAAIrB,UAAJ,CACGoC,KAAD,IAAsB;gBACpB,MAAMG,CAAC,GAAGC,6CAAMF,KAAN,GAAqB,MAAMhB,KAAK,CAACmB,SAAN,CAAgB3B,GAAhB,EAAqBsB,KAArB,CAA3B,CAAV;gBACAtB,GAAG,GAAOC,uBAAV;gBACA,OAAOwB,CAAP;cACD,CALH,EAMGG,CAAD,IAAM;gBACJ,MAAMH,CAAC,GAAGjB,KAAK,CAACqB,SAAN,CAAgB7B,GAAhB,EAAqB4B,CAArB,CAAV;gBACA5B,GAAG,GAAOC,uBAAV;gBACA,OAAOwB,CAAP;cACD,CAVH,CADF;cAcA;YACD;;UACD;UAAA;UAAA;YAAkB;cAChB1B,OAAO,GAAGS,KAAK,CAACsB,IAAN,CAAWjC,WAAW,CAACkC,IAAZ,MAAsBC,sBAAjC,CAAV;cACA;YACD;;UACD;UAAA;UAAA;YAAmB;cACjBnC,WAAW,CAACU,IAAZ,CAAiBC,KAAK,CAACyB,GAAvB;cACAlC,OAAO,GAAG2B,4BAAK,CAACnC,EAAN,EACP2C,CAAD,IAAOR,oDAAa7B,WAAW,CAACQ,GAAZ,EAAb,EAA8B8B,sBAA9B,GAAwC,MAAMT,wBAAUQ,CAAV,EAAWC,sBAAX,CAA9C,CADC,EAEPP,CAAD,IAAOF,oDAAa7B,WAAW,CAACQ,GAAZ,EAAb,EAA8B8B,sBAA9B,GAAwC,MAAMT,2BAAaE,CAAb,EAAcO,sBAAd,CAA9C,CAFC,CAAV;cAIA;YACD;;UACD;UAAA;UAAA;YAAkB;cAChB,MAAMpB,OAAO,GAAIP,KAAK,CAACQ,GAAN,CAAUrB,EAAV,CAAjB;cACAA,EAAE,GAAeoB,OAAO,CAAC,CAAD,CAAxB;cACAnB,MAAM,GAAWmB,OAAO,CAAC,CAAD,CAAxB;cACA,MAAMM,QAAQ,GAAG5B,KAAK,CAACY,GAAN,EAAjB;;cACA,IAAIgB,QAAJ,EAAc;gBACZtB,OAAO,GAAGsB,QAAQ,CAAChC,KAAT,CAAeO,MAAf,CAAV;cACD,CAFD,MAEO;gBACLG,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAgB;cACdlB,GAAG,GAAcQ,KAAK,CAACR,GAAvB;cACA,MAAMqB,QAAQ,GAAG5B,KAAK,CAACY,GAAN,EAAjB;;cACA,IAAIgB,QAAJ,EAAc;gBACZtB,OAAO,GAAGsB,QAAQ,CAAChC,KAAT,CAAeO,MAAf,CAAV;cACD,CAFD,MAEO;gBACLG,OAAO,GAAGmB,SAAV;cACD;;cACD;YACD;;UACD;UAAA;UAAA;YAAkB;cAChBnB,OAAO,GAAGS,KAAK,CAACjB,EAAhB;cACAE,KAAK,CAACc,IAAN,CACE,IAAIrB,UAAJ,CACGoC,KAAD,IAAsB;gBACpBtB,GAAG,GAAGQ,KAAK,CAAC4B,SAAN,CAAgBpC,GAAhB,CAAN;gBACA,OAAO0B,6BAAeJ,KAAf,EAAoBa,sBAApB,CAAP;cACD,CAJH,EAKGP,CAAD,IAAM;gBACJ5B,GAAG,GAAGQ,KAAK,CAAC4B,SAAN,CAAgBpC,GAAhB,CAAN;gBACA,OAAO0B,2BAAaE,CAAb,EAAcO,sBAAd,CAAP;cACD,CARH,CADF;YAYD;QApIH;MAsID;IACF,CA5ID,CA4IE,OAAOD,CAAP,EAAU;MACV,IAAIjD,QAAQ,CAACiD,CAAD,CAAZ,EAAiB;QACfnC,OAAO,GAAG2B,6BAAeQ,CAAC,CAACZ,KAAjB,EAAsBa,sBAAtB,CAAV;MACD,CAFD,MAEO;QACLrC,MAAM,GAAG,IAAT;QACAF,MAAM,GAAGyC,qBAAWH,CAAX,CAAT;MACD;IACF;EACF;;EAED,IAAIpC,MAAJ,EAAY;IACV,OAAO,CAACE,GAAD,EAAMsC,0BAAe1C,MAAf,CAAN,CAAP;EACD;;EAED,OAAO,CAACI,GAAD,EAAMsC,wBAAa,CAAC3C,EAAD,EAAKC,MAAL,CAAb,CAAN,CAAP;AACD;AAED;;;;;;;;AAMA,qBAAyCL,EAAzC,EAA4EC,CAA5E,EAAiF;EAC/E,OAAO+C,0CAAgB/C,CAAhB,EAAmB,CAAnB,GAA6B8B,KAAD,IAAU;IAC3C;IACA,MAAM,IAAIkB,KAAJ,EAAN;EACD,CAHM,EAGJzD,QAHI,CAAP;AAID;AAED;;;;;;;AAKA,2BAAsCQ,EAAtC,EAAiF;EAC/E,OAAOkD,YAAWlD,EAAX,EAAe,EAAf,EAAmB,CAAnB,CAAP;AACD;AAED;;;;;;;AAKA,OAAM,SAAUmD,gBAAV,CAAoCnD,EAApC,EAA2EoD,CAA3E,EAA4F;EAChG,OAAOC,kBAAgBlB,wCAAsBiB,CAAtB,CAAhB,CAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUE,eAAV,CAAwCtD,EAAxC,EAA6EC,CAA7E,EAAkF;EACtF,OAAOiD,gBAAajD,CAAb,EAAgB,CAAhB,CAAP;AACD;AAED;;;;;;;AAMA,OAAM,SAAUsD,qBAAV,CAA8CvD,EAA9C,EAAmFC,CAAnF,EAAwF;EAC5F,OAAO+C,0CAAgB/C,CAAhB,EAAmB,CAAnB,GACJ8B,KAAD,IAAU;IACR;IACA,MAAM,IAAIkB,KAAJ,EAAN;EACD,CAJI,EAKL,CAAC,CAACO,CAAD,EAAInB,CAAJ,CAAD,KAAYA,CALP,CAAP;AAOD;AAED;;;;;;AAKA,OAAM,SAAUoB,aAAV,CAA8BzD,EAA9B,EAA2E;EAC/E,OAAOgD,wCAAgB,EAAhB,EAA6B,CAA7B,GAAoC,CAAC,CAACQ,CAAD,EAAInB,CAAJ,CAAD,KAAYA,CAAhD,CAAP;AACD;AAED;;;;;AAIA,OAAM,SAAUqB,eAAV,CAAgC1D,EAAhC,EAA6E;EACjF,MAAM,CAAC2D,CAAD,EAAIC,IAAJ,IAAYC,mBAAgB,EAAhB,CAAlB;EACA,OAAOb,6BACL,MAAK;IACH;IACA,MAAM,IAAIC,KAAJ,EAAN;EACD,CAJI,EAKL,CAAC,CAACO,CAAD,EAAInB,CAAJ,CAAD,KAAY,CAACsB,CAAD,EAAItB,CAAJ,CALP,CAAP;AAOD","names":["unsafeRunAll_","unsafeRun_","unsafeRunResult","identity","concrete","isZError","MatchFrame","constructor","failure","apply","ApplyFrame","ma","s","stack","tsplus_module_1","s0","result","environment","failed","current","log","tsplus_module_2","unsafeUnwindStack","unwinding","next","pop","_zTag","push","currZ","_tag","nested","continuation","f","value","effect","updated","run","nextInstruction","undefined","make","nextInstr","nextInst","cause","z","state","m","tsplus_module_3","onFailure","a","onSuccess","asks","peek","tsplus_module_4","env","e","fileName_1","modifyLog","tsplus_module_5","tsplus_module_6","tsplus_module_7","Error","unsafeRun_1","unsafeRunReader_","r","unsafeRunResult_1","unsafeRunState_","unsafeRunStateResult_","_","unsafeRunExit","unsafeRunWriter","w","exit","unsafeRunAll_1"],"sourceRoot":"","sources":["../../../_src/control/Z/runtime.ts"],"sourcesContent":[null]}
|
|
@@ -1,14 +1,11 @@
|
|
|
1
|
-
import * as tsplus_module_1 from "@fncts/typelevel/HKT";
|
|
2
1
|
/**
|
|
3
2
|
* @tsplus type fncts.Const
|
|
4
3
|
* @tsplus companion fncts.ConstOps
|
|
5
4
|
*/
|
|
6
|
-
|
|
7
5
|
export class Const {
|
|
8
6
|
constructor(getConst) {
|
|
9
7
|
this.getConst = getConst;
|
|
10
8
|
}
|
|
11
9
|
|
|
12
10
|
}
|
|
13
|
-
tsplus_module_1.HKT.F, tsplus_module_1.HKT.E, tsplus_module_1.HKT.A, tsplus_module_1.HKT.T;
|
|
14
11
|
//# sourceMappingURL=definition.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"definition.mjs","mappings":"AAWA;;;;AAIA,OAAM,MAAOA,KAAP,CAAY;EAGhBC,YAAqBC,QAArB,EAAgC;IAAX;EAAe;;AAHpB","names":["Const","constructor","getConst"],"sourceRoot":"","sources":["../../../_src/data/Const/definition.ts"],"sourcesContent":[null]}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
|
-
import * as tsplus_module_1 from "@fncts/
|
|
1
|
+
import * as tsplus_module_1 from "@fncts/typelevel/HKT";
|
|
2
|
+
import * as tsplus_module_2 from "@fncts/base/data/Const/api";
|
|
2
3
|
export const getApply = getApply_1;
|
|
3
4
|
/**
|
|
4
5
|
* @tsplus static fncts.ConstOps getApply
|
|
@@ -6,9 +7,9 @@ export const getApply = getApply_1;
|
|
|
6
7
|
|
|
7
8
|
function getApply_1(S) {
|
|
8
9
|
return {
|
|
9
|
-
map: (fa, f) =>
|
|
10
|
-
zip: (self, that) =>
|
|
11
|
-
zipWith: (self, that, _f) =>
|
|
10
|
+
map: (fa, f) => tsplus_module_2.map_(fa, f),
|
|
11
|
+
zip: (self, that) => tsplus_module_2.mkConst(S.combine(self.getConst, that.getConst)),
|
|
12
|
+
zipWith: (self, that, _f) => tsplus_module_2.mkConst(S.combine(self.getConst, that.getConst))
|
|
12
13
|
};
|
|
13
14
|
}
|
|
14
15
|
/**
|
|
@@ -18,7 +19,7 @@ function getApply_1(S) {
|
|
|
18
19
|
|
|
19
20
|
export function getApplicative(M) {
|
|
20
21
|
return { ...getApply_1(M),
|
|
21
|
-
pure: () =>
|
|
22
|
+
pure: () => tsplus_module_2.mkConst(M.nat)
|
|
22
23
|
};
|
|
23
24
|
}
|
|
24
25
|
//# sourceMappingURL=instances.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"instances.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"instances.mjs","mappings":";;aAQgBA,QAAQ;AAHxB;;;;AAGA,oBAA4BC,CAA5B,EAA6C;EAC3C,OAAsD;IACpDC,GAAG,EAAE,CAACC,EAAD,EAAKC,CAAL,KAAWC,yBAAOD,CAAP,CADoC;IAEpDE,GAAG,EAAE,CAACC,IAAD,EAAOC,IAAP,KAAgBH,wBAAMJ,CAAC,CAACQ,OAAF,CAAUF,IAAI,CAACG,QAAf,EAAyBF,IAAI,CAACE,QAA9B,CAAN,CAF+B;IAGpDC,OAAO,EAAE,CAACJ,IAAD,EAAOC,IAAP,EAAaI,EAAb,KAAoBP,wBAAMJ,CAAC,CAACQ,OAAF,CAAUF,IAAI,CAACG,QAAf,EAAyBF,IAAI,CAACE,QAA9B,CAAN;EAHuB,CAAtD;AAKD;AAED;;;;;AAGA,OAAM,SAAUG,cAAV,CAA4BC,CAA5B,EAA0C;EAC9C,OAAO,EACL,GAAGC,WAASD,CAAT,CADE;IAELE,IAAI,EAAE,MAASX,wBAAYS,CAAC,CAACG,GAAd;EAFV,CAAP;AAID","names":["getApply","S","map","fa","f","tsplus_module_2","zip","self","that","combine","getConst","zipWith","_f","getApplicative","M","getApply_1","pure","nat"],"sourceRoot":"","sources":["../../../_src/data/Const/instances.ts"],"sourcesContent":[null]}
|