@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
|
@@ -0,0 +1,403 @@
|
|
|
1
|
+
import * as tsplus_module_1 from "@fncts/base/data/function/api";
|
|
2
|
+
import * as tsplus_module_2 from "@fncts/base/data/Maybe/destructors";
|
|
3
|
+
import * as tsplus_module_3 from "@fncts/base/data/Predicate/api";
|
|
4
|
+
import * as tsplus_module_4 from "@fncts/base/data/Either/destructors";
|
|
5
|
+
import * as tsplus_module_5 from "@fncts/base/data/Zipped";
|
|
6
|
+
export const initial = initial_1;
|
|
7
|
+
export const pending = pending_1;
|
|
8
|
+
export const refresh = refresh_1;
|
|
9
|
+
export const replete = replete_1;
|
|
10
|
+
export const isInitial = isInitial_1;
|
|
11
|
+
export const isPending = isPending_1;
|
|
12
|
+
export const isRefresh = isRefresh_1;
|
|
13
|
+
export const isReplete = isReplete_1;
|
|
14
|
+
export const isEmpty = isEmpty_1;
|
|
15
|
+
export const isNonEmpty = isNonEmpty_1;
|
|
16
|
+
export const filter = filter_1;
|
|
17
|
+
export const match = match_1;
|
|
18
|
+
export const zipWith = zipWith_1;
|
|
19
|
+
import { Initial, Pending, Refresh, Replete } from "@fncts/base/data/Datum/definition";
|
|
20
|
+
|
|
21
|
+
const _Initial = /*#__PURE__*/new Initial();
|
|
22
|
+
/**
|
|
23
|
+
* @tsplus static fncts.DatumOps initial
|
|
24
|
+
* @tsplus static fncts.Datum.InitialOps __call
|
|
25
|
+
*/
|
|
26
|
+
|
|
27
|
+
|
|
28
|
+
function initial_1() {
|
|
29
|
+
return _Initial;
|
|
30
|
+
}
|
|
31
|
+
|
|
32
|
+
const _Pending = /*#__PURE__*/new Pending();
|
|
33
|
+
/**
|
|
34
|
+
* @tsplus static fncts.DatumOps pending
|
|
35
|
+
* @tsplus static fncts.Datum.PendingOps __call
|
|
36
|
+
*/
|
|
37
|
+
|
|
38
|
+
|
|
39
|
+
function pending_1() {
|
|
40
|
+
return _Pending;
|
|
41
|
+
}
|
|
42
|
+
/**
|
|
43
|
+
* @tsplus static fncts.DatumOps refresh
|
|
44
|
+
* @tsplus static fncts.Datum.RefreshOps __call
|
|
45
|
+
*/
|
|
46
|
+
|
|
47
|
+
|
|
48
|
+
function refresh_1(value) {
|
|
49
|
+
return new Refresh(value);
|
|
50
|
+
}
|
|
51
|
+
/**
|
|
52
|
+
* @tsplus static fncts.DatumOps replete
|
|
53
|
+
* @tsplus static fncts.Datum.RepleteOps __call
|
|
54
|
+
*/
|
|
55
|
+
|
|
56
|
+
|
|
57
|
+
function replete_1(value) {
|
|
58
|
+
return new Replete(value);
|
|
59
|
+
}
|
|
60
|
+
/**
|
|
61
|
+
* @tsplus getter fncts.Datum value
|
|
62
|
+
*/
|
|
63
|
+
|
|
64
|
+
|
|
65
|
+
export function left(self) {
|
|
66
|
+
return isNonEmpty_1(self) ? self.value : undefined;
|
|
67
|
+
}
|
|
68
|
+
/**
|
|
69
|
+
* @tsplus fluent fncts.Datum isInitial
|
|
70
|
+
*/
|
|
71
|
+
|
|
72
|
+
function isInitial_1(self) {
|
|
73
|
+
return self._tag === "Initial"
|
|
74
|
+
/* DatumTag.Initial */
|
|
75
|
+
;
|
|
76
|
+
}
|
|
77
|
+
/**
|
|
78
|
+
* @tsplus fluent fncts.Datum isPending
|
|
79
|
+
*/
|
|
80
|
+
|
|
81
|
+
|
|
82
|
+
function isPending_1(self) {
|
|
83
|
+
return self._tag === "Pending"
|
|
84
|
+
/* DatumTag.Pending */
|
|
85
|
+
;
|
|
86
|
+
}
|
|
87
|
+
/**
|
|
88
|
+
* @tsplus fluent fncts.Datum isRefresh
|
|
89
|
+
*/
|
|
90
|
+
|
|
91
|
+
|
|
92
|
+
function isRefresh_1(self) {
|
|
93
|
+
return self._tag === "Refresh"
|
|
94
|
+
/* DatumTag.Refresh */
|
|
95
|
+
;
|
|
96
|
+
}
|
|
97
|
+
/**
|
|
98
|
+
* @tsplus fluent fncts.Datum isReplete
|
|
99
|
+
*/
|
|
100
|
+
|
|
101
|
+
|
|
102
|
+
function isReplete_1(self) {
|
|
103
|
+
return self._tag === "Replete"
|
|
104
|
+
/* DatumTag.Replete */
|
|
105
|
+
;
|
|
106
|
+
}
|
|
107
|
+
/**
|
|
108
|
+
* @tsplus fluent fncts.Datum isEmpty
|
|
109
|
+
*/
|
|
110
|
+
|
|
111
|
+
|
|
112
|
+
function isEmpty_1(self) {
|
|
113
|
+
return isInitial_1(self) || isPending_1(self);
|
|
114
|
+
}
|
|
115
|
+
/**
|
|
116
|
+
* @tsplus fluent fncts.Datum isNonEmpty
|
|
117
|
+
*/
|
|
118
|
+
|
|
119
|
+
|
|
120
|
+
function isNonEmpty_1(self) {
|
|
121
|
+
return isRefresh_1(self) || isReplete_1(self);
|
|
122
|
+
}
|
|
123
|
+
/**
|
|
124
|
+
* @tsplus fluent fncts.Datum isLoading
|
|
125
|
+
*/
|
|
126
|
+
|
|
127
|
+
|
|
128
|
+
export function isLoading(self) {
|
|
129
|
+
return isPending_1(self) || isRefresh_1(self);
|
|
130
|
+
}
|
|
131
|
+
/**
|
|
132
|
+
* @tsplus fluent fncts.Datum elem
|
|
133
|
+
*/
|
|
134
|
+
|
|
135
|
+
export function elem(self, a,
|
|
136
|
+
/** @tsplus auto */
|
|
137
|
+
E) {
|
|
138
|
+
return match_1(self, {
|
|
139
|
+
Initial: () => false,
|
|
140
|
+
Pending: () => false,
|
|
141
|
+
Refresh: value => E.equals(a, value),
|
|
142
|
+
Replete: value => E.equals(a, value)
|
|
143
|
+
});
|
|
144
|
+
}
|
|
145
|
+
export function exists(self, p) {
|
|
146
|
+
return match_1(self, {
|
|
147
|
+
Initial: () => false,
|
|
148
|
+
Pending: () => false,
|
|
149
|
+
Refresh: p,
|
|
150
|
+
Replete: p
|
|
151
|
+
});
|
|
152
|
+
}
|
|
153
|
+
/**
|
|
154
|
+
* @tsplus fluent fncts.Datum extend
|
|
155
|
+
*/
|
|
156
|
+
|
|
157
|
+
export function extend(self, f) {
|
|
158
|
+
return replete_1(f(self));
|
|
159
|
+
}
|
|
160
|
+
|
|
161
|
+
function filter_1(self, p) {
|
|
162
|
+
return match_1(self, {
|
|
163
|
+
Initial: () => self,
|
|
164
|
+
Pending: () => self,
|
|
165
|
+
Refresh: a => p(a) ? self : initial_1(),
|
|
166
|
+
Replete: a => p(a) ? self : initial_1()
|
|
167
|
+
});
|
|
168
|
+
}
|
|
169
|
+
/**
|
|
170
|
+
* @tsplus fluent fncts.Datum filterMap
|
|
171
|
+
*/
|
|
172
|
+
|
|
173
|
+
|
|
174
|
+
export function filterMap(self, f) {
|
|
175
|
+
return match_1(self, {
|
|
176
|
+
Initial: () => self,
|
|
177
|
+
Pending: () => self,
|
|
178
|
+
Refresh: value => tsplus_module_2.match_(f(value), () => initial_1(), b => refresh_1(b)),
|
|
179
|
+
Replete: value => tsplus_module_2.match_(f(value), () => initial_1(), b => replete_1(b))
|
|
180
|
+
});
|
|
181
|
+
}
|
|
182
|
+
/**
|
|
183
|
+
* @tsplus fluent fncts.Datum flatMap
|
|
184
|
+
*/
|
|
185
|
+
|
|
186
|
+
export function flatMap(self, f) {
|
|
187
|
+
if (isEmpty_1(self)) {
|
|
188
|
+
return self;
|
|
189
|
+
}
|
|
190
|
+
|
|
191
|
+
const that = f(self.value);
|
|
192
|
+
|
|
193
|
+
if (isEmpty_1(that)) {
|
|
194
|
+
return that;
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
return isRefresh_1(self) || isRefresh_1(that) ? refresh_1(that.value) : replete_1(that.value);
|
|
198
|
+
}
|
|
199
|
+
/**
|
|
200
|
+
* @tsplus fluent fncts.Datum foldLeft
|
|
201
|
+
*/
|
|
202
|
+
|
|
203
|
+
export function foldLeft(self, b, f) {
|
|
204
|
+
return match_1(self, {
|
|
205
|
+
Initial: () => b,
|
|
206
|
+
Pending: () => b,
|
|
207
|
+
Refresh: a => f(b, a),
|
|
208
|
+
Replete: a => f(b, a)
|
|
209
|
+
});
|
|
210
|
+
}
|
|
211
|
+
/**
|
|
212
|
+
* @tsplus fluent fncts.Datum foldMap
|
|
213
|
+
*/
|
|
214
|
+
|
|
215
|
+
export function foldMap(self, f,
|
|
216
|
+
/** @tsplus auto */
|
|
217
|
+
M) {
|
|
218
|
+
return match_1(self, {
|
|
219
|
+
Initial: () => M.nat,
|
|
220
|
+
Pending: () => M.nat,
|
|
221
|
+
Refresh: f,
|
|
222
|
+
Replete: f
|
|
223
|
+
});
|
|
224
|
+
}
|
|
225
|
+
/**
|
|
226
|
+
* @tsplus fluent fncts.Datum foldRight
|
|
227
|
+
*/
|
|
228
|
+
|
|
229
|
+
export function foldRight(self, b, f) {
|
|
230
|
+
return match_1(self, {
|
|
231
|
+
Initial: () => b,
|
|
232
|
+
Pending: () => b,
|
|
233
|
+
Refresh: a => f(a, b),
|
|
234
|
+
Replete: a => f(a, b)
|
|
235
|
+
});
|
|
236
|
+
}
|
|
237
|
+
/**
|
|
238
|
+
* @tsplus fluent fncts.Datum getOrElse
|
|
239
|
+
*/
|
|
240
|
+
|
|
241
|
+
export function getOrElse(self, b) {
|
|
242
|
+
return match_1(self, {
|
|
243
|
+
Initial: b,
|
|
244
|
+
Pending: b,
|
|
245
|
+
Refresh: tsplus_module_1.identity,
|
|
246
|
+
Replete: tsplus_module_1.identity
|
|
247
|
+
});
|
|
248
|
+
}
|
|
249
|
+
/**
|
|
250
|
+
* @tsplus fluent fncts.Datum match
|
|
251
|
+
*/
|
|
252
|
+
|
|
253
|
+
function match_1(self, cases) {
|
|
254
|
+
switch (self._tag) {
|
|
255
|
+
case "Initial"
|
|
256
|
+
/* DatumTag.Initial */
|
|
257
|
+
:
|
|
258
|
+
return cases.Initial();
|
|
259
|
+
|
|
260
|
+
case "Pending"
|
|
261
|
+
/* DatumTag.Pending */
|
|
262
|
+
:
|
|
263
|
+
return cases.Pending();
|
|
264
|
+
|
|
265
|
+
case "Refresh"
|
|
266
|
+
/* DatumTag.Refresh */
|
|
267
|
+
:
|
|
268
|
+
return cases.Refresh(self.value);
|
|
269
|
+
|
|
270
|
+
case "Replete"
|
|
271
|
+
/* DatumTag.Replete */
|
|
272
|
+
:
|
|
273
|
+
return cases.Replete(self.value);
|
|
274
|
+
}
|
|
275
|
+
}
|
|
276
|
+
/**
|
|
277
|
+
* @tsplus fluent fncts.Datum match2
|
|
278
|
+
*/
|
|
279
|
+
|
|
280
|
+
|
|
281
|
+
export function match2(self, onEmpty, onValue) {
|
|
282
|
+
switch (self._tag) {
|
|
283
|
+
case "Initial"
|
|
284
|
+
/* DatumTag.Initial */
|
|
285
|
+
:
|
|
286
|
+
return onEmpty(false);
|
|
287
|
+
|
|
288
|
+
case "Pending"
|
|
289
|
+
/* DatumTag.Pending */
|
|
290
|
+
:
|
|
291
|
+
return onEmpty(true);
|
|
292
|
+
|
|
293
|
+
case "Refresh"
|
|
294
|
+
/* DatumTag.Refresh */
|
|
295
|
+
:
|
|
296
|
+
return onValue(self.value, true);
|
|
297
|
+
|
|
298
|
+
case "Replete"
|
|
299
|
+
/* DatumTag.Replete */
|
|
300
|
+
:
|
|
301
|
+
return onValue(self.value, false);
|
|
302
|
+
}
|
|
303
|
+
}
|
|
304
|
+
/**
|
|
305
|
+
* @tsplus fluent fncts.Datum map
|
|
306
|
+
*/
|
|
307
|
+
|
|
308
|
+
export function map(self, f) {
|
|
309
|
+
switch (self._tag) {
|
|
310
|
+
case "Initial"
|
|
311
|
+
/* DatumTag.Initial */
|
|
312
|
+
:
|
|
313
|
+
case "Pending"
|
|
314
|
+
/* DatumTag.Pending */
|
|
315
|
+
:
|
|
316
|
+
return self;
|
|
317
|
+
|
|
318
|
+
case "Refresh"
|
|
319
|
+
/* DatumTag.Refresh */
|
|
320
|
+
:
|
|
321
|
+
return refresh_1(f(self.value));
|
|
322
|
+
|
|
323
|
+
case "Replete"
|
|
324
|
+
/* DatumTag.Replete */
|
|
325
|
+
:
|
|
326
|
+
return replete_1(f(self.value));
|
|
327
|
+
}
|
|
328
|
+
}
|
|
329
|
+
/**
|
|
330
|
+
* @tsplus fluent fncts.Datum orElse
|
|
331
|
+
*/
|
|
332
|
+
|
|
333
|
+
export function orElse(self, that) {
|
|
334
|
+
return match_1(self, {
|
|
335
|
+
Initial: that,
|
|
336
|
+
Pending: that,
|
|
337
|
+
Refresh: () => self,
|
|
338
|
+
Replete: () => self
|
|
339
|
+
});
|
|
340
|
+
}
|
|
341
|
+
export function partition(self, p) {
|
|
342
|
+
return [filter_1(self, tsplus_module_3.invert(p)), filter_1(self, p)];
|
|
343
|
+
}
|
|
344
|
+
/**
|
|
345
|
+
* @tsplus fluent fncts.Datum partitionMap
|
|
346
|
+
*/
|
|
347
|
+
|
|
348
|
+
export function partitionMap(self, f) {
|
|
349
|
+
return match_1(self, {
|
|
350
|
+
Initial: () => [initial_1(), initial_1()],
|
|
351
|
+
Pending: () => [pending_1(), pending_1()],
|
|
352
|
+
Refresh: a => tsplus_module_4.match_(f(a), b => [refresh_1(b), initial_1()], c => [initial_1(), refresh_1(c)]),
|
|
353
|
+
Replete: a => tsplus_module_4.match_(f(a), b => [replete_1(b), initial_1()], c => [initial_1(), replete_1(c)])
|
|
354
|
+
});
|
|
355
|
+
}
|
|
356
|
+
/**
|
|
357
|
+
* @tsplus getter fncts.Datum toPending
|
|
358
|
+
*/
|
|
359
|
+
|
|
360
|
+
export function toPending(self) {
|
|
361
|
+
return isEmpty_1(self) ? self : refresh_1(self.value);
|
|
362
|
+
}
|
|
363
|
+
/**
|
|
364
|
+
* @tsplus getter fncts.Datum toReplete
|
|
365
|
+
*/
|
|
366
|
+
|
|
367
|
+
export function toReplete(self) {
|
|
368
|
+
return isEmpty_1(self) ? self : replete_1(self.value);
|
|
369
|
+
}
|
|
370
|
+
/**
|
|
371
|
+
* @tsplus fluent fncts.Datum traverse
|
|
372
|
+
*/
|
|
373
|
+
|
|
374
|
+
export const traverse = self => A => f => match_1(self, {
|
|
375
|
+
Initial: () => A.pure(initial_1()),
|
|
376
|
+
Pending: () => A.pure(pending_1()),
|
|
377
|
+
Refresh: a => A.map(f(a), b => refresh_1(b)),
|
|
378
|
+
Replete: a => A.map(f(a), b => replete_1(b))
|
|
379
|
+
});
|
|
380
|
+
/**
|
|
381
|
+
* @tsplus fluent fncts.Datum zip
|
|
382
|
+
*/
|
|
383
|
+
|
|
384
|
+
export function zip(self, that) {
|
|
385
|
+
return zipWith_1(self, that, (a, b) => tsplus_module_5.make(a, b));
|
|
386
|
+
}
|
|
387
|
+
/**
|
|
388
|
+
* @tsplus fluent fncts.Datum zipWith
|
|
389
|
+
*/
|
|
390
|
+
|
|
391
|
+
function zipWith_1(self, that, f) {
|
|
392
|
+
if (isEmpty_1(self)) {
|
|
393
|
+
return self;
|
|
394
|
+
}
|
|
395
|
+
|
|
396
|
+
if (isEmpty_1(that)) {
|
|
397
|
+
return that;
|
|
398
|
+
}
|
|
399
|
+
|
|
400
|
+
const c = f(self.value, that.value);
|
|
401
|
+
return isRefresh_1(self) || isRefresh_1(that) ? refresh_1(c) : replete_1(c);
|
|
402
|
+
}
|
|
403
|
+
//# sourceMappingURL=api.mjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"api.mjs","mappings":";;;;;aAegBA,OAAO;aAUPC,OAAO;aAQPC,OAAO;aAQPC,OAAO;aAcPC,SAAS;aAOTC,SAAS;aAOTC,SAAS;aAOTC,SAAS;aAOTC,OAAO;aAOPC,UAAU;aAiDVC,MAAM;aA+FNC,KAAK;aAoILC,OAAO;AA1WvB,SAAmBC,OAAnB,EAA4BC,OAA5B,EAAqCC,OAArC,EAA8CC,OAA9C,QAA6D,mCAA7D;;AAKA,MAAMC,QAAQ,gBAAG,IAAIJ,OAAJ,EAAjB;AAEA;;;;;;AAIA;EACE,OAAOI,QAAP;AACD;;AAED,MAAMC,QAAQ,gBAAG,IAAIJ,OAAJ,EAAjB;AAEA;;;;;;AAIA;EACE,OAAOI,QAAP;AACD;AAED;;;;;;AAIA,mBAA2BC,KAA3B,EAAmC;EACjC,OAAO,IAAIJ,OAAJ,CAAYI,KAAZ,CAAP;AACD;AAED;;;;;;AAIA,mBAA2BA,KAA3B,EAAmC;EACjC,OAAO,IAAIH,OAAJ,CAAYG,KAAZ,CAAP;AACD;AAED;;;;;AAGA,OAAM,SAAUC,IAAV,CAAqBC,IAArB,EAAmC;EACvC,OAAOC,qBAAoBD,IAAI,CAACF,KAAzB,GAAiCI,SAAxC;AACD;AAED;;;;AAGA,qBAA6BF,IAA7B,EAA2C;EACzC,OAAOA,IAAI,CAACG,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;AAGA,qBAA6BH,IAA7B,EAA2C;EACzC,OAAOA,IAAI,CAACG,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;AAGA,qBAA6BH,IAA7B,EAA2C;EACzC,OAAOA,IAAI,CAACG,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;AAGA,qBAA6BH,IAA7B,EAA2C;EACzC,OAAOA,IAAI,CAACG,IAAL,KAAS;EAAA;EAAhB;AACD;AAED;;;;;AAGA,mBAA2BH,IAA3B,EAAyC;EACvC,OAAOI,qBAAoBC,iBAA3B;AACD;AAED;;;;;AAGA,sBAA8BL,IAA9B,EAA4C;EAC1C,OAAOM,qBAAoBC,iBAA3B;AACD;AAED;;;;;AAGA,OAAM,SAAUC,SAAV,CAAuBR,IAAvB,EAAqC;EACzC,OAAOK,qBAAoBC,iBAA3B;AACD;AAED;;;;AAGA,OAAM,SAAUG,IAAV,CAAkBT,IAAlB,EAAkCU,CAAlC;AAAwC;AAAoBC,CAA5D,EAAoE;EACxE,OAAOC,cAAW;IAChBpB,OAAO,EAAE,MAAM,KADC;IAEhBC,OAAO,EAAE,MAAM,KAFC;IAGhBC,OAAO,EAAGI,KAAD,IAAWa,CAAC,CAACE,MAAF,CAASH,CAAT,EAAYZ,KAAZ,CAHJ;IAIhBH,OAAO,EAAGG,KAAD,IAAWa,CAAC,CAACE,MAAF,CAASH,CAAT,EAAYZ,KAAZ;EAJJ,CAAX,CAAP;AAMD;AAOD,OAAM,SAAUgB,MAAV,CAAoBd,IAApB,EAAoCe,CAApC,EAAmD;EACvD,OAAOH,cAAW;IAChBpB,OAAO,EAAE,MAAM,KADC;IAEhBC,OAAO,EAAE,MAAM,KAFC;IAGhBC,OAAO,EAAEqB,CAHO;IAIhBpB,OAAO,EAAEoB;EAJO,CAAX,CAAP;AAMD;AAED;;;;AAGA,OAAM,SAAUC,MAAV,CAAuBhB,IAAvB,EAAuCiB,CAAvC,EAA6D;EACjE,OAAOC,UAAQD,CAAC,CAACjB,IAAD,CAAT,CAAP;AACD;;AAOD,kBAA0BA,IAA1B,EAA0Ce,CAA1C,EAAyD;EACvD,OAAOH,cAAW;IAChBpB,OAAO,EAAE,MAAMQ,IADC;IAEhBP,OAAO,EAAE,MAAMO,IAFC;IAGhBN,OAAO,EAAGgB,CAAD,IAAQK,CAAC,CAACL,CAAD,CAAD,GAAOV,IAAP,GAAcmB,WAHf;IAIhBxB,OAAO,EAAGe,CAAD,IAAQK,CAAC,CAACL,CAAD,CAAD,GAAOV,IAAP,GAAcmB;EAJf,CAAX,CAAP;AAMD;AAED;;;;;AAGA,OAAM,SAAUC,SAAV,CAA0BpB,IAA1B,EAA0CiB,CAA1C,EAA+D;EACnE,OAAOL,cAAW;IAChBpB,OAAO,EAAE,MAAmBQ,IADZ;IAEhBP,OAAO,EAAE,MAAmBO,IAFZ;IAGhBN,OAAO,EAAGI,KAAD,IACPuB,wBAAC,CAACvB,KAAD,CAAD,EACE,MAAMqB,WADR,EAEGG,CAAD,IAAOC,UAAQD,CAAR,CAFT,CAJc;IAQhB3B,OAAO,EAAGG,KAAD,IACPuB,wBAAC,CAACvB,KAAD,CAAD,EACE,MAAMqB,WADR,EAEGG,CAAD,IAAOJ,UAAQI,CAAR,CAFT;EATc,CAAX,CAAP;AAcD;AAED;;;;AAGA,OAAM,SAAUE,OAAV,CAAwBxB,IAAxB,EAAwCiB,CAAxC,EAA6D;EACjE,IAAIQ,eAAJ,EAAoB;IAClB,OAAOzB,IAAP;EACD;;EACD,MAAM0B,IAAI,GAAGT,CAAC,CAACjB,IAAI,CAACF,KAAN,CAAd;;EAEA,IAAI2B,eAAJ,EAAoB;IAClB,OAAOC,IAAP;EACD;;EACD,OAAOpB,qBAAoBA,iBAApB,GAAuCiB,UAAQG,IAAI,CAAC5B,KAAb,CAAvC,GAA8DoB,UAAQQ,IAAI,CAAC5B,KAAb,CAArE;AACD;AAED;;;;AAGA,OAAM,SAAU6B,QAAV,CAAyB3B,IAAzB,EAAyCsB,CAAzC,EAA+CL,CAA/C,EAAmE;EACvE,OAAOL,cAAW;IAChBpB,OAAO,EAAE,MAAM8B,CADC;IAEhB7B,OAAO,EAAE,MAAM6B,CAFC;IAGhB5B,OAAO,EAAGgB,CAAD,IAAOO,CAAC,CAACK,CAAD,EAAIZ,CAAJ,CAHD;IAIhBf,OAAO,EAAGe,CAAD,IAAOO,CAAC,CAACK,CAAD,EAAIZ,CAAJ;EAJD,CAAX,CAAP;AAMD;AAED;;;;AAGA,OAAM,SAAUkB,OAAV,CAAwB5B,IAAxB,EAAwCiB,CAAxC;AAAwD;AAAoBY,CAA5E,EAA0F;EAC9F,OAAOjB,cAAW;IAChBpB,OAAO,EAAE,MAAMqC,CAAC,CAACC,GADD;IAEhBrC,OAAO,EAAE,MAAMoC,CAAC,CAACC,GAFD;IAGhBpC,OAAO,EAAEuB,CAHO;IAIhBtB,OAAO,EAAEsB;EAJO,CAAX,CAAP;AAMD;AAED;;;;AAGA,OAAM,SAAUc,SAAV,CAA0B/B,IAA1B,EAA0CsB,CAA1C,EAAgDL,CAAhD,EAAoE;EACxE,OAAOL,cAAW;IAChBpB,OAAO,EAAE,MAAM8B,CADC;IAEhB7B,OAAO,EAAE,MAAM6B,CAFC;IAGhB5B,OAAO,EAAGgB,CAAD,IAAOO,CAAC,CAACP,CAAD,EAAIY,CAAJ,CAHD;IAIhB3B,OAAO,EAAGe,CAAD,IAAOO,CAAC,CAACP,CAAD,EAAIY,CAAJ;EAJD,CAAX,CAAP;AAMD;AAED;;;;AAGA,OAAM,SAAUU,SAAV,CAA0BhC,IAA1B,EAA0CsB,CAA1C,EAAoD;EACxD,OAAOV,cAAW;IAChBpB,OAAO,EAAE8B,CADO;IAEhB7B,OAAO,EAAE6B,CAFO;IAGhB5B,OAAO,0BAHS;IAIhBC,OAAO;EAJS,CAAX,CAAP;AAMD;AAED;;;;AAGA,iBACEK,IADF,EAEEiC,KAFF,EAOG;EAED,QAAQjC,IAAI,CAACG,IAAb;IACE;IAAA;IAAA;MACE,OAAO8B,KAAK,CAACzC,OAAN,EAAP;;IACF;IAAA;IAAA;MACE,OAAOyC,KAAK,CAACxC,OAAN,EAAP;;IACF;IAAA;IAAA;MACE,OAAOwC,KAAK,CAACvC,OAAN,CAAcM,IAAI,CAACF,KAAnB,CAAP;;IACF;IAAA;IAAA;MACE,OAAOmC,KAAK,CAACtC,OAAN,CAAcK,IAAI,CAACF,KAAnB,CAAP;EARJ;AAUD;AAED;;;;;AAGA,OAAM,SAAUoC,MAAV,CACJlC,IADI,EAEJmC,OAFI,EAGJC,OAHI,EAGoC;EAExC,QAAQpC,IAAI,CAACG,IAAb;IACE;IAAA;IAAA;MACE,OAAOgC,OAAO,CAAC,KAAD,CAAd;;IACF;IAAA;IAAA;MACE,OAAOA,OAAO,CAAC,IAAD,CAAd;;IACF;IAAA;IAAA;MACE,OAAOC,OAAO,CAACpC,IAAI,CAACF,KAAN,EAAa,IAAb,CAAd;;IACF;IAAA;IAAA;MACE,OAAOsC,OAAO,CAACpC,IAAI,CAACF,KAAN,EAAa,KAAb,CAAd;EARJ;AAUD;AAED;;;;AAGA,OAAM,SAAUuC,GAAV,CAAoBrC,IAApB,EAAoCiB,CAApC,EAAkD;EACtD,QAAQjB,IAAI,CAACG,IAAb;IACE;IAAA;IAAA;IACA;IAAA;IAAA;MACE,OAAOH,IAAP;;IACF;IAAA;IAAA;MACE,OAAOuB,UAAQN,CAAC,CAACjB,IAAI,CAACF,KAAN,CAAT,CAAP;;IACF;IAAA;IAAA;MACE,OAAOoB,UAAQD,CAAC,CAACjB,IAAI,CAACF,KAAN,CAAT,CAAP;EAPJ;AASD;AAED;;;;AAGA,OAAM,SAAUwC,MAAV,CAAuBtC,IAAvB,EAAuC0B,IAAvC,EAA2D;EAC/D,OAAOd,cAAW;IAChBpB,OAAO,EAAEkC,IADO;IAEhBjC,OAAO,EAAEiC,IAFO;IAGhBhC,OAAO,EAAE,MAAMM,IAHC;IAIhBL,OAAO,EAAE,MAAMK;EAJC,CAAX,CAAP;AAMD;AAOD,OAAM,SAAUuC,SAAV,CAAuBvC,IAAvB,EAAuCe,CAAvC,EAAsD;EAC1D,OAAO,CAACyB,eAAIC,uBAAQ1B,CAAR,CAAJ,CAAD,EAAwByB,eAAYzB,CAAZ,CAAxB,CAAP;AACD;AAED;;;;AAGA,OAAM,SAAU2B,YAAV,CAAgC1C,IAAhC,EAAgDiB,CAAhD,EAAyE;EAC7E,OAAOL,cAAW;IAChBpB,OAAO,EAAE,MAAM,CAAC2B,WAAD,EAAYA,WAAZ,CADC;IAEhB1B,OAAO,EAAE,MAAM,CAACkD,WAAD,EAAYA,WAAZ,CAFC;IAGhBjD,OAAO,EAAGgB,CAAD,IACPkC,wBAAC,CAAClC,CAAD,CAAD,EACGY,CAAD,IAAO,CAACC,UAAQD,CAAR,CAAD,EAAaH,WAAb,CADT,EAEG0B,CAAD,IAAO,CAAC1B,WAAD,EAAYI,UAAQsB,CAAR,CAAZ,CAFT,CAJc;IAQhBlD,OAAO,EAAGe,CAAD,IACPkC,wBAAC,CAAClC,CAAD,CAAD,EACGY,CAAD,IAAO,CAACJ,UAAQI,CAAR,CAAD,EAAaH,WAAb,CADT,EAEG0B,CAAD,IAAO,CAAC1B,WAAD,EAAYD,UAAQ2B,CAAR,CAAZ,CAFT;EATc,CAAX,CAAP;AAcD;AAED;;;;AAGA,OAAM,SAAUC,SAAV,CAAuB9C,IAAvB,EAAqC;EACzC,OAAOyB,kBAAiBzB,IAAjB,GAAwBuB,UAAQvB,IAAI,CAACF,KAAb,CAA/B;AACD;AAED;;;;AAGA,OAAM,SAAUiD,SAAV,CAAuB/C,IAAvB,EAAqC;EACzC,OAAOyB,kBAAiBzB,IAAjB,GAAwBkB,UAAQlB,IAAI,CAACF,KAAb,CAA/B;AACD;AAED;;;;AAGA,OAAO,MAAMkD,QAAQ,GAAuChD,IAAD,IAAWiD,CAAD,IAAQhC,CAAD,IAC1EL,cAAW;EACTpB,OAAO,EAAE,MAAMyD,CAAC,CAACC,IAAF,CAAO/B,WAAP,CADN;EAET1B,OAAO,EAAE,MAAMwD,CAAC,CAACC,IAAF,CAAOP,WAAP,CAFN;EAGTjD,OAAO,EAAGgB,CAAD,IAAOuC,CAAC,CAACZ,GAAF,CAAMpB,CAAC,CAACP,CAAD,CAAP,EAAaY,CAAD,IAAOC,UAAQD,CAAR,CAAnB,CAHP;EAIT3B,OAAO,EAAGe,CAAD,IAAOuC,CAAC,CAACZ,GAAF,CAAMpB,CAAC,CAACP,CAAD,CAAP,EAAaY,CAAD,IAAOJ,UAAQI,CAAR,CAAnB;AAJP,CAAX,CADK;AAQP;;;;AAGA,OAAM,SAAU6B,GAAV,CAAoBnD,IAApB,EAAoC0B,IAApC,EAAkD;EACtD,OAAO0B,gBAAa1B,IAAb,EAAmB,CAAChB,CAAD,EAAIY,CAAJ,KAAU+B,qBAAO3C,CAAP,EAAUY,CAAV,CAA7B,CAAP;AACD;AAED;;;;AAGA,mBAAiCtB,IAAjC,EAAiD0B,IAAjD,EAAiET,CAAjE,EAAqF;EACnF,IAAIQ,eAAJ,EAAoB;IAClB,OAAOzB,IAAP;EACD;;EACD,IAAIyB,eAAJ,EAAoB;IAClB,OAAOC,IAAP;EACD;;EACD,MAAMmB,CAAC,GAAG5B,CAAC,CAACjB,IAAI,CAACF,KAAN,EAAa4B,IAAI,CAAC5B,KAAlB,CAAX;EACA,OAAOQ,qBAAoBA,iBAApB,GAAuCiB,UAAQsB,CAAR,CAAvC,GAAoD3B,UAAQ2B,CAAR,CAA3D;AACD","names":["initial","pending","refresh","replete","isInitial","isPending","isRefresh","isReplete","isEmpty","isNonEmpty","filter","match","zipWith","Initial","Pending","Refresh","Replete","_Initial","_Pending","value","left","self","isNonEmpty_1","undefined","_tag","isInitial_1","isPending_1","isRefresh_1","isReplete_1","isLoading","elem","a","E","match_1","equals","exists","p","extend","f","replete_1","initial_1","filterMap","tsplus_module_2","b","refresh_1","flatMap","isEmpty_1","that","foldLeft","foldMap","M","nat","foldRight","getOrElse","cases","match2","onEmpty","onValue","map","orElse","partition","filter_1","tsplus_module_3","partitionMap","pending_1","tsplus_module_4","c","toPending","toReplete","traverse","A","pure","zip","zipWith_1","tsplus_module_5"],"sourceRoot":"","sources":["../../../_src/data/Datum/api.ts"],"sourcesContent":[null]}
|
|
@@ -0,0 +1,112 @@
|
|
|
1
|
+
import * as tsplus_module_1 from "@fncts/base/typeclass/Hashable/hash";
|
|
2
|
+
import * as tsplus_module_2 from "@fncts/base/typeclass/Hashable/definition";
|
|
3
|
+
import * as tsplus_module_3 from "@fncts/base/typeclass/Equatable/definition";
|
|
4
|
+
import * as tsplus_module_4 from "@fncts/base/typeclass/Equatable/api";
|
|
5
|
+
import * as tsplus_module_5 from "@fncts/base/util/predicates";
|
|
6
|
+
export const isDatum = isDatum_1;
|
|
7
|
+
export const DatumTypeId = /*#__PURE__*/Symbol.for("fncts.Datum");
|
|
8
|
+
export const Datum = {};
|
|
9
|
+
const datumHash = /*#__PURE__*/tsplus_module_1.hashString("fncts.Datum");
|
|
10
|
+
const initialHash = /*#__PURE__*/tsplus_module_1.combineHash(datumHash, /*#__PURE__*/tsplus_module_1.hashString("Initial"
|
|
11
|
+
/* DatumTag.Initial */
|
|
12
|
+
));
|
|
13
|
+
/**
|
|
14
|
+
* @tsplus type fncts.Datum.Initial
|
|
15
|
+
* @tsplus companion fncts.Datum.InitialOps
|
|
16
|
+
*/
|
|
17
|
+
|
|
18
|
+
export class Initial {
|
|
19
|
+
constructor() {
|
|
20
|
+
this._tag = "Initial"
|
|
21
|
+
/* DatumTag.Initial */
|
|
22
|
+
;
|
|
23
|
+
}
|
|
24
|
+
|
|
25
|
+
get [tsplus_module_2.hashSymbol]() {
|
|
26
|
+
return initialHash;
|
|
27
|
+
}
|
|
28
|
+
|
|
29
|
+
[tsplus_module_3.equalsSymbol](that) {
|
|
30
|
+
return isDatum_1(that) && that._tag === this._tag;
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
}
|
|
34
|
+
const pendingHash = /*#__PURE__*/tsplus_module_1.combineHash(datumHash, /*#__PURE__*/tsplus_module_1.hashString("Pending"
|
|
35
|
+
/* DatumTag.Pending */
|
|
36
|
+
));
|
|
37
|
+
/**
|
|
38
|
+
* @tsplus type fncts.Datum.Pending
|
|
39
|
+
* @tsplus companion fncts.Datum.PendingOps
|
|
40
|
+
*/
|
|
41
|
+
|
|
42
|
+
export class Pending {
|
|
43
|
+
constructor() {
|
|
44
|
+
this._typeId = DatumTypeId;
|
|
45
|
+
this._tag = "Pending"
|
|
46
|
+
/* DatumTag.Pending */
|
|
47
|
+
;
|
|
48
|
+
}
|
|
49
|
+
|
|
50
|
+
get [tsplus_module_2.hashSymbol]() {
|
|
51
|
+
return pendingHash;
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
[tsplus_module_3.equalsSymbol](that) {
|
|
55
|
+
return isDatum_1(that) && that._tag === this._tag;
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
}
|
|
59
|
+
/**
|
|
60
|
+
* @tsplus type fncts.Datum.Refresh
|
|
61
|
+
* @tsplus companion fncts.Datum.RefreshOps
|
|
62
|
+
*/
|
|
63
|
+
|
|
64
|
+
export class Refresh {
|
|
65
|
+
constructor(value) {
|
|
66
|
+
this.value = value;
|
|
67
|
+
this._typeId = DatumTypeId;
|
|
68
|
+
this._tag = "Refresh"
|
|
69
|
+
/* DatumTag.Refresh */
|
|
70
|
+
;
|
|
71
|
+
}
|
|
72
|
+
|
|
73
|
+
get [tsplus_module_2.hashSymbol]() {
|
|
74
|
+
return tsplus_module_1.combineHash(tsplus_module_1.combineHash(datumHash, tsplus_module_1.hashString(this._tag)), tsplus_module_1.hashUnknown(this.value));
|
|
75
|
+
}
|
|
76
|
+
|
|
77
|
+
[tsplus_module_3.equalsSymbol](that) {
|
|
78
|
+
return isDatum_1(that) && this._tag === that._tag && tsplus_module_4.strictEquals(this.value, that.value);
|
|
79
|
+
}
|
|
80
|
+
|
|
81
|
+
}
|
|
82
|
+
/**
|
|
83
|
+
* @tsplus type fncts.Datum.Replete
|
|
84
|
+
* @tsplus companion fncts.Datum.RepleteOps
|
|
85
|
+
*/
|
|
86
|
+
|
|
87
|
+
export class Replete {
|
|
88
|
+
constructor(value) {
|
|
89
|
+
this.value = value;
|
|
90
|
+
this._typeId = DatumTypeId;
|
|
91
|
+
this._tag = "Replete"
|
|
92
|
+
/* DatumTag.Replete */
|
|
93
|
+
;
|
|
94
|
+
}
|
|
95
|
+
|
|
96
|
+
get [tsplus_module_2.hashSymbol]() {
|
|
97
|
+
return tsplus_module_1.combineHash(tsplus_module_1.combineHash(datumHash, tsplus_module_1.hashString(this._tag)), tsplus_module_1.hashUnknown(this.value));
|
|
98
|
+
}
|
|
99
|
+
|
|
100
|
+
[tsplus_module_3.equalsSymbol](that) {
|
|
101
|
+
return isDatum_1(that) && this._tag === that._tag && tsplus_module_4.strictEquals(this.value, that.value);
|
|
102
|
+
}
|
|
103
|
+
|
|
104
|
+
}
|
|
105
|
+
/**
|
|
106
|
+
* @tsplus static fncts.DatumOps is
|
|
107
|
+
*/
|
|
108
|
+
|
|
109
|
+
function isDatum_1(u) {
|
|
110
|
+
return tsplus_module_5.hasTypeId(u, DatumTypeId);
|
|
111
|
+
}
|
|
112
|
+
//# sourceMappingURL=definition.mjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"definition.mjs","mappings":";;;;;aAmGgBA,OAAO;AA5FvB,OAAO,MAAMC,WAAW,gBAAGC,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;AAoBP,OAAO,MAAMC,KAAK,GAAa,EAAxB;AAEP,MAAMC,SAAS,gBAAGC,2BAAgB,aAAhB,CAAlB;AAEA,MAAMC,WAAW,gBAAGD,4BAAiBD,SAAjB,eAA4BC;AAAA;AAAA,CAA5B,CAApB;AAEA;;;;;AAIA,OAAM,MAAOE,OAAP,CAAc;EAApBC;IACW,YAAI;IAAA;IAAJ;EAOV;;EANK,mCAAa;IACf,OAAOF,WAAP;EACD;;EACD,+BAAgBG,IAAhB,EAA6B;IAC3B,OAAOC,UAAQD,IAAR,KAAiBA,IAAI,CAACE,IAAL,KAAc,KAAKA,IAA3C;EACD;;AAPiB;AAUpB,MAAMC,WAAW,gBAAGP,4BAAiBD,SAAjB,eAA4BC;AAAA;AAAA,CAA5B,CAApB;AAEA;;;;;AAIA,OAAM,MAAOQ,OAAP,CAAc;EAApBL;IACW,eAAuBR,WAAvB;IACA,YAAI;IAAA;IAAJ;EAOV;;EANK,mCAAa;IACf,OAAOY,WAAP;EACD;;EACD,+BAAgBH,IAAhB,EAA6B;IAC3B,OAAOC,UAAQD,IAAR,KAAiBA,IAAI,CAACE,IAAL,KAAc,KAAKA,IAA3C;EACD;;AARiB;AAWpB;;;;;AAIA,OAAM,MAAOG,OAAP,CAAc;EAGlBN,YAAqBO,KAArB,EAA6B;IAAR;IAFZ,eAAuBf,WAAvB;IACA,YAAI;IAAA;IAAJ;EACwB;;EAC7B,mCAAa;IACf,OAAOK,4BAAiBA,4BAAiBD,SAAjB,EAA4BC,2BAAgB,KAAKM,IAArB,CAA5B,CAAjB,EAA0EN,4BAAiB,KAAKU,KAAtB,CAA1E,CAAP;EACD;;EACD,+BAAgBN,IAAhB,EAA6B;IAC3B,OAAOC,UAAQD,IAAR,KAAiB,KAAKE,IAAL,KAAcF,IAAI,CAACE,IAApC,IAA4CK,6BAAuB,KAAKD,KAA5B,EAAmCN,IAAI,CAACM,KAAxC,CAAnD;EACD;;AATiB;AAYpB;;;;;AAIA,OAAM,MAAOE,OAAP,CAAc;EAGlBT,YAAqBO,KAArB,EAA6B;IAAR;IAFZ,eAAuBf,WAAvB;IACA,YAAI;IAAA;IAAJ;EACwB;;EAC7B,mCAAa;IACf,OAAOK,4BAAiBA,4BAAiBD,SAAjB,EAA4BC,2BAAgB,KAAKM,IAArB,CAA5B,CAAjB,EAA0EN,4BAAiB,KAAKU,KAAtB,CAA1E,CAAP;EACD;;EACD,+BAAgBN,IAAhB,EAA6B;IAC3B,OAAOC,UAAQD,IAAR,KAAiB,KAAKE,IAAL,KAAcF,IAAI,CAACE,IAApC,IAA4CK,6BAAuB,KAAKD,KAA5B,EAAmCN,IAAI,CAACM,KAAxC,CAAnD;EACD;;AATiB;AAYpB;;;;AAGA,mBAAwBG,CAAxB,EAAkC;EAChC,OAAOC,0BAAUD,CAAV,EAAalB,WAAb,CAAP;AACD","names":["isDatum","DatumTypeId","Symbol","for","Datum","datumHash","tsplus_module_1","initialHash","Initial","constructor","that","isDatum_1","_tag","pendingHash","Pending","Refresh","value","tsplus_module_4","Replete","u","tsplus_module_5"],"sourceRoot":"","sources":["../../../_src/data/Datum/definition.ts"],"sourcesContent":[null]}
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
import * as tsplus_module_1 from "@fncts/typelevel/HKT";
|
|
2
|
+
import { flatMap, map, replete, zip, zipWith } from "@fncts/base/data/Datum/api";
|
|
3
|
+
/**
|
|
4
|
+
* @tsplus static fncts.DatumOps Functor
|
|
5
|
+
* @tsplus implicit
|
|
6
|
+
*/
|
|
7
|
+
|
|
8
|
+
export const Functor = {
|
|
9
|
+
map
|
|
10
|
+
};
|
|
11
|
+
/**
|
|
12
|
+
* @tsplus static fncts.DatumOps Semimonoidal
|
|
13
|
+
* @tsplus implicit
|
|
14
|
+
*/
|
|
15
|
+
|
|
16
|
+
export const Semimonoidal = {
|
|
17
|
+
zip
|
|
18
|
+
};
|
|
19
|
+
/**
|
|
20
|
+
* @tsplus static fncts.DatumOps Apply
|
|
21
|
+
* @tsplus implicit
|
|
22
|
+
*/
|
|
23
|
+
|
|
24
|
+
export const Apply = {
|
|
25
|
+
map,
|
|
26
|
+
zip,
|
|
27
|
+
zipWith
|
|
28
|
+
};
|
|
29
|
+
/**
|
|
30
|
+
* @tsplus static fncts.DatumOps Applicative
|
|
31
|
+
* @tsplus implicit
|
|
32
|
+
*/
|
|
33
|
+
|
|
34
|
+
export const Applicative = {
|
|
35
|
+
map,
|
|
36
|
+
zip,
|
|
37
|
+
zipWith,
|
|
38
|
+
pure: replete
|
|
39
|
+
};
|
|
40
|
+
/**
|
|
41
|
+
* @tsplus static fncts.DatumOps Monad
|
|
42
|
+
* @tsplus implicit
|
|
43
|
+
*/
|
|
44
|
+
|
|
45
|
+
export const Monad = {
|
|
46
|
+
map,
|
|
47
|
+
zip,
|
|
48
|
+
zipWith,
|
|
49
|
+
pure: replete,
|
|
50
|
+
flatMap
|
|
51
|
+
};
|
|
52
|
+
//# sourceMappingURL=instances.mjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"instances.mjs","mappings":";AAGA,SAASA,OAAT,EAAkBC,GAAlB,EAAuBC,OAAvB,EAAgCC,GAAhC,EAAqCC,OAArC,QAAoD,4BAApD;AAEA;;;;;AAIA,OAAO,MAAMC,OAAO,GAAmC;EAAEJ;AAAF,CAAhD;AAEP;;;;;AAIA,OAAO,MAAMK,YAAY,GAAwC;EAAEH;AAAF,CAA1D;AAEP;;;;;AAIA,OAAO,MAAMI,KAAK,GAAiC;EAAEN,GAAF;EAAOE,GAAP;EAAYC;AAAZ,CAA5C;AAEP;;;;;AAIA,OAAO,MAAMI,WAAW,GAAuC;EAAEP,GAAF;EAAOE,GAAP;EAAYC,OAAZ;EAAqBK,IAAI,EAAEP;AAA3B,CAAxD;AAEP;;;;;AAIA,OAAO,MAAMQ,KAAK,GAAiC;EAAET,GAAF;EAAOE,GAAP;EAAYC,OAAZ;EAAqBK,IAAI,EAAEP,OAA3B;EAAoCF;AAApC,CAA5C","names":["flatMap","map","replete","zip","zipWith","Functor","Semimonoidal","Apply","Applicative","pure","Monad"],"sourceRoot":"","sources":["../../../_src/data/Datum/instances.ts"],"sourcesContent":[null]}
|