@fncts/base 0.0.40 → 0.0.41
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/AsyncIterable/api.cjs +384 -0
- package/_cjs/collection/AsyncIterable/api.cjs.map +1 -0
- package/_cjs/collection/AsyncIterable/definition.cjs +2 -0
- package/_cjs/collection/AsyncIterable/definition.cjs.map +1 -0
- package/_cjs/collection/{compat/Array.cjs → AsyncIterable.cjs} +3 -3
- package/_cjs/collection/AsyncIterable.cjs.map +1 -0
- package/_cjs/collection/Iterable/api/traverseConc.cjs +1 -2
- package/_cjs/collection/Iterable/api/traverseConc.cjs.map +1 -1
- package/_cjs/collection/Iterable/api.cjs +180 -137
- package/_cjs/collection/Iterable/api.cjs.map +1 -1
- package/_cjs/collection/Iterable/constructors.cjs.map +1 -1
- package/_cjs/collection/compat/ArrayLike/api.cjs +1 -2
- package/_cjs/collection/compat/ArrayLike/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Conc/api/makeBy.cjs +1 -2
- package/_cjs/collection/immutable/Conc/api/makeBy.cjs.map +1 -1
- package/_cjs/collection/immutable/Conc/api/replicate.cjs +1 -2
- package/_cjs/collection/immutable/Conc/api/replicate.cjs.map +1 -1
- package/_cjs/collection/immutable/Conc/api.cjs +1 -2
- package/_cjs/collection/immutable/Conc/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Conc/constructors.cjs +3 -4
- package/_cjs/collection/immutable/Conc/constructors.cjs.map +1 -1
- package/_cjs/collection/immutable/Conc/definition.cjs +3 -3
- package/_cjs/collection/immutable/Conc/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/Dictionary/api.cjs +1 -2
- package/_cjs/collection/immutable/Dictionary/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Dictionary/definition.cjs +1 -2
- package/_cjs/collection/immutable/Dictionary/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/HashMap/api.cjs +1 -2
- package/_cjs/collection/immutable/HashMap/api.cjs.map +1 -1
- package/_cjs/collection/immutable/HashMap/definition.cjs +1 -2
- package/_cjs/collection/immutable/HashMap/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/HashMap/internal.cjs +1 -2
- package/_cjs/collection/immutable/HashMap/internal.cjs.map +1 -1
- package/_cjs/collection/immutable/HashSet/api.cjs +1 -2
- package/_cjs/collection/immutable/HashSet/api.cjs.map +1 -1
- package/_cjs/collection/immutable/HashSet/definition.cjs +1 -2
- package/_cjs/collection/immutable/HashSet/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/List/api/foldLeft.cjs +1 -2
- package/_cjs/collection/immutable/List/api/foldLeft.cjs.map +1 -1
- package/_cjs/collection/immutable/List/api/unsafeTail.cjs +1 -2
- package/_cjs/collection/immutable/List/api/unsafeTail.cjs.map +1 -1
- package/_cjs/collection/immutable/List/api.cjs +3 -4
- package/_cjs/collection/immutable/List/api.cjs.map +1 -1
- package/_cjs/collection/immutable/List/constructors.cjs +1 -2
- package/_cjs/collection/immutable/List/constructors.cjs.map +1 -1
- package/_cjs/collection/immutable/List/definition.cjs +1 -2
- package/_cjs/collection/immutable/List/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/Queue/api.cjs +1 -2
- package/_cjs/collection/immutable/Queue/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Queue/constructors.cjs +1 -2
- package/_cjs/collection/immutable/Queue/constructors.cjs.map +1 -1
- package/_cjs/collection/immutable/Queue/definition.cjs +1 -2
- package/_cjs/collection/immutable/Queue/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/Queue/guards.cjs +1 -2
- package/_cjs/collection/immutable/Queue/guards.cjs.map +1 -1
- package/_cjs/collection/immutable/ReadonlyArray/api/chunksOf.cjs +18 -0
- package/_cjs/collection/immutable/ReadonlyArray/api/chunksOf.cjs.map +1 -0
- package/_cjs/collection/immutable/ReadonlyArray/api/splitAt.cjs +15 -0
- package/_cjs/collection/immutable/ReadonlyArray/api/splitAt.cjs.map +1 -0
- package/_cjs/collection/immutable/ReadonlyArray/api/splitWhere.cjs +26 -0
- package/_cjs/collection/immutable/ReadonlyArray/api/splitWhere.cjs.map +1 -0
- package/_cjs/collection/immutable/{ImmutableArray → ReadonlyArray}/api.cjs +562 -538
- package/_cjs/collection/immutable/ReadonlyArray/api.cjs.map +1 -0
- package/_cjs/collection/immutable/ReadonlyArray/constructors.cjs +55 -0
- package/_cjs/collection/immutable/ReadonlyArray/constructors.cjs.map +1 -0
- package/_cjs/collection/immutable/ReadonlyArray/definition.cjs.map +1 -0
- package/_cjs/collection/immutable/{ImmutableArray → ReadonlyArray}/instances.cjs +5 -7
- package/_cjs/collection/immutable/ReadonlyArray/instances.cjs.map +1 -0
- package/_cjs/collection/immutable/{ImmutableArray.cjs → ReadonlyArray.cjs} +8 -19
- package/_cjs/collection/immutable/ReadonlyArray.cjs.map +1 -0
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/api.cjs +472 -0
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/api.cjs.map +1 -0
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/constructors.cjs +79 -0
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/constructors.cjs.map +1 -0
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/definition.cjs +2 -0
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/definition.cjs.map +1 -0
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/destructors.cjs +49 -0
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/destructors.cjs.map +1 -0
- package/_cjs/collection/immutable/{ImmutableNonEmptyArray → ReadonlyNonEmptyArray}/instances.cjs +3 -4
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray/instances.cjs.map +1 -0
- package/_cjs/collection/immutable/{ImmutableNonEmptyArray.cjs → ReadonlyNonEmptyArray.cjs} +6 -6
- package/_cjs/collection/immutable/ReadonlyNonEmptyArray.cjs.map +1 -0
- package/_cjs/collection/immutable/RoseTree/api.cjs +1 -2
- package/_cjs/collection/immutable/RoseTree/api.cjs.map +1 -1
- package/_cjs/collection/immutable/RoseTree/definition.cjs +1 -2
- package/_cjs/collection/immutable/RoseTree/definition.cjs.map +1 -1
- package/_cjs/collection/immutable/SortedMap/api.cjs +1 -2
- package/_cjs/collection/immutable/SortedMap/api.cjs.map +1 -1
- package/_cjs/collection/immutable/SortedMap/iterator.cjs +1 -2
- package/_cjs/collection/immutable/SortedMap/iterator.cjs.map +1 -1
- package/_cjs/collection/immutable/Vector/api.cjs +229 -230
- package/_cjs/collection/immutable/Vector/api.cjs.map +1 -1
- package/_cjs/collection/immutable/Vector/definition.cjs +1 -2
- package/_cjs/collection/immutable/Vector/definition.cjs.map +1 -1
- package/_cjs/collection/mutable/ArrayDeque.cjs +1 -2
- package/_cjs/collection/mutable/ArrayDeque.cjs.map +1 -1
- package/_cjs/collection/mutable/HashMap.cjs +1 -2
- package/_cjs/collection/mutable/HashMap.cjs.map +1 -1
- package/_cjs/collection/mutable/HashSet.cjs +1 -2
- package/_cjs/collection/mutable/HashSet.cjs.map +1 -1
- package/_cjs/collection/mutable/ListBuffer.cjs +1 -2
- package/_cjs/collection/mutable/ListBuffer.cjs.map +1 -1
- package/_cjs/collection/weak/IterableWeakMap.cjs +1 -2
- package/_cjs/collection/weak/IterableWeakMap.cjs.map +1 -1
- package/_cjs/control/Eval/api.cjs +89 -41
- package/_cjs/control/Eval/api.cjs.map +1 -1
- package/_cjs/control/Eval/constructors.cjs +5 -1
- package/_cjs/control/Eval/constructors.cjs.map +1 -1
- package/_cjs/control/Eval/instance.cjs +1 -2
- package/_cjs/control/Eval/instance.cjs.map +1 -1
- package/_cjs/control/Eval/run.cjs +1 -2
- package/_cjs/control/Eval/run.cjs.map +1 -1
- package/_cjs/control/Pure/api.cjs +1 -2
- package/_cjs/control/Pure/api.cjs.map +1 -1
- package/_cjs/control/Pure/definition.cjs +1 -2
- package/_cjs/control/Pure/definition.cjs.map +1 -1
- package/_cjs/control/Pure/instances.cjs +1 -2
- package/_cjs/control/Pure/instances.cjs.map +1 -1
- package/_cjs/control/Pure/runtime.cjs +15 -10
- package/_cjs/control/Pure/runtime.cjs.map +1 -1
- package/_cjs/data/CaseClass.cjs +11 -14
- package/_cjs/data/CaseClass.cjs.map +1 -1
- package/_cjs/data/Cause/api/fold.cjs +33 -34
- package/_cjs/data/Cause/api/fold.cjs.map +1 -1
- package/_cjs/data/Cause/api/isEmpty.cjs +1 -2
- package/_cjs/data/Cause/api/isEmpty.cjs.map +1 -1
- package/_cjs/data/Cause/api/linearize.cjs +1 -2
- package/_cjs/data/Cause/api/linearize.cjs.map +1 -1
- package/_cjs/data/Cause/api/prettyPrint.cjs +1 -2
- package/_cjs/data/Cause/api/prettyPrint.cjs.map +1 -1
- package/_cjs/data/Cause/api/unified.cjs +1 -2
- package/_cjs/data/Cause/api/unified.cjs.map +1 -1
- package/_cjs/data/Cause/api.cjs +1 -2
- package/_cjs/data/Cause/api.cjs.map +1 -1
- package/_cjs/data/Cause/definition.cjs +1 -2
- package/_cjs/data/Cause/definition.cjs.map +1 -1
- package/_cjs/data/Const/api.cjs +7 -7
- package/_cjs/data/Const/api.cjs.map +1 -1
- package/_cjs/data/Const/instances.cjs +12 -13
- package/_cjs/data/Const/instances.cjs.map +1 -1
- package/_cjs/data/Data.cjs +1 -2
- package/_cjs/data/Data.cjs.map +1 -1
- package/_cjs/data/Datum/api.cjs +110 -113
- package/_cjs/data/Datum/api.cjs.map +1 -1
- package/_cjs/data/Datum/definition.cjs +1 -2
- package/_cjs/data/Datum/definition.cjs.map +1 -1
- package/_cjs/data/Datum/instances.cjs +1 -2
- package/_cjs/data/Datum/instances.cjs.map +1 -1
- package/_cjs/data/Datum.cjs +39 -0
- package/_cjs/data/Datum.cjs.map +1 -0
- package/_cjs/data/DatumEither/api.cjs +56 -57
- package/_cjs/data/DatumEither/api.cjs.map +1 -1
- package/_cjs/data/Duration/api.cjs +1 -2
- package/_cjs/data/Duration/api.cjs.map +1 -1
- package/_cjs/data/Duration/definition.cjs +1 -2
- package/_cjs/data/Duration/definition.cjs.map +1 -1
- package/_cjs/data/Either/api/align.cjs +1 -2
- package/_cjs/data/Either/api/align.cjs.map +1 -1
- package/_cjs/data/Either/api/alignWith.cjs +1 -2
- package/_cjs/data/Either/api/alignWith.cjs.map +1 -1
- package/_cjs/data/Either/api.cjs +53 -55
- package/_cjs/data/Either/api.cjs.map +1 -1
- package/_cjs/data/Either/constructors.cjs +21 -22
- package/_cjs/data/Either/constructors.cjs.map +1 -1
- package/_cjs/data/Either/definition.cjs +1 -2
- package/_cjs/data/Either/definition.cjs.map +1 -1
- package/_cjs/data/Either/instances.cjs +1 -2
- package/_cjs/data/Either/instances.cjs.map +1 -1
- package/_cjs/data/EitherT/api.cjs +28 -29
- package/_cjs/data/EitherT/api.cjs.map +1 -1
- package/_cjs/data/Environment/api.cjs +1 -2
- package/_cjs/data/Environment/api.cjs.map +1 -1
- package/_cjs/data/Environment/definition.cjs +1 -2
- package/_cjs/data/Environment/definition.cjs.map +1 -1
- package/_cjs/data/EnvironmentPatch.cjs +2 -3
- package/_cjs/data/EnvironmentPatch.cjs.map +1 -1
- package/_cjs/data/Eq/api.cjs +189 -5
- package/_cjs/data/Eq/api.cjs.map +1 -1
- package/_cjs/data/Eq/derivations.cjs +10 -21
- package/_cjs/data/Eq/derivations.cjs.map +1 -1
- package/_cjs/data/Equatable/api.cjs +1 -2
- package/_cjs/data/Equatable/api.cjs.map +1 -1
- package/_cjs/data/Equatable/definition.cjs +1 -2
- package/_cjs/data/Equatable/definition.cjs.map +1 -1
- package/_cjs/data/Exit/api.cjs +90 -80
- package/_cjs/data/Exit/api.cjs.map +1 -1
- package/_cjs/data/Exit/constructors.cjs +1 -2
- package/_cjs/data/Exit/constructors.cjs.map +1 -1
- package/_cjs/data/Exit/definition.cjs +1 -2
- package/_cjs/data/Exit/definition.cjs.map +1 -1
- package/_cjs/data/FiberId/api.cjs +1 -2
- package/_cjs/data/FiberId/api.cjs.map +1 -1
- package/_cjs/data/FiberId/definition.cjs +1 -2
- package/_cjs/data/FiberId/definition.cjs.map +1 -1
- package/_cjs/data/Guard/api.cjs +13 -17
- package/_cjs/data/Guard/api.cjs.map +1 -1
- package/_cjs/data/HashEq.cjs +1 -2
- package/_cjs/data/HashEq.cjs.map +1 -1
- package/_cjs/data/Hashable/definition.cjs +1 -2
- package/_cjs/data/Hashable/definition.cjs.map +1 -1
- package/_cjs/data/Hashable/hash.cjs +1 -2
- package/_cjs/data/Hashable/hash.cjs.map +1 -1
- package/_cjs/data/Identity/api.cjs +1 -2
- package/_cjs/data/Identity/api.cjs.map +1 -1
- package/_cjs/data/Identity/definition.cjs +1 -2
- package/_cjs/data/Identity/definition.cjs.map +1 -1
- package/_cjs/data/Identity/instances.cjs +1 -2
- package/_cjs/data/Identity/instances.cjs.map +1 -1
- package/_cjs/data/Interval.cjs +1 -2
- package/_cjs/data/Interval.cjs.map +1 -1
- package/_cjs/data/Intervals.cjs +1 -2
- package/_cjs/data/Intervals.cjs.map +1 -1
- package/_cjs/data/Maybe/api.cjs +73 -60
- package/_cjs/data/Maybe/api.cjs.map +1 -1
- package/_cjs/data/Maybe/constructors.cjs +37 -38
- package/_cjs/data/Maybe/constructors.cjs.map +1 -1
- package/_cjs/data/Maybe/definition.cjs +1 -2
- package/_cjs/data/Maybe/definition.cjs.map +1 -1
- package/_cjs/data/Maybe/instances.cjs +1 -2
- package/_cjs/data/Maybe/instances.cjs.map +1 -1
- package/_cjs/data/Newtype.cjs +1 -2
- package/_cjs/data/Newtype.cjs.map +1 -1
- package/_cjs/data/Ord/api.cjs +1 -2
- package/_cjs/data/Ord/api.cjs.map +1 -1
- package/_cjs/data/Ord/definition.cjs +1 -2
- package/_cjs/data/Ord/definition.cjs.map +1 -1
- package/_cjs/data/Ord/instances.cjs +1 -2
- package/_cjs/data/Ord/instances.cjs.map +1 -1
- package/_cjs/data/Showable/definition.cjs +1 -2
- package/_cjs/data/Showable/definition.cjs.map +1 -1
- package/_cjs/data/Showable/show.cjs +1 -2
- package/_cjs/data/Showable/show.cjs.map +1 -1
- package/_cjs/data/Showable/styles.cjs +1 -2
- package/_cjs/data/Showable/styles.cjs.map +1 -1
- package/_cjs/data/Showable/util.cjs +1 -2
- package/_cjs/data/Showable/util.cjs.map +1 -1
- package/_cjs/data/Struct/api.cjs +5 -7
- package/_cjs/data/Struct/api.cjs.map +1 -1
- package/_cjs/data/Struct/definition.cjs +1 -2
- package/_cjs/data/Struct/definition.cjs.map +1 -1
- package/_cjs/data/Tag/constructors.cjs +1 -2
- package/_cjs/data/Tag/constructors.cjs.map +1 -1
- package/_cjs/data/Tag/definition.cjs +1 -2
- package/_cjs/data/Tag/definition.cjs.map +1 -1
- package/_cjs/data/These/api.cjs +86 -87
- package/_cjs/data/These/api.cjs.map +1 -1
- package/_cjs/data/These/constructors.cjs +1 -2
- package/_cjs/data/These/constructors.cjs.map +1 -1
- package/_cjs/data/These/definition.cjs +1 -2
- package/_cjs/data/These/definition.cjs.map +1 -1
- package/_cjs/data/These/destructors.cjs +1 -2
- package/_cjs/data/These/destructors.cjs.map +1 -1
- package/_cjs/data/These/instances.cjs +1 -2
- package/_cjs/data/These/instances.cjs.map +1 -1
- package/_cjs/data/Trace/api.cjs +1 -2
- package/_cjs/data/Trace/api.cjs.map +1 -1
- package/_cjs/data/Trace/constructors.cjs +1 -2
- package/_cjs/data/Trace/constructors.cjs.map +1 -1
- package/_cjs/data/Zipped.cjs +1 -2
- package/_cjs/data/Zipped.cjs.map +1 -1
- package/_cjs/data/bigint/instances.cjs +1 -2
- package/_cjs/data/bigint/instances.cjs.map +1 -1
- package/_cjs/data/boolean/instances.cjs +1 -2
- package/_cjs/data/boolean/instances.cjs.map +1 -1
- package/_cjs/data/exceptions/IOError.cjs +1 -2
- package/_cjs/data/exceptions/IOError.cjs.map +1 -1
- package/_cjs/data/exceptions/InterruptedException.cjs +1 -2
- package/_cjs/data/exceptions/InterruptedException.cjs.map +1 -1
- package/_cjs/data/number/instances.cjs +1 -2
- package/_cjs/data/number/instances.cjs.map +1 -1
- package/_cjs/data/object/instances.cjs +1 -2
- package/_cjs/data/object/instances.cjs.map +1 -1
- package/_cjs/data/string/api.cjs +1 -2
- package/_cjs/data/string/api.cjs.map +1 -1
- package/_cjs/data/string/instances.cjs +1 -2
- package/_cjs/data/string/instances.cjs.map +1 -1
- package/_cjs/internal/Stack.cjs +7 -2
- package/_cjs/internal/Stack.cjs.map +1 -1
- package/_cjs/optics/At/api.cjs +1 -2
- package/_cjs/optics/At/api.cjs.map +1 -1
- package/_cjs/optics/At/definition.cjs +1 -2
- package/_cjs/optics/At/definition.cjs.map +1 -1
- package/_cjs/optics/Index/api.cjs +3 -4
- package/_cjs/optics/Index/api.cjs.map +1 -1
- package/_cjs/optics/Iso/api.cjs +1 -2
- package/_cjs/optics/Iso/api.cjs.map +1 -1
- package/_cjs/optics/Iso/definition.cjs +1 -2
- package/_cjs/optics/Iso/definition.cjs.map +1 -1
- package/_cjs/optics/Lens/api.cjs +2 -3
- package/_cjs/optics/Lens/api.cjs.map +1 -1
- package/_cjs/optics/Lens/definition.cjs +1 -2
- package/_cjs/optics/Lens/definition.cjs.map +1 -1
- package/_cjs/optics/Optional/api/compose.cjs +1 -2
- package/_cjs/optics/Optional/api/compose.cjs.map +1 -1
- package/_cjs/optics/Optional/api/focus.cjs +1 -2
- package/_cjs/optics/Optional/api/focus.cjs.map +1 -1
- package/_cjs/optics/Optional/api.cjs +1 -2
- package/_cjs/optics/Optional/api.cjs.map +1 -1
- package/_cjs/optics/Optional/definition.cjs +1 -2
- package/_cjs/optics/Optional/definition.cjs.map +1 -1
- package/_cjs/optics/Prism/api/compose.cjs +1 -2
- package/_cjs/optics/Prism/api/compose.cjs.map +1 -1
- package/_cjs/optics/Prism/api/focus.cjs +1 -2
- package/_cjs/optics/Prism/api/focus.cjs.map +1 -1
- package/_cjs/optics/Prism/api/fromNullable.cjs +1 -2
- package/_cjs/optics/Prism/api/fromNullable.cjs.map +1 -1
- package/_cjs/optics/Prism/api/just.cjs +1 -2
- package/_cjs/optics/Prism/api/just.cjs.map +1 -1
- package/_cjs/optics/Prism/definition.cjs +1 -2
- package/_cjs/optics/Prism/definition.cjs.map +1 -1
- package/_cjs/optics/Traversal/api/compose.cjs +1 -2
- package/_cjs/optics/Traversal/api/compose.cjs.map +1 -1
- package/_cjs/optics/Traversal/api/focus.cjs +1 -2
- package/_cjs/optics/Traversal/api/focus.cjs.map +1 -1
- package/_cjs/optics/Traversal/api/fromTraversable.cjs +1 -2
- package/_cjs/optics/Traversal/api/fromTraversable.cjs.map +1 -1
- package/_cjs/optics/Traversal/definition.cjs +1 -2
- package/_cjs/optics/Traversal/definition.cjs.map +1 -1
- package/_cjs/typeclass/ApplicativeExcept.cjs +1 -2
- package/_cjs/typeclass/ApplicativeExcept.cjs.map +1 -1
- package/_cjs/typeclass/Apply.cjs +1 -2
- package/_cjs/typeclass/Apply.cjs.map +1 -1
- package/_cjs/typeclass/Chain.cjs +1 -2
- package/_cjs/typeclass/Chain.cjs.map +1 -1
- package/_cjs/typeclass/MonadExcept.cjs +1 -2
- package/_cjs/typeclass/MonadExcept.cjs.map +1 -1
- package/_cjs/typeclass/Monoid.cjs +1 -2
- package/_cjs/typeclass/Monoid.cjs.map +1 -1
- package/_cjs/typeclass/Semialign.cjs +1 -2
- package/_cjs/typeclass/Semialign.cjs.map +1 -1
- package/_cjs/typeclass/Semigroup/api.cjs +1 -2
- package/_cjs/typeclass/Semigroup/api.cjs.map +1 -1
- package/_cjs/typeclass/Semigroup/derivations.cjs +1 -2
- package/_cjs/typeclass/Semigroup/derivations.cjs.map +1 -1
- package/_cjs/typeclass/Witherable.cjs +1 -2
- package/_cjs/typeclass/Witherable.cjs.map +1 -1
- package/_cjs/typeclass/WitherableWithIndex.cjs +1 -2
- package/_cjs/typeclass/WitherableWithIndex.cjs.map +1 -1
- package/_cjs/util/AnsiFormat.cjs +1 -2
- package/_cjs/util/AnsiFormat.cjs.map +1 -1
- package/_cjs/util/assert.cjs +1 -1
- package/_cjs/util/assert.cjs.map +1 -1
- package/_cjs/util/pattern.cjs.map +1 -1
- package/_cjs/util/rand/generator/RandomGenerator.cjs.map +1 -1
- package/_mjs/collection/AsyncIterable/api.mjs +366 -0
- package/_mjs/collection/AsyncIterable/api.mjs.map +1 -0
- package/_mjs/collection/AsyncIterable/definition.mjs +2 -0
- package/_mjs/collection/AsyncIterable/definition.mjs.map +1 -0
- package/_mjs/collection/AsyncIterable.mjs +4 -0
- package/_mjs/collection/AsyncIterable.mjs.map +1 -0
- package/_mjs/collection/Iterable/api.mjs +175 -134
- package/_mjs/collection/Iterable/api.mjs.map +1 -1
- package/_mjs/collection/Iterable/constructors.mjs.map +1 -1
- package/_mjs/collection/immutable/Conc/constructors.mjs +2 -2
- package/_mjs/collection/immutable/Conc/constructors.mjs.map +1 -1
- package/_mjs/collection/immutable/Conc/definition.mjs +1 -1
- package/_mjs/collection/immutable/Conc/definition.mjs.map +1 -1
- package/_mjs/collection/immutable/List/api.mjs +2 -2
- package/_mjs/collection/immutable/List/api.mjs.map +1 -1
- package/_mjs/collection/immutable/{ImmutableArray → ReadonlyArray}/api/chunksOf.mjs +3 -3
- package/_mjs/collection/immutable/ReadonlyArray/api/chunksOf.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyArray/api/splitAt.mjs +9 -0
- package/_mjs/collection/immutable/ReadonlyArray/api/splitAt.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyArray/api/splitWhere.mjs +19 -0
- package/_mjs/collection/immutable/ReadonlyArray/api/splitWhere.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyArray/api.mjs +1302 -0
- package/_mjs/collection/immutable/ReadonlyArray/api.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyArray/constructors.mjs +44 -0
- package/_mjs/collection/immutable/ReadonlyArray/constructors.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyArray/definition.mjs.map +1 -0
- package/_mjs/collection/immutable/{ImmutableArray → ReadonlyArray}/instances.mjs +4 -5
- package/_mjs/collection/immutable/ReadonlyArray/instances.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyArray.mjs +11 -0
- package/_mjs/collection/immutable/ReadonlyArray.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray/api.mjs +433 -0
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray/api.mjs.map +1 -0
- package/_mjs/collection/immutable/{ImmutableNonEmptyArray → ReadonlyNonEmptyArray}/constructors.mjs +16 -15
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray/constructors.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray/definition.mjs +2 -0
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray/definition.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray/destructors.mjs +41 -0
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray/destructors.mjs.map +1 -0
- package/_mjs/collection/immutable/{ImmutableNonEmptyArray → ReadonlyNonEmptyArray}/instances.mjs +2 -2
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray/instances.mjs.map +1 -0
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray.mjs +7 -0
- package/_mjs/collection/immutable/ReadonlyNonEmptyArray.mjs.map +1 -0
- package/_mjs/collection/immutable/Vector/api.mjs +224 -224
- package/_mjs/collection/immutable/Vector/api.mjs.map +1 -1
- package/_mjs/control/Eval/api.mjs +83 -15
- package/_mjs/control/Eval/api.mjs.map +1 -1
- package/_mjs/control/Eval/constructors.mjs +4 -0
- package/_mjs/control/Eval/constructors.mjs.map +1 -1
- package/_mjs/control/Pure/runtime.mjs +14 -8
- package/_mjs/control/Pure/runtime.mjs.map +1 -1
- package/_mjs/data/CaseClass.mjs +10 -12
- package/_mjs/data/CaseClass.mjs.map +1 -1
- package/_mjs/data/Cause/api/fold.mjs +32 -32
- package/_mjs/data/Cause/api/fold.mjs.map +1 -1
- package/_mjs/data/Const/api.mjs +7 -7
- package/_mjs/data/Const/api.mjs.map +1 -1
- package/_mjs/data/Const/instances.mjs +11 -11
- package/_mjs/data/Const/instances.mjs.map +1 -1
- package/_mjs/data/Datum/api.mjs +107 -108
- package/_mjs/data/Datum/api.mjs.map +1 -1
- package/_mjs/data/Datum.mjs +5 -0
- package/_mjs/data/Datum.mjs.map +1 -0
- package/_mjs/data/DatumEither/api.mjs +53 -53
- package/_mjs/data/DatumEither/api.mjs.map +1 -1
- package/_mjs/data/Either/api.mjs +42 -42
- package/_mjs/data/Either/api.mjs.map +1 -1
- package/_mjs/data/Either/constructors.mjs +20 -20
- package/_mjs/data/Either/constructors.mjs.map +1 -1
- package/_mjs/data/EitherT/api.mjs +27 -27
- package/_mjs/data/EitherT/api.mjs.map +1 -1
- package/_mjs/data/Environment/api.mjs.map +1 -1
- package/_mjs/data/EnvironmentPatch.mjs +1 -1
- package/_mjs/data/Eq/api.mjs +175 -3
- package/_mjs/data/Eq/api.mjs.map +1 -1
- package/_mjs/data/Eq/derivations.mjs +8 -19
- package/_mjs/data/Eq/derivations.mjs.map +1 -1
- package/_mjs/data/Exit/api.mjs +88 -78
- package/_mjs/data/Exit/api.mjs.map +1 -1
- package/_mjs/data/Guard/api.mjs +12 -15
- package/_mjs/data/Guard/api.mjs.map +1 -1
- package/_mjs/data/Maybe/api.mjs +71 -58
- package/_mjs/data/Maybe/api.mjs.map +1 -1
- package/_mjs/data/Maybe/constructors.mjs +36 -36
- package/_mjs/data/Maybe/constructors.mjs.map +1 -1
- package/_mjs/data/Struct/api.mjs +4 -5
- package/_mjs/data/Struct/api.mjs.map +1 -1
- package/_mjs/data/These/api.mjs +85 -85
- package/_mjs/data/These/api.mjs.map +1 -1
- package/_mjs/internal/Stack.mjs +7 -2
- package/_mjs/internal/Stack.mjs.map +1 -1
- package/_mjs/optics/Index/api.mjs +2 -2
- package/_mjs/optics/Index/api.mjs.map +1 -1
- package/_mjs/optics/Lens/api.mjs +1 -1
- package/_mjs/util/assert.mjs +1 -1
- package/_mjs/util/assert.mjs.map +1 -1
- package/_mjs/util/pattern.mjs.map +1 -1
- package/_mjs/util/rand/generator/RandomGenerator.mjs.map +1 -1
- package/_src/collection/AsyncIterable/api.ts +369 -0
- package/_src/collection/AsyncIterable/definition.ts +7 -0
- package/_src/collection/AsyncIterable.ts +4 -0
- package/_src/collection/Iterable/api.ts +215 -162
- package/_src/collection/Iterable/constructors.ts +0 -2
- package/_src/collection/compat/ArrayLike/definition.ts +2 -2
- package/_src/collection/compat.ts +0 -1
- package/_src/collection/immutable/Conc/constructors.ts +1 -2
- package/_src/collection/immutable/Conc/definition.ts +7 -6
- package/_src/collection/immutable/List/api.ts +2 -2
- package/_src/collection/immutable/ReadonlyArray/api/chunksOf.ts +8 -0
- package/_src/collection/immutable/ReadonlyArray/api/splitAt.ts +8 -0
- package/_src/collection/immutable/{ImmutableArray → ReadonlyArray}/api/splitWhere.ts +3 -3
- package/_src/collection/immutable/ReadonlyArray/api.ts +1536 -0
- package/_src/collection/immutable/ReadonlyArray/constructors.ts +47 -0
- package/_src/collection/{compat/Array → immutable/ReadonlyArray}/definition.ts +8 -0
- package/_src/collection/immutable/{ImmutableArray → ReadonlyArray}/instances.ts +22 -22
- package/_src/collection/immutable/ReadonlyArray.ts +12 -0
- package/_src/collection/immutable/ReadonlyNonEmptyArray/api.ts +481 -0
- package/_src/collection/immutable/ReadonlyNonEmptyArray/constructors.ts +76 -0
- package/_src/collection/immutable/ReadonlyNonEmptyArray/definition.ts +22 -0
- package/_src/collection/immutable/ReadonlyNonEmptyArray/destructors.ts +41 -0
- package/_src/collection/immutable/{ImmutableNonEmptyArray → ReadonlyNonEmptyArray}/instances.ts +13 -13
- package/_src/collection/immutable/ReadonlyNonEmptyArray.ts +7 -0
- package/_src/collection/immutable/Vector/api.ts +310 -309
- package/_src/collection/immutable.ts +11 -11
- package/_src/collection.ts +6 -5
- package/_src/control/Eval/api.ts +109 -16
- package/_src/control/Eval/constructors.ts +5 -0
- package/_src/control/Pure/runtime.ts +8 -2
- package/_src/data/CaseClass.ts +5 -5
- package/_src/data/Cause/api/fold.ts +2 -2
- package/_src/data/Const/api.ts +8 -8
- package/_src/data/Const/instances.ts +10 -10
- package/_src/data/Datum/api.ts +113 -113
- package/_src/data/Datum.ts +5 -0
- package/_src/data/DatumEither/api.ts +41 -43
- package/_src/data/Either/api.ts +47 -47
- package/_src/data/Either/constructors.ts +14 -16
- package/_src/data/EitherT/api.ts +111 -110
- package/_src/data/Environment/api.ts +6 -3
- package/_src/data/Eq/api.ts +193 -4
- package/_src/data/Eq/derivations.ts +12 -19
- package/_src/data/Exit/api.ts +89 -77
- package/_src/data/Guard/api.ts +11 -11
- package/_src/data/Maybe/api.ts +82 -73
- package/_src/data/Maybe/constructors.ts +34 -36
- package/_src/data/Struct/api.ts +1 -1
- package/_src/data/These/api.ts +93 -92
- package/_src/data.ts +1 -0
- package/_src/global.ts +7 -12
- package/_src/internal/Stack.ts +6 -2
- package/_src/optics/Index/api.ts +1 -1
- package/_src/util/assert.ts +2 -2
- package/_src/util/pattern.ts +8 -90
- package/_src/util/rand/generator/RandomGenerator.ts +1 -0
- package/collection/AsyncIterable/api.d.ts +71 -0
- package/collection/AsyncIterable/definition.d.ts +9 -0
- package/collection/AsyncIterable.d.ts +2 -0
- package/collection/Iterable/api.d.ts +40 -25
- package/collection/compat/ArrayLike/definition.d.ts +2 -2
- package/collection/compat.d.ts +0 -1
- package/collection/immutable/Conc/definition.d.ts +1 -1
- package/collection/immutable/ReadonlyArray/api/chunksOf.d.ts +5 -0
- package/collection/immutable/ReadonlyArray/api/splitAt.d.ts +5 -0
- package/collection/immutable/ReadonlyArray/api/splitWhere.d.ts +6 -0
- package/collection/immutable/ReadonlyArray/api.d.ts +614 -0
- package/collection/immutable/ReadonlyArray/constructors.d.ts +30 -0
- package/collection/{compat/Array → immutable/ReadonlyArray}/definition.d.ts +8 -0
- package/collection/immutable/ReadonlyArray/instances.d.ts +87 -0
- package/collection/immutable/ReadonlyArray.d.ts +7 -0
- package/collection/immutable/ReadonlyNonEmptyArray/api.d.ts +186 -0
- package/collection/immutable/ReadonlyNonEmptyArray/constructors.d.ts +45 -0
- package/collection/immutable/ReadonlyNonEmptyArray/definition.d.ts +21 -0
- package/collection/immutable/ReadonlyNonEmptyArray/destructors.d.ts +31 -0
- package/collection/immutable/ReadonlyNonEmptyArray/instances.d.ts +52 -0
- package/collection/immutable/ReadonlyNonEmptyArray.d.ts +5 -0
- package/collection/immutable/Vector/api.d.ts +93 -93
- package/collection/immutable.d.ts +2 -2
- package/collection.d.ts +1 -0
- package/control/Eval/api.d.ts +27 -5
- package/control/Eval/constructors.d.ts +5 -0
- package/data/CaseClass.d.ts +2 -3
- package/data/Const/api.d.ts +5 -5
- package/data/Const/instances.d.ts +4 -4
- package/data/Datum/api.d.ts +64 -64
- package/data/Datum.d.ts +3 -0
- package/data/DatumEither/api.d.ts +25 -25
- package/data/Either/api.d.ts +24 -24
- package/data/Either/constructors.d.ts +12 -12
- package/data/EitherT/api.d.ts +16 -16
- package/data/Environment/api.d.ts +4 -2
- package/data/Eq/api.d.ts +89 -2
- package/data/Eq/derivations.d.ts +7 -0
- package/data/Exit/api.d.ts +43 -37
- package/data/Guard/api.d.ts +7 -8
- package/data/Maybe/api.d.ts +38 -33
- package/data/Maybe/constructors.d.ts +16 -16
- package/data/These/api.d.ts +26 -26
- package/data.d.ts +1 -0
- package/global.d.ts +4 -8
- package/internal/Stack.d.ts +2 -0
- package/optics/Lens/api.d.ts +1 -1
- package/package.json +3 -3
- package/util/assert.d.ts +1 -1
- package/_cjs/collection/compat/Array/api.cjs +0 -142
- package/_cjs/collection/compat/Array/api.cjs.map +0 -1
- package/_cjs/collection/compat/Array/definition.cjs.map +0 -1
- package/_cjs/collection/compat/Array.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray/api/chunksOf.cjs +0 -19
- package/_cjs/collection/immutable/ImmutableArray/api/chunksOf.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray/api/slice.cjs +0 -18
- package/_cjs/collection/immutable/ImmutableArray/api/slice.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray/api/splitAt.cjs +0 -18
- package/_cjs/collection/immutable/ImmutableArray/api/splitAt.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray/api/splitWhere.cjs +0 -28
- package/_cjs/collection/immutable/ImmutableArray/api/splitWhere.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray/api.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray/constructors.cjs +0 -59
- package/_cjs/collection/immutable/ImmutableArray/constructors.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray/definition.cjs +0 -44
- package/_cjs/collection/immutable/ImmutableArray/definition.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray/instances.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableArray.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/api.cjs +0 -474
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/api.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/constructors.cjs +0 -79
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/constructors.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/definition.cjs +0 -36
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/definition.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/destructors.cjs +0 -53
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/destructors.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray/instances.cjs.map +0 -1
- package/_cjs/collection/immutable/ImmutableNonEmptyArray.cjs.map +0 -1
- package/_cjs/control/Eval/api/sequenceArray.cjs +0 -17
- package/_cjs/control/Eval/api/sequenceArray.cjs.map +0 -1
- package/_mjs/collection/compat/Array/api.mjs +0 -125
- package/_mjs/collection/compat/Array/api.mjs.map +0 -1
- package/_mjs/collection/compat/Array/definition.mjs.map +0 -1
- package/_mjs/collection/compat/Array.mjs +0 -4
- package/_mjs/collection/compat/Array.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray/api/chunksOf.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray/api/slice.mjs +0 -10
- package/_mjs/collection/immutable/ImmutableArray/api/slice.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray/api/splitAt.mjs +0 -10
- package/_mjs/collection/immutable/ImmutableArray/api/splitAt.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray/api/splitWhere.mjs +0 -20
- package/_mjs/collection/immutable/ImmutableArray/api/splitWhere.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray/api.mjs +0 -1284
- package/_mjs/collection/immutable/ImmutableArray/api.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray/constructors.mjs +0 -46
- package/_mjs/collection/immutable/ImmutableArray/constructors.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray/definition.mjs +0 -35
- package/_mjs/collection/immutable/ImmutableArray/definition.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray/instances.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableArray.mjs +0 -12
- package/_mjs/collection/immutable/ImmutableArray.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/api.mjs +0 -437
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/api.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/constructors.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/definition.mjs +0 -25
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/definition.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/destructors.mjs +0 -43
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/destructors.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray/instances.mjs.map +0 -1
- package/_mjs/collection/immutable/ImmutableNonEmptyArray.mjs +0 -7
- package/_mjs/collection/immutable/ImmutableNonEmptyArray.mjs.map +0 -1
- package/_mjs/control/Eval/api/sequenceArray.mjs +0 -9
- package/_mjs/control/Eval/api/sequenceArray.mjs.map +0 -1
- package/_src/collection/compat/Array/api.ts +0 -134
- package/_src/collection/compat/Array.ts +0 -4
- package/_src/collection/immutable/ImmutableArray/api/chunksOf.ts +0 -8
- package/_src/collection/immutable/ImmutableArray/api/slice.ts +0 -8
- package/_src/collection/immutable/ImmutableArray/api/splitAt.ts +0 -8
- package/_src/collection/immutable/ImmutableArray/api.ts +0 -1526
- package/_src/collection/immutable/ImmutableArray/constructors.ts +0 -47
- package/_src/collection/immutable/ImmutableArray/definition.ts +0 -48
- package/_src/collection/immutable/ImmutableArray.ts +0 -13
- package/_src/collection/immutable/ImmutableNonEmptyArray/api.ts +0 -483
- package/_src/collection/immutable/ImmutableNonEmptyArray/constructors.ts +0 -83
- package/_src/collection/immutable/ImmutableNonEmptyArray/definition.ts +0 -47
- package/_src/collection/immutable/ImmutableNonEmptyArray/destructors.ts +0 -41
- package/_src/collection/immutable/ImmutableNonEmptyArray.ts +0 -7
- package/_src/control/Eval/api/sequenceArray.ts +0 -6
- package/collection/compat/Array/api.d.ts +0 -62
- package/collection/compat/Array.d.ts +0 -2
- package/collection/immutable/ImmutableArray/api/chunksOf.d.ts +0 -6
- package/collection/immutable/ImmutableArray/api/slice.d.ts +0 -6
- package/collection/immutable/ImmutableArray/api/splitAt.d.ts +0 -6
- package/collection/immutable/ImmutableArray/api/splitWhere.d.ts +0 -7
- package/collection/immutable/ImmutableArray/api.d.ts +0 -602
- package/collection/immutable/ImmutableArray/constructors.d.ts +0 -32
- package/collection/immutable/ImmutableArray/definition.d.ts +0 -34
- package/collection/immutable/ImmutableArray/instances.d.ts +0 -87
- package/collection/immutable/ImmutableArray.d.ts +0 -8
- package/collection/immutable/ImmutableNonEmptyArray/api.d.ts +0 -186
- package/collection/immutable/ImmutableNonEmptyArray/constructors.d.ts +0 -46
- package/collection/immutable/ImmutableNonEmptyArray/definition.d.ts +0 -40
- package/collection/immutable/ImmutableNonEmptyArray/destructors.d.ts +0 -32
- package/collection/immutable/ImmutableNonEmptyArray/instances.d.ts +0 -52
- package/collection/immutable/ImmutableNonEmptyArray.d.ts +0 -5
- package/control/Eval/api/sequenceArray.d.ts +0 -6
- /package/_cjs/collection/{compat/Array → immutable/ReadonlyArray}/definition.cjs +0 -0
- /package/_mjs/collection/{compat/Array → immutable/ReadonlyArray}/definition.mjs +0 -0
@@ -9,50 +9,8 @@ import { EitherT } from "../EitherT/definition.js";
|
|
9
9
|
|
10
10
|
const _Initial: DatumEither<never, never> = Datum.initial();
|
11
11
|
|
12
|
-
/**
|
13
|
-
* @tsplus static fncts.DatumEitherOps initial
|
14
|
-
*/
|
15
|
-
export function initial<E = never, A = never>(): DatumEither<E, A> {
|
16
|
-
return _Initial;
|
17
|
-
}
|
18
|
-
|
19
12
|
const _Pending: DatumEither<never, never> = Datum.pending();
|
20
13
|
|
21
|
-
/**
|
22
|
-
* @tsplus static fncts.DatumEitherOps pending
|
23
|
-
*/
|
24
|
-
export function pending<E = never, A = never>(): DatumEither<E, A> {
|
25
|
-
return _Pending;
|
26
|
-
}
|
27
|
-
|
28
|
-
/**
|
29
|
-
* @tsplus static fncts.DatumEitherOps refreshLeft
|
30
|
-
*/
|
31
|
-
export function refreshLeft<E, A = never>(e: E): DatumEither<E, A> {
|
32
|
-
return Datum.refresh(Either.left(e));
|
33
|
-
}
|
34
|
-
|
35
|
-
/**
|
36
|
-
* @tsplus static fncts.DatumEitherOps refreshRight
|
37
|
-
*/
|
38
|
-
export function refreshRight<E = never, A = never>(a: A): DatumEither<E, A> {
|
39
|
-
return Datum.replete(Either.right(a));
|
40
|
-
}
|
41
|
-
|
42
|
-
/**
|
43
|
-
* @tsplus static fncts.DatumEitherOps repleteLeft
|
44
|
-
*/
|
45
|
-
export function repleteLeft<E, A = never>(e: E): DatumEither<E, A> {
|
46
|
-
return Datum.replete(Either.left(e));
|
47
|
-
}
|
48
|
-
|
49
|
-
/**
|
50
|
-
* @tsplus static fncts.DatumEitherOps repleteRight
|
51
|
-
*/
|
52
|
-
export function repleteRight<E = never, A = never>(a: A): DatumEither<E, A> {
|
53
|
-
return Datum.replete(Either.right(a));
|
54
|
-
}
|
55
|
-
|
56
14
|
/**
|
57
15
|
* @tsplus pipeable fncts.DatumEither bimap
|
58
16
|
*/
|
@@ -116,6 +74,39 @@ export function filterMap<A, B>(f: (a: A) => Maybe<B>) {
|
|
116
74
|
};
|
117
75
|
}
|
118
76
|
|
77
|
+
/**
|
78
|
+
* @tsplus static fncts.DatumEitherOps pending
|
79
|
+
*/
|
80
|
+
export function pending<E = never, A = never>(): DatumEither<E, A> {
|
81
|
+
return _Pending;
|
82
|
+
}
|
83
|
+
|
84
|
+
/**
|
85
|
+
* @tsplus static fncts.DatumEitherOps refreshLeft
|
86
|
+
*/
|
87
|
+
export function refreshLeft<E, A = never>(e: E): DatumEither<E, A> {
|
88
|
+
return Datum.refresh(Either.left(e));
|
89
|
+
}
|
90
|
+
/**
|
91
|
+
* @tsplus static fncts.DatumEitherOps refreshRight
|
92
|
+
*/
|
93
|
+
export function refreshRight<E = never, A = never>(a: A): DatumEither<E, A> {
|
94
|
+
return Datum.replete(Either.right(a));
|
95
|
+
}
|
96
|
+
/**
|
97
|
+
* @tsplus static fncts.DatumEitherOps repleteLeft
|
98
|
+
*/
|
99
|
+
export function repleteLeft<E, A = never>(e: E): DatumEither<E, A> {
|
100
|
+
return Datum.replete(Either.left(e));
|
101
|
+
}
|
102
|
+
|
103
|
+
/**
|
104
|
+
* @tsplus static fncts.DatumEitherOps repleteRight
|
105
|
+
*/
|
106
|
+
export function repleteRight<E = never, A = never>(a: A): DatumEither<E, A> {
|
107
|
+
return Datum.replete(Either.right(a));
|
108
|
+
}
|
109
|
+
|
119
110
|
/**
|
120
111
|
* @tsplus pipeable fncts.DatumEither flatMap
|
121
112
|
*/
|
@@ -171,6 +162,13 @@ export function getOrElse<E, B, C>(onEmpty: () => B, onLeft: (e: E) => C) {
|
|
171
162
|
};
|
172
163
|
}
|
173
164
|
|
165
|
+
/**
|
166
|
+
* @tsplus static fncts.DatumEitherOps initial
|
167
|
+
*/
|
168
|
+
export function initial<E = never, A = never>(): DatumEither<E, A> {
|
169
|
+
return _Initial;
|
170
|
+
}
|
171
|
+
|
174
172
|
/**
|
175
173
|
* @tsplus pipeable fncts.DatumEither map
|
176
174
|
*/
|
@@ -328,7 +326,7 @@ export const toReplete: <E, A>(self: DatumEither<E, A>) => DatumEither<E, A> = _
|
|
328
326
|
/**
|
329
327
|
* @tsplus getter fncts.DatumEither traverse
|
330
328
|
*/
|
331
|
-
export function
|
329
|
+
export function traverse_<E, A>(self: DatumEither<E, A>) {
|
332
330
|
return <G extends HKT, GC = HKT.None>(G: P.Applicative<G, GC>) =>
|
333
331
|
<K, Q, W, X, I, S, R, E1, B>(
|
334
332
|
f: (a: A) => HKT.Kind<G, GC, K, Q, W, X, I, S, R, E1, B>,
|
package/_src/data/Either/api.ts
CHANGED
@@ -74,22 +74,22 @@ export function foldLeft<A, B>(b: B, f: (b: B, a: A) => B) {
|
|
74
74
|
}
|
75
75
|
|
76
76
|
/**
|
77
|
-
* @tsplus pipeable fncts.Either
|
77
|
+
* @tsplus pipeable fncts.Either foldMap
|
78
78
|
*/
|
79
|
-
export function
|
80
|
-
return <E>(self: Either<E, A>):
|
79
|
+
export function foldMap<A, M>(f: (a: A) => M, /** @tsplus auto */ M: P.Monoid<M>) {
|
80
|
+
return <E>(self: Either<E, A>): M => {
|
81
81
|
self.concrete();
|
82
|
-
return self._tag === EitherTag.Left ?
|
82
|
+
return self._tag === EitherTag.Left ? M.nat : f(self.right);
|
83
83
|
};
|
84
84
|
}
|
85
85
|
|
86
86
|
/**
|
87
|
-
* @tsplus pipeable fncts.Either
|
87
|
+
* @tsplus pipeable fncts.Either foldRight
|
88
88
|
*/
|
89
|
-
export function
|
90
|
-
return <E>(self: Either<E, A>):
|
89
|
+
export function foldRight<A, B>(b: B, f: (a: A, b: B) => B) {
|
90
|
+
return <E>(self: Either<E, A>): B => {
|
91
91
|
self.concrete();
|
92
|
-
return self._tag === EitherTag.Left ?
|
92
|
+
return self._tag === EitherTag.Left ? b : f(self.right, b);
|
93
93
|
};
|
94
94
|
}
|
95
95
|
|
@@ -103,6 +103,15 @@ export function getLeft<E, A>(self: Either<E, A>): Maybe<E> {
|
|
103
103
|
);
|
104
104
|
}
|
105
105
|
|
106
|
+
/**
|
107
|
+
* @tsplus pipeable fncts.Either getOrElse
|
108
|
+
*/
|
109
|
+
export function getOrElse<E, B>(orElse: (e: E) => B) {
|
110
|
+
return <A>(self: Either<E, A>): A | B => {
|
111
|
+
return self.match(orElse, identity);
|
112
|
+
};
|
113
|
+
}
|
114
|
+
|
106
115
|
/**
|
107
116
|
* @tsplus getter fncts.Either getRight
|
108
117
|
*/
|
@@ -113,15 +122,6 @@ export function getRight<E, A>(self: Either<E, A>): Maybe<A> {
|
|
113
122
|
);
|
114
123
|
}
|
115
124
|
|
116
|
-
/**
|
117
|
-
* @tsplus pipeable fncts.Either getOrElse
|
118
|
-
*/
|
119
|
-
export function getOrElse<E, B>(orElse: (e: E) => B) {
|
120
|
-
return <A>(self: Either<E, A>): A | B => {
|
121
|
-
return self.match(orElse, identity);
|
122
|
-
};
|
123
|
-
}
|
124
|
-
|
125
125
|
/**
|
126
126
|
* @tsplus static fncts.EitherOps isEither
|
127
127
|
*/
|
@@ -196,7 +196,7 @@ export function swap<E, A>(self: Either<E, A>): Either<A, E> {
|
|
196
196
|
/**
|
197
197
|
* @tsplus getter fncts.Either traverse
|
198
198
|
*/
|
199
|
-
export function
|
199
|
+
export function traverse_<E, A>(self: Either<E, A>) {
|
200
200
|
return <G extends HKT, GC = HKT.None>(G: P.Applicative<G, GC>) =>
|
201
201
|
<K, Q, W, X, I, S, R, E1, B>(
|
202
202
|
f: (a: A) => HKT.Kind<G, GC, K, Q, W, X, I, S, R, E1, B>,
|
@@ -207,25 +207,15 @@ export function _traverse<E, A>(self: Either<E, A>) {
|
|
207
207
|
);
|
208
208
|
}
|
209
209
|
|
210
|
-
export const
|
210
|
+
export const traverse: P.Traversable<EitherF>["traverse"] = (A) => (f) => (self) => self.traverse(A)(f);
|
211
211
|
|
212
212
|
/**
|
213
|
-
* @tsplus pipeable fncts.Either
|
213
|
+
* @tsplus pipeable fncts.Either filter
|
214
214
|
*/
|
215
|
-
export function
|
216
|
-
return
|
215
|
+
export function filter<E, A>(f: Predicate<A>, /** @tsplus auto */ M: P.Monoid<E>) {
|
216
|
+
return (self: Either<E, A>): Either<E, A> => {
|
217
217
|
self.concrete();
|
218
|
-
|
219
|
-
return self._tag === EitherTag.Left ? self : fb._tag === EitherTag.Left ? fb : Right(f(self.right, fb.right));
|
220
|
-
};
|
221
|
-
}
|
222
|
-
|
223
|
-
/**
|
224
|
-
* @tsplus pipeable fncts.Either zip
|
225
|
-
*/
|
226
|
-
export function zip<E1, B>(that: Either<E1, B>) {
|
227
|
-
return <E, A>(self: Either<E, A>): Either<E | E1, Zipped.Make<A, B>> => {
|
228
|
-
return self.zipWith(that, (a, b) => Zipped(a, b));
|
218
|
+
return self._tag === EitherTag.Left ? self : f(self.right) ? self : Left(M.nat);
|
229
219
|
};
|
230
220
|
}
|
231
221
|
|
@@ -245,12 +235,12 @@ export function filterMap<E, A, B>(f: (a: A) => Maybe<B>, /** @tsplus auto */ M:
|
|
245
235
|
}
|
246
236
|
|
247
237
|
/**
|
248
|
-
* @tsplus pipeable fncts.Either
|
238
|
+
* @tsplus pipeable fncts.Either partition
|
249
239
|
*/
|
250
|
-
export function
|
251
|
-
return (self: Either<E, A>): Either<E, A> => {
|
240
|
+
export function partition<E, A>(p: Predicate<A>, /** @tsplus auto */ M: P.Monoid<E>) {
|
241
|
+
return (self: Either<E, A>): readonly [Either<E, A>, Either<E, A>] => {
|
252
242
|
self.concrete();
|
253
|
-
return self._tag === EitherTag.Left ? self :
|
243
|
+
return self._tag === EitherTag.Left ? [self, self] : p(self.right) ? [Left(M.nat), self] : [self, Left(M.nat)];
|
254
244
|
};
|
255
245
|
}
|
256
246
|
|
@@ -274,16 +264,6 @@ export function partitionMap<E, A, B, C>(f: (a: A) => Either<B, C>, /** @tsplus
|
|
274
264
|
};
|
275
265
|
}
|
276
266
|
|
277
|
-
/**
|
278
|
-
* @tsplus pipeable fncts.Either partition
|
279
|
-
*/
|
280
|
-
export function partition<E, A>(p: Predicate<A>, /** @tsplus auto */ M: P.Monoid<E>) {
|
281
|
-
return (self: Either<E, A>): readonly [Either<E, A>, Either<E, A>] => {
|
282
|
-
self.concrete();
|
283
|
-
return self._tag === EitherTag.Left ? [self, self] : p(self.right) ? [Left(M.nat), self] : [self, Left(M.nat)];
|
284
|
-
};
|
285
|
-
}
|
286
|
-
|
287
267
|
/**
|
288
268
|
* @tsplus getter fncts.Either toMaybe
|
289
269
|
*/
|
@@ -294,6 +274,26 @@ export function toMaybe<E, A>(self: Either<E, A>): Maybe<A> {
|
|
294
274
|
);
|
295
275
|
}
|
296
276
|
|
277
|
+
/**
|
278
|
+
* @tsplus pipeable fncts.Either zip
|
279
|
+
*/
|
280
|
+
export function zip<E1, B>(that: Either<E1, B>) {
|
281
|
+
return <E, A>(self: Either<E, A>): Either<E | E1, Zipped.Make<A, B>> => {
|
282
|
+
return self.zipWith(that, (a, b) => Zipped(a, b));
|
283
|
+
};
|
284
|
+
}
|
285
|
+
|
286
|
+
/**
|
287
|
+
* @tsplus pipeable fncts.Either zipWith
|
288
|
+
*/
|
289
|
+
export function zipWith<A, E2, B, C>(fb: Either<E2, B>, f: (a: A, b: B) => C) {
|
290
|
+
return <E1>(self: Either<E1, A>): Either<E1 | E2, C> => {
|
291
|
+
self.concrete();
|
292
|
+
fb.concrete();
|
293
|
+
return self._tag === EitherTag.Left ? self : fb._tag === EitherTag.Left ? fb : Right(f(self.right, fb.right));
|
294
|
+
};
|
295
|
+
}
|
296
|
+
|
297
297
|
// codegen:start { preset: barrel, include: api/*.ts }
|
298
298
|
export * from "./api/align.js";
|
299
299
|
export * from "./api/alignWith.js";
|
@@ -2,22 +2,6 @@ import type { Nullable } from "@fncts/base/types";
|
|
2
2
|
|
3
3
|
import { Either, Left, Right } from "./definition.js";
|
4
4
|
|
5
|
-
/**
|
6
|
-
* @tsplus static fncts.EitherOps left
|
7
|
-
* @tsplus static fncts.Either.LeftOps __call
|
8
|
-
*/
|
9
|
-
export function left<E = never, A = never>(e: E, __tsplusTrace?: string): Either<E, A> {
|
10
|
-
return new Left(e, __tsplusTrace);
|
11
|
-
}
|
12
|
-
|
13
|
-
/**
|
14
|
-
* @tsplus static fncts.EitherOps right
|
15
|
-
* @tsplus static fncts.Either.RightOps __call
|
16
|
-
*/
|
17
|
-
export function right<E = never, A = never>(a: A, __tsplusTrace?: string): Either<E, A> {
|
18
|
-
return new Right(a, __tsplusTrace);
|
19
|
-
}
|
20
|
-
|
21
5
|
/**
|
22
6
|
* @tsplus static fncts.EitherOps fromMaybe
|
23
7
|
* @tsplus pipeable fncts.Maybe toEither
|
@@ -56,6 +40,20 @@ export function fromPredicate<E, A>(value: A, p: Predicate<A>, otherwise: (a: A)
|
|
56
40
|
export function fromPredicate<E, A>(value: A, p: Predicate<A>, otherwise: (a: A) => E): Either<E, A> {
|
57
41
|
return p(value) ? Right(value) : left(otherwise(value));
|
58
42
|
}
|
43
|
+
/**
|
44
|
+
* @tsplus static fncts.EitherOps left
|
45
|
+
* @tsplus static fncts.Either.LeftOps __call
|
46
|
+
*/
|
47
|
+
export function left<E = never, A = never>(e: E, __tsplusTrace?: string): Either<E, A> {
|
48
|
+
return new Left(e, __tsplusTrace);
|
49
|
+
}
|
50
|
+
/**
|
51
|
+
* @tsplus static fncts.EitherOps right
|
52
|
+
* @tsplus static fncts.Either.RightOps __call
|
53
|
+
*/
|
54
|
+
export function right<E = never, A = never>(a: A, __tsplusTrace?: string): Either<E, A> {
|
55
|
+
return new Right(a, __tsplusTrace);
|
56
|
+
}
|
59
57
|
|
60
58
|
/**
|
61
59
|
* @tsplus static fncts.EitherOps tryCatch
|
package/_src/data/EitherT/api.ts
CHANGED
@@ -1,77 +1,6 @@
|
|
1
1
|
import type { EitherT } from "./definition.js";
|
2
2
|
import type * as P from "@fncts/base/typeclass";
|
3
3
|
|
4
|
-
/**
|
5
|
-
* @tsplus static fncts.EitherTOps __call
|
6
|
-
*/
|
7
|
-
export function make<F extends HKT, FC, K, Q, W, X, I, S, R, FE, E, A>(
|
8
|
-
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E, A>>,
|
9
|
-
): EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
10
|
-
return self;
|
11
|
-
}
|
12
|
-
|
13
|
-
/**
|
14
|
-
* @tsplus static fncts.EitherTOps right
|
15
|
-
*/
|
16
|
-
export function right<F extends HKT, FC>(
|
17
|
-
F: P.Pointed<F, FC>,
|
18
|
-
): <K, Q, W, X, I, S, R, FE, E = never, A = never>(a: A) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
19
|
-
return (a) => F.pure(Either.right(a));
|
20
|
-
}
|
21
|
-
|
22
|
-
/**
|
23
|
-
* @tsplus static fncts.EitherTOps left
|
24
|
-
*/
|
25
|
-
export function left<F extends HKT, FC>(
|
26
|
-
F: P.Pointed<F, FC>,
|
27
|
-
): <K, Q, W, X, I, S, R, FE, E, A = never>(e: E) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
28
|
-
return (e) => F.pure(Either.left(e));
|
29
|
-
}
|
30
|
-
|
31
|
-
/**
|
32
|
-
* @tsplus static fncts.EitherTOps rightF
|
33
|
-
*/
|
34
|
-
export function rightF<F extends HKT, FC>(
|
35
|
-
F: P.Functor<F, FC>,
|
36
|
-
): <K, Q, W, X, I, S, R, FE, E = never, A = never>(
|
37
|
-
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, A>,
|
38
|
-
) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
39
|
-
return F.map(Either.right);
|
40
|
-
}
|
41
|
-
|
42
|
-
/**
|
43
|
-
* @tsplus static fncts.EitherTOps leftF
|
44
|
-
*/
|
45
|
-
export function leftF<F extends HKT, FC>(
|
46
|
-
F: P.Functor<F, FC>,
|
47
|
-
): <K, Q, W, X, I, S, R, FE, E = never, A = never>(
|
48
|
-
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, E>,
|
49
|
-
) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
50
|
-
return F.map(Either.left);
|
51
|
-
}
|
52
|
-
|
53
|
-
/**
|
54
|
-
* @tsplus static fncts.EitherTOps map
|
55
|
-
*/
|
56
|
-
export function map<F extends HKT, FC>(F: P.Functor<F, FC>) {
|
57
|
-
return <A, B>(
|
58
|
-
f: (a: A) => B,
|
59
|
-
): (<K, Q, W, X, I, S, R, FE, E>(
|
60
|
-
self: EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A>,
|
61
|
-
) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, B>) => F.map((either) => either.map(f));
|
62
|
-
}
|
63
|
-
|
64
|
-
/**
|
65
|
-
* @tsplus static fncts.EitherTOps mapLeft
|
66
|
-
*/
|
67
|
-
export function mapLeft<F extends HKT, FC = HKT.None>(F: P.Functor<F, FC>) {
|
68
|
-
return <E, E1>(
|
69
|
-
f: (e: E) => E1,
|
70
|
-
): (<K, Q, W, X, I, S, R, FE, A>(
|
71
|
-
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E, A>>,
|
72
|
-
) => HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E1, A>>) => F.map((either) => either.mapLeft(f));
|
73
|
-
}
|
74
|
-
|
75
4
|
/**
|
76
5
|
* @tsplus static fncts.EitherTOps bimap
|
77
6
|
*/
|
@@ -142,46 +71,54 @@ export function flatMap<F extends HKT, FC>(F: P.Monad<F, FC>) {
|
|
142
71
|
}
|
143
72
|
|
144
73
|
/**
|
145
|
-
* @tsplus static fncts.EitherTOps
|
74
|
+
* @tsplus static fncts.EitherTOps left
|
146
75
|
*/
|
147
|
-
export function
|
148
|
-
F: P.
|
149
|
-
): <K, Q, W, X, I, S, R,
|
150
|
-
|
151
|
-
|
152
|
-
|
153
|
-
|
154
|
-
|
155
|
-
|
156
|
-
|
157
|
-
|
158
|
-
|
159
|
-
|
160
|
-
|
161
|
-
|
162
|
-
|
163
|
-
|
164
|
-
|
165
|
-
|
166
|
-
|
167
|
-
|
168
|
-
FC,
|
169
|
-
|
170
|
-
|
171
|
-
|
172
|
-
|
173
|
-
|
174
|
-
|
175
|
-
|
176
|
-
|
177
|
-
|
178
|
-
|
179
|
-
|
180
|
-
|
181
|
-
|
182
|
-
|
183
|
-
|
184
|
-
|
76
|
+
export function left<F extends HKT, FC>(
|
77
|
+
F: P.Pointed<F, FC>,
|
78
|
+
): <K, Q, W, X, I, S, R, FE, E, A = never>(e: E) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
79
|
+
return (e) => F.pure(Either.left(e));
|
80
|
+
}
|
81
|
+
|
82
|
+
/**
|
83
|
+
* @tsplus static fncts.EitherTOps leftF
|
84
|
+
*/
|
85
|
+
export function leftF<F extends HKT, FC>(
|
86
|
+
F: P.Functor<F, FC>,
|
87
|
+
): <K, Q, W, X, I, S, R, FE, E = never, A = never>(
|
88
|
+
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, E>,
|
89
|
+
) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
90
|
+
return F.map(Either.left);
|
91
|
+
}
|
92
|
+
|
93
|
+
/**
|
94
|
+
* @tsplus static fncts.EitherTOps __call
|
95
|
+
*/
|
96
|
+
export function make<F extends HKT, FC, K, Q, W, X, I, S, R, FE, E, A>(
|
97
|
+
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E, A>>,
|
98
|
+
): EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
99
|
+
return self;
|
100
|
+
}
|
101
|
+
|
102
|
+
/**
|
103
|
+
* @tsplus static fncts.EitherTOps map
|
104
|
+
*/
|
105
|
+
export function map<F extends HKT, FC>(F: P.Functor<F, FC>) {
|
106
|
+
return <A, B>(
|
107
|
+
f: (a: A) => B,
|
108
|
+
): (<K, Q, W, X, I, S, R, FE, E>(
|
109
|
+
self: EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A>,
|
110
|
+
) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, B>) => F.map((either) => either.map(f));
|
111
|
+
}
|
112
|
+
|
113
|
+
/**
|
114
|
+
* @tsplus static fncts.EitherTOps mapLeft
|
115
|
+
*/
|
116
|
+
export function mapLeft<F extends HKT, FC = HKT.None>(F: P.Functor<F, FC>) {
|
117
|
+
return <E, E1>(
|
118
|
+
f: (e: E) => E1,
|
119
|
+
): (<K, Q, W, X, I, S, R, FE, A>(
|
120
|
+
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E, A>>,
|
121
|
+
) => HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, Either<E1, A>>) => F.map((either) => either.mapLeft(f));
|
185
122
|
}
|
186
123
|
|
187
124
|
/**
|
@@ -220,6 +157,7 @@ export function orElse<F extends HKT, FC = HKT.None>(
|
|
220
157
|
HKT.Mix<F, "E", [EF, EF1]>,
|
221
158
|
Either<E | E1, A | B>
|
222
159
|
>;
|
160
|
+
|
223
161
|
export function orElse<F>(F: P.Monad<HKT.F1<F>>) {
|
224
162
|
return <E, A, E1, B>(
|
225
163
|
that: Lazy<HKT.FK1<F, Either<E1, B>>>,
|
@@ -231,3 +169,66 @@ export function orElse<F>(F: P.Monad<HKT.F1<F>>) {
|
|
231
169
|
),
|
232
170
|
);
|
233
171
|
}
|
172
|
+
|
173
|
+
/**
|
174
|
+
* @tsplus static fncts.EitherTOps right
|
175
|
+
*/
|
176
|
+
export function right<F extends HKT, FC>(
|
177
|
+
F: P.Pointed<F, FC>,
|
178
|
+
): <K, Q, W, X, I, S, R, FE, E = never, A = never>(a: A) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
179
|
+
return (a) => F.pure(Either.right(a));
|
180
|
+
}
|
181
|
+
|
182
|
+
/**
|
183
|
+
* @tsplus static fncts.EitherTOps rightF
|
184
|
+
*/
|
185
|
+
export function rightF<F extends HKT, FC>(
|
186
|
+
F: P.Functor<F, FC>,
|
187
|
+
): <K, Q, W, X, I, S, R, FE, E = never, A = never>(
|
188
|
+
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, FE, A>,
|
189
|
+
) => EitherT<F, FC, K, Q, W, X, I, S, R, FE, E, A> {
|
190
|
+
return F.map(Either.right);
|
191
|
+
}
|
192
|
+
|
193
|
+
/**
|
194
|
+
* @tsplus static fncts.EitherTOps zipWith
|
195
|
+
*/
|
196
|
+
export function zipWith<F extends HKT, FC = HKT.None>(
|
197
|
+
F: P.Apply<F, FC>,
|
198
|
+
): <K, Q, W, X, I, S, R, EF, A, K1, Q1, W1, X1, I1, S1, R1, EF1, E1, B, C>(
|
199
|
+
that: HKT.Kind<
|
200
|
+
F,
|
201
|
+
FC,
|
202
|
+
HKT.Intro<F, "K", K, K1>,
|
203
|
+
HKT.Intro<F, "Q", Q, Q1>,
|
204
|
+
HKT.Intro<F, "W", W, W1>,
|
205
|
+
HKT.Intro<F, "X", X, X1>,
|
206
|
+
HKT.Intro<F, "I", I, I1>,
|
207
|
+
HKT.Intro<F, "S", S, S1>,
|
208
|
+
HKT.Intro<F, "R", R, R1>,
|
209
|
+
HKT.Intro<F, "E", EF, EF1>,
|
210
|
+
Either<E1, B>
|
211
|
+
>,
|
212
|
+
f: (a: A, b: B) => C,
|
213
|
+
) => <E>(
|
214
|
+
self: HKT.Kind<F, FC, K, Q, W, X, I, S, R, EF, Either<E, A>>,
|
215
|
+
) => HKT.Kind<
|
216
|
+
F,
|
217
|
+
FC,
|
218
|
+
HKT.Intro<F, "K", K, K1>,
|
219
|
+
HKT.Intro<F, "Q", Q, Q1>,
|
220
|
+
HKT.Intro<F, "W", W, W1>,
|
221
|
+
HKT.Intro<F, "X", X, X1>,
|
222
|
+
HKT.Intro<F, "I", I, I1>,
|
223
|
+
HKT.Intro<F, "S", S, S1>,
|
224
|
+
HKT.Intro<F, "R", R, R1>,
|
225
|
+
HKT.Intro<F, "E", EF, EF1>,
|
226
|
+
Either<E | E1, C>
|
227
|
+
>;
|
228
|
+
export function zipWith<F extends HKT>(F: P.Apply<HKT.F<F>>) {
|
229
|
+
return <A, E1, B, C>(
|
230
|
+
that: HKT.FK1<F, Either<E1, B>>,
|
231
|
+
f: (a: A, b: B) => C,
|
232
|
+
): (<E>(self: HKT.FK1<F, Either<E, A>>) => HKT.FK1<F, Either<E | E1, C>>) =>
|
233
|
+
F.zipWith(that, (a, b) => a.zipWith(b, f));
|
234
|
+
}
|
@@ -3,10 +3,13 @@ import { ServiceNotFoundError } from "@fncts/base/data/Environment/ServiceNotFou
|
|
3
3
|
/**
|
4
4
|
* @tsplus pipeable fncts.Environment add
|
5
5
|
*/
|
6
|
-
export function add<H extends S, S = H>(
|
6
|
+
export function add<H extends S, S = H>(
|
7
|
+
service: H,
|
8
|
+
/** @tsplus auto */ tag: Tag<S>,
|
9
|
+
): <R>(self: Environment<R>) => Environment<R | S>;
|
7
10
|
export function add<H extends S, S = H, I = S>(
|
8
11
|
service: H,
|
9
|
-
tag: Tag<S, I>,
|
12
|
+
/** @tsplus auto */ tag: Tag<S, I>,
|
10
13
|
): <R>(self: Environment<R>) => Environment<R | I>;
|
11
14
|
export function add<H extends S, S = H>(service: H, tag: Tag<S>) {
|
12
15
|
return <R>(self: Environment<R>): Environment<R | S> => {
|
@@ -35,7 +38,7 @@ export function get<R, T extends Tags<R>>(tag: T) {
|
|
35
38
|
*/
|
36
39
|
export function getMaybe<S, I>(tag: Tag<S, I>) {
|
37
40
|
return <R>(self: Environment<R>): Maybe<S> => {
|
38
|
-
return self.cache.get(tag)
|
41
|
+
return unsafeCoerce(self.cache.get(tag));
|
39
42
|
};
|
40
43
|
}
|
41
44
|
|