@fp-ts/data - npm Package Compare versions

Comparing version 0.0.14 to 0.0.15

Chunk.js

@@ -1460,3 +1460,3 @@ "use strict";
   for (let i = 0; i < len; i++) {
-    res.push(f(selfA[i], thatA[i]));
+    res[i] = f(selfA[i], thatA[i]);
   }
@@ -1463,0 +1463,0 @@

Either.d.ts

@@ -38,2 +38,3 @@ /**
 import type { Predicate, Refinement } from "@fp-ts/data/Predicate";
+import * as Gen from "@fp-ts/data/typeclass/Gen";
 /**
@@ -755,2 +756,7 @@ * @category models
 export declare const exists: <A>(predicate: Predicate<A>) => <E>(self: Either<E, A>) => boolean;
+/**
+ * @since 1.0.0
+ * @category generators
+ */
+export declare const gen: Gen.Gen<EitherTypeLambda, Gen.Adapter<EitherTypeLambda>>;
 //# sourceMappingURL=Either.d.ts.map

Either.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toRefinement = exports.tapError = exports.tap = exports.struct = exports.sequence = exports.right = exports.reverse = exports.productMany = exports.productFlatten = exports.productAll = exports.product = exports.orElseSucceed = exports.orElseFail = exports.orElseEither = exports.orElse = exports.of = exports.merge = exports.match = exports.mapLeft = exports.map = exports.liftThrowable = exports.liftPredicate = exports.liftOption = exports.liftNullable = exports.lift3 = exports.lift2 = exports.let = exports.left = exports.isRight = exports.isLeft = exports.isEither = exports.inspectRight = exports.inspectLeft = exports.imap = exports.getRight = exports.getOrUndefined = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getLeft = exports.getFirstRightSemigroup = exports.getFirstLeftSemigroup = exports.getFirstLeftMonoid = exports.fromThrowable = exports.fromOption = exports.fromNullable = exports.fromIterable = exports.flatten = exports.flatMapOption = exports.flatMapNullable = exports.flatMap = exports.flap = exports.firstSuccessOf = exports.filterMap = exports.filter = exports.exists = exports.elem = exports.composeKleisliArrow = exports.compact = exports.catchAll = exports.bindTo = exports.bind = exports.bimap = exports.asUnit = exports.as = exports.ap = exports.andThenDiscard = exports.andThenBind = exports.andThen = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Of = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Bicovariant = exports.Applicative = void 0;
+exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toRefinement = exports.tapError = exports.tap = exports.struct = exports.sequence = exports.right = exports.reverse = exports.productMany = exports.productFlatten = exports.productAll = exports.product = exports.orElseSucceed = exports.orElseFail = exports.orElseEither = exports.orElse = exports.of = exports.merge = exports.match = exports.mapLeft = exports.map = exports.liftThrowable = exports.liftPredicate = exports.liftOption = exports.liftNullable = exports.lift3 = exports.lift2 = exports.let = exports.left = exports.isRight = exports.isLeft = exports.isEither = exports.inspectRight = exports.inspectLeft = exports.imap = exports.getRight = exports.getOrUndefined = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getLeft = exports.getFirstRightSemigroup = exports.getFirstLeftSemigroup = exports.getFirstLeftMonoid = exports.gen = exports.fromThrowable = exports.fromOption = exports.fromNullable = exports.fromIterable = exports.flatten = exports.flatMapOption = exports.flatMapNullable = exports.flatMap = exports.flap = exports.firstSuccessOf = exports.filterMap = exports.filter = exports.exists = exports.elem = exports.composeKleisliArrow = exports.compact = exports.catchAll = exports.bindTo = exports.bind = exports.bimap = exports.asUnit = exports.as = exports.ap = exports.andThenDiscard = exports.andThenBind = exports.andThen = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Of = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Bicovariant = exports.Applicative = void 0;
 
@@ -41,2 +41,4 @@ var applicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/Applicative"));
 
+var Gen = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/typeclass/Gen"));
+
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
@@ -1069,4 +1071,11 @@
 const exists = predicate => self => isLeft(self) ? false : predicate(self.right);
+/**
+ * @since 1.0.0
+ * @category generators
+ */
 
+
 exports.exists = exists;
+const gen = /*#__PURE__*/Gen.singleShot(Monad)( /*#__PURE__*/Gen.adapter());
+exports.gen = gen;
 //# sourceMappingURL=Either.js.map

Identity.d.ts

@@ -23,2 +23,3 @@ /**
 import * as traversable from "@fp-ts/core/typeclass/Traversable";
+import * as Gen from "@fp-ts/data/typeclass/Gen";
 /**
@@ -336,2 +337,7 @@ * @category models
 export declare const traverseTap: <F extends TypeLambda>(F: applicative.Applicative<F>) => <A, R, O, E, B>(f: (a: A) => Kind<F, R, O, E, B>) => (self: Identity<A>) => Kind<F, R, O, E, Identity<A>>;
+/**
+ * @since 1.0.0
+ * @category generators
+ */
+export declare const gen: Gen.Gen<IdentityTypeLambda, Gen.Adapter<IdentityTypeLambda>>;
 //# sourceMappingURL=Identity.d.ts.map

Identity.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toReadonlyArrayWith = exports.toReadonlyArray = exports.tap = exports.struct = exports.sequence = exports.reduceRightKind = exports.reduceRight = exports.reduceKind = exports.reduce = exports.productMany = exports.productFlatten = exports.productAll = exports.product = exports.of = exports.map = exports.liftSemigroup = exports.liftMonoid = exports.lift3 = exports.lift2 = exports.let = exports.imap = exports.getSemiCoproduct = exports.getSemiAlternative = exports.foldMapKind = exports.foldMap = exports.flatten = exports.flatMap = exports.flap = exports.composeKleisliArrow = exports.bindTo = exports.bind = exports.asUnit = exports.as = exports.ap = exports.andThenDiscard = exports.andThenBind = exports.andThen = exports.Traversable = exports.SemiProduct = exports.SemiApplicative = exports.Product = exports.Pointed = exports.Of = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Applicative = void 0;
+exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toReadonlyArrayWith = exports.toReadonlyArray = exports.tap = exports.struct = exports.sequence = exports.reduceRightKind = exports.reduceRight = exports.reduceKind = exports.reduce = exports.productMany = exports.productFlatten = exports.productAll = exports.product = exports.of = exports.map = exports.liftSemigroup = exports.liftMonoid = exports.lift3 = exports.lift2 = exports.let = exports.imap = exports.getSemiCoproduct = exports.getSemiAlternative = exports.gen = exports.foldMapKind = exports.foldMap = exports.flatten = exports.flatMap = exports.flap = exports.composeKleisliArrow = exports.bindTo = exports.bind = exports.asUnit = exports.as = exports.ap = exports.andThenDiscard = exports.andThenBind = exports.andThen = exports.Traversable = exports.SemiProduct = exports.SemiApplicative = exports.Product = exports.Pointed = exports.Of = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Applicative = void 0;
 
@@ -35,2 +35,4 @@ var applicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/Applicative"));
 
+var Gen = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/typeclass/Gen"));
+
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
@@ -478,3 +480,10 @@
 const traverseTap = /*#__PURE__*/traversable.traverseTap(Traversable);
+/**
+ * @since 1.0.0
+ * @category generators
+ */
+
 exports.traverseTap = traverseTap;
+const gen = /*#__PURE__*/Gen.singleShot(Monad)( /*#__PURE__*/Gen.adapter());
+exports.gen = gen;
 //# sourceMappingURL=Identity.js.map

index.d.ts

@@ -44,2 +44,3 @@ /**
 import * as filterableWithIndex from "@fp-ts/data/typeclass/FilterableWithIndex";
+import * as gen from "@fp-ts/data/typeclass/Gen";
 import * as seq from "@fp-ts/data/typeclass/Seq";
@@ -99,2 +100,6 @@ import * as weakIterableMap from "@fp-ts/data/weak/WeakIterableMap";
  */
+gen, 
+/**
+ * @since 1.0.0
+ */
 hashMap, 
@@ -101,0 +106,0 @@ /**

index.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.weakIterableMap = exports.these = exports.string = exports.sortedSet = exports.sortedMap = exports.seq = exports.safeEval = exports.redBlackTree = exports.readonlyArray = exports.random = exports.queue = exports.predicate = exports.ordering = exports.orPatch = exports.option = exports.number = exports.nonEmpty = exports.mutableRef = exports.mutableQueue = exports.mutableListBuilder = exports.mutableList = exports.mutableHashSet = exports.mutableHashMap = exports.list = exports.json = exports.identity = exports.hashSetPatch = exports.hashSet = exports.hashMapPatch = exports.hashMap = exports.function = exports.filterableWithIndex = exports.equal = exports.either = exports.duration = exports.differ = exports.covariantWithIndex = exports.contextPatch = exports.context = exports.chunkPatch = exports.chunk = exports.boolean = void 0;
+exports.weakIterableMap = exports.these = exports.string = exports.sortedSet = exports.sortedMap = exports.seq = exports.safeEval = exports.redBlackTree = exports.readonlyArray = exports.random = exports.queue = exports.predicate = exports.ordering = exports.orPatch = exports.option = exports.number = exports.nonEmpty = exports.mutableRef = exports.mutableQueue = exports.mutableListBuilder = exports.mutableList = exports.mutableHashSet = exports.mutableHashMap = exports.list = exports.json = exports.identity = exports.hashSetPatch = exports.hashSet = exports.hashMapPatch = exports.hashMap = exports.gen = exports.function = exports.filterableWithIndex = exports.equal = exports.either = exports.duration = exports.differ = exports.covariantWithIndex = exports.contextPatch = exports.context = exports.chunkPatch = exports.chunk = exports.boolean = void 0;
 
@@ -169,2 +169,6 @@ var boolean = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/Boolean"));
 
+var gen = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/typeclass/Gen"));
+
+exports.gen = gen;
+
 var seq = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/typeclass/Seq"));
@@ -171,0 +175,0 @@

internal/Context.js

@@ -19,3 +19,3 @@ "use strict";
 
-var O = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/Option"));
+var option = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/internal/Option"));
 
@@ -187,6 +187,6 @@ function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
     if (!self.unsafeMap.has(tag)) {
-      return O.none;
+      return option.none;
     }
 
-    return O.some(self.unsafeMap.get(tag));
+    return option.some(self.unsafeMap.get(tag));
   };
@@ -193,0 +193,0 @@ }

Option.d.ts

@@ -41,2 +41,3 @@ /**
 import type { Predicate, Refinement } from "@fp-ts/data/Predicate";
+import * as Gen from "@fp-ts/data/typeclass/Gen";
 /**
@@ -880,2 +881,7 @@ * @category models
 export declare const exists: <A>(predicate: Predicate<A>) => (self: Option<A>) => boolean;
+/**
+ * @since 1.0.0
+ * @category generators
+ */
+export declare const gen: Gen.Gen<OptionTypeLambda, Gen.Adapter<OptionTypeLambda>>;
 //# sourceMappingURL=Option.d.ts.map

Option.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.zero = exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toRefinement = exports.toEither = exports.tap = exports.struct = exports.some = exports.sequence = exports.separate = exports.productMany = exports.productFlatten = exports.productAll = exports.product = exports.orElseSucceed = exports.orElseEither = exports.orElse = exports.of = exports.none = exports.match = exports.map = exports.liftThrowable = exports.liftPredicate = exports.liftOrder = exports.liftNullable = exports.liftEither = exports.lift3 = exports.lift2 = exports.let = exports.isSome = exports.isOption = exports.isNone = exports.inspectSome = exports.inspectNone = exports.imap = exports.getOrUndefined = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getMonoid = exports.getFirstSomeSemigroup = exports.getFirstNoneSemigroup = exports.getFirstNoneMonoid = exports.fromThrowable = exports.fromNullable = exports.fromIterable = exports.fromEither = exports.flatten = exports.flatMapNullable = exports.flatMapEither = exports.flatMap = exports.flap = exports.firstSomeOf = exports.filterMap = exports.filter = exports.exists = exports.elem = exports.coproductEither = exports.coproductAll = exports.coproduct = exports.composeKleisliArrow = exports.compact = exports.catchAll = exports.bindTo = exports.bind = exports.asUnit = exports.as = exports.ap = exports.andThenDiscard = exports.andThenBind = exports.andThen = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Of = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Filterable = exports.Do = exports.Covariant = exports.Coproduct = exports.Compactable = exports.Chainable = exports.Applicative = exports.Alternative = void 0;
+exports.zero = exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toRefinement = exports.toEither = exports.tap = exports.struct = exports.some = exports.sequence = exports.separate = exports.productMany = exports.productFlatten = exports.productAll = exports.product = exports.orElseSucceed = exports.orElseEither = exports.orElse = exports.of = exports.none = exports.match = exports.map = exports.liftThrowable = exports.liftPredicate = exports.liftOrder = exports.liftNullable = exports.liftEither = exports.lift3 = exports.lift2 = exports.let = exports.isSome = exports.isOption = exports.isNone = exports.inspectSome = exports.inspectNone = exports.imap = exports.getOrUndefined = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getMonoid = exports.getFirstSomeSemigroup = exports.getFirstNoneSemigroup = exports.getFirstNoneMonoid = exports.gen = exports.fromThrowable = exports.fromNullable = exports.fromIterable = exports.fromEither = exports.flatten = exports.flatMapNullable = exports.flatMapEither = exports.flatMap = exports.flap = exports.firstSomeOf = exports.filterMap = exports.filter = exports.exists = exports.elem = exports.coproductEither = exports.coproductAll = exports.coproduct = exports.composeKleisliArrow = exports.compact = exports.catchAll = exports.bindTo = exports.bind = exports.asUnit = exports.as = exports.ap = exports.andThenDiscard = exports.andThenBind = exports.andThen = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Of = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Filterable = exports.Do = exports.Covariant = exports.Coproduct = exports.Compactable = exports.Chainable = exports.Applicative = exports.Alternative = void 0;
 
@@ -47,2 +47,4 @@ var applicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/Applicative"));
 
+var Gen = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/typeclass/Gen"));
+
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
@@ -1239,4 +1241,11 @@
 const exists = predicate => self => isNone(self) ? false : predicate(self.value);
+/**
+ * @since 1.0.0
+ * @category generators
+ */
 
+
 exports.exists = exists;
+const gen = /*#__PURE__*/Gen.singleShot(Monad)( /*#__PURE__*/Gen.adapter());
+exports.gen = gen;
 //# sourceMappingURL=Option.js.map

package.json

 {
   "name": "@fp-ts/data",
-  "version": "0.0.14",
+  "version": "0.0.15",
   "license": "MIT",
@@ -5,0 +5,0 @@ "repository": {

SafeEval.d.ts

 /**
  * @since 1.0.0
  */
+import type { TypeLambda } from "@fp-ts/core/HKT";
+import * as _Covariant from "@fp-ts/core/typeclass/Covariant";
+import type * as _Monad from "@fp-ts/core/typeclass/Monad";
 import type { LazyArg } from "@fp-ts/data/Function";
+import * as Gen from "@fp-ts/data/typeclass/Gen";
 declare const TypeId: unique symbol;
@@ -23,3 +27,2 @@ /**
     readonly _A: (_: never) => A;
-    [Symbol.iterator](): Generator<SafeEval<A>, A>;
 }
@@ -84,7 +87,2 @@ /**
 /**
- * @since 1.0.0
- * @category constructors
- */
-export declare const gen: <Eff extends SafeEval<any>, AEff>(f: () => Generator<Eff, AEff, any>) => SafeEval<AEff>;
-/**
  * Executes the computation represented by the specified `SafeEval`.
@@ -160,3 +158,25 @@ *
 export declare const tap: <A, X>(f: (a: A) => SafeEval<X>) => (self: SafeEval<A>) => SafeEval<A>;
+/**
+ * @since 1.0.0
+ * @category instances
+ */
+export interface SafeEvalTypeLambda extends TypeLambda {
+    readonly type: SafeEval<this["Target"]>;
+}
+/**
+ * @category instances
+ * @since 1.0.0
+ */
+export declare const Covariant: _Covariant.Covariant<SafeEvalTypeLambda>;
+/**
+ * @category instances
+ * @since 1.0.0
+ */
+export declare const Monad: _Monad.Monad<SafeEvalTypeLambda>;
+/**
+ * @since 1.0.0
+ * @category generators
+ */
+export declare const gen: Gen.Gen<SafeEvalTypeLambda, Gen.Adapter<SafeEvalTypeLambda>>;
 export {};
 //# sourceMappingURL=SafeEval.d.ts.map

SafeEval.js

@@ -6,6 +6,10 @@ "use strict";
 });
-exports.zipWith = exports.zipRight = exports.zipLeft = exports.zip = exports.unit = exports.tuple = exports.tap = exports.sync = exports.suspend = exports.succeed = exports.struct = exports.reduce = exports.map = exports.gen = exports.flatten = exports.flatMap = exports.execute = void 0;
+exports.zipWith = exports.zipRight = exports.zipLeft = exports.zip = exports.unit = exports.tuple = exports.tap = exports.sync = exports.suspend = exports.succeed = exports.struct = exports.reduce = exports.map = exports.gen = exports.flatten = exports.flatMap = exports.execute = exports.Monad = exports.Covariant = void 0;
 
+var _Covariant = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/Covariant"));
+
 var SE = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/internal/SafeEval"));
 
+var Gen = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/typeclass/Gen"));
+
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
@@ -83,9 +87,2 @@
 /**
- * @since 1.0.0
- * @category constructors
- */
-
-exports.reduce = reduce;
-const gen = SE.gen;
-/**
  * Executes the computation represented by the specified `SafeEval`.
@@ -97,3 +94,3 @@ *
 
-exports.gen = gen;
+exports.reduce = reduce;
 const execute = SE.execute;
@@ -180,3 +177,29 @@ /**
 const tap = SE.tap;
+/**
+ * @category instances
+ * @since 1.0.0
+ */
+
 exports.tap = tap;
+
+const Covariant = /*#__PURE__*/_Covariant.make(map);
+/**
+ * @category instances
+ * @since 1.0.0
+ */
+
+
+exports.Covariant = Covariant;
+const Monad = { ...Covariant,
+  flatMap,
+  of: succeed
+};
+/**
+ * @since 1.0.0
+ * @category generators
+ */
+
+exports.Monad = Monad;
+const gen = /*#__PURE__*/Gen.singleShot(Monad)( /*#__PURE__*/Gen.adapter());
+exports.gen = gen;
 //# sourceMappingURL=SafeEval.js.map

These.d.ts

@@ -46,2 +46,3 @@ /**
 import type { Predicate, Refinement } from "@fp-ts/data/Predicate";
+import * as Gen from "@fp-ts/data/typeclass/Gen";
 /**
@@ -733,2 +734,7 @@ * @category model
 export declare const Monad: monad.Monad<ValidatedTypeLambda>;
+/**
+ * @since 1.0.0
+ * @category generators
+ */
+export declare const gen: Gen.Gen<ValidatedTypeLambda, Gen.Adapter<ValidatedTypeLambda>>;
 //# sourceMappingURL=These.d.ts.map

These.js

@@ -6,4 +6,4 @@ "use strict";
 });
-exports.orElseSucceed = exports.orElseFail = exports.orElseEither = exports.orElse = exports.of = exports.match = exports.mapLeft = exports.map = exports.liftThrowable = exports.liftThese = exports.liftPredicate = exports.liftOption = exports.liftNullable = exports.liftEither = exports.lift3 = exports.lift2 = exports.let = exports.leftOrBoth = exports.left = exports.isThese = exports.isRightOrBoth = exports.isRight = exports.isLeftOrBoth = exports.isLeft = exports.isBoth = exports.inspectRightOrBoth = exports.inspectRight = exports.inspectLeft = exports.inspectBoth = exports.imap = exports.getRightOnlyOrThrow = exports.getRightOnly = exports.getRight = exports.getOrUndefined = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getLeftOnly = exports.getLeft = exports.getFirstRightOrBothSemigroup = exports.getFirstLeftSemigroup = exports.getFirstLeftMonoid = exports.getBothOrElse = exports.getBoth = exports.fromTuple = exports.fromThrowable = exports.fromThese = exports.fromOption = exports.fromNullable = exports.fromIterable = exports.fromEither = exports.flatten = exports.flatMapThese = exports.flatMapOption = exports.flatMapNullable = exports.flatMapEither = exports.flatMap = exports.flap = exports.firstRightOrBothOf = exports.filterMap = exports.filter = exports.fail = exports.exists = exports.elem = exports.condemn = exports.composeKleisliArrow = exports.compact = exports.catchAll = exports.both = exports.bindTo = exports.bindThese = exports.bindEither = exports.bind = exports.bimap = exports.asUnit = exports.as = exports.ap = exports.andThenDiscard = exports.andThenBindThese = exports.andThenBindEither = exports.andThenBind = exports.andThen = exports.absolve = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Of = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Bicovariant = exports.Applicative = void 0;
-exports.warn = exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toEither = exports.tap = exports.succeed = exports.struct = exports.sequence = exports.rightOrBoth = exports.right = exports.reverse = exports.productMany = exports.productFlatten = exports.productAll = exports.product = void 0;
+exports.orElseFail = exports.orElseEither = exports.orElse = exports.of = exports.match = exports.mapLeft = exports.map = exports.liftThrowable = exports.liftThese = exports.liftPredicate = exports.liftOption = exports.liftNullable = exports.liftEither = exports.lift3 = exports.lift2 = exports.let = exports.leftOrBoth = exports.left = exports.isThese = exports.isRightOrBoth = exports.isRight = exports.isLeftOrBoth = exports.isLeft = exports.isBoth = exports.inspectRightOrBoth = exports.inspectRight = exports.inspectLeft = exports.inspectBoth = exports.imap = exports.getRightOnlyOrThrow = exports.getRightOnly = exports.getRight = exports.getOrUndefined = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getLeftOnly = exports.getLeft = exports.getFirstRightOrBothSemigroup = exports.getFirstLeftSemigroup = exports.getFirstLeftMonoid = exports.getBothOrElse = exports.getBoth = exports.gen = exports.fromTuple = exports.fromThrowable = exports.fromThese = exports.fromOption = exports.fromNullable = exports.fromIterable = exports.fromEither = exports.flatten = exports.flatMapThese = exports.flatMapOption = exports.flatMapNullable = exports.flatMapEither = exports.flatMap = exports.flap = exports.firstRightOrBothOf = exports.filterMap = exports.filter = exports.fail = exports.exists = exports.elem = exports.condemn = exports.composeKleisliArrow = exports.compact = exports.catchAll = exports.both = exports.bindTo = exports.bindThese = exports.bindEither = exports.bind = exports.bimap = exports.asUnit = exports.as = exports.ap = exports.andThenDiscard = exports.andThenBindThese = exports.andThenBindEither = exports.andThenBind = exports.andThen = exports.absolve = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Of = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Bicovariant = exports.Applicative = void 0;
+exports.warn = exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toEither = exports.tap = exports.succeed = exports.struct = exports.sequence = exports.rightOrBoth = exports.right = exports.reverse = exports.productMany = exports.productFlatten = exports.productAll = exports.product = exports.orElseSucceed = void 0;
 
@@ -46,2 +46,4 @@ var applicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/Applicative"));
 
+var Gen = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/data/typeclass/Gen"));
+
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
@@ -1241,3 +1243,10 @@
 };
+/**
+ * @since 1.0.0
+ * @category generators
+ */
+
 exports.Monad = Monad;
+const gen = /*#__PURE__*/Gen.singleShot(Monad)( /*#__PURE__*/Gen.adapter());
+exports.gen = gen;
 //# sourceMappingURL=These.js.map

New alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Fixed alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Improved metrics

Total package byte prevSize

2108975

increased by0.8%

Number of package files

440

increased by1.38%

Lines of code

40941

increased by0.77%

No dependency changes