@effect/data - npm Package Compare versions

Comparing version 0.7.4 to 0.8.0

Either.d.ts

@@ -285,3 +285,3 @@ /**
  */
-export declare const unit: Either<never, void>;
+export declare const unit: <E = never>() => Either<E, void>;
 /**
@@ -999,3 +999,10 @@ * @category instances
  */
-export declare const Do: Either<never, {}>;
+export declare const letDiscard: {
+    <N extends string, A extends object, B>(name: Exclude<N, keyof A>, b: B): <E>(self: Either<E, A>) => Either<E, {
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }>;
+    <E, A extends object, N extends string, B>(self: Either<E, A>, name: Exclude<N, keyof A>, b: B): Either<E, {
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }>;
+};
 /**
@@ -1005,2 +1012,7 @@ * @category do notation
  */
+export declare const Do: <E = never>() => Either<E, {}>;
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
 export declare const bind: {
@@ -1028,5 +1040,5 @@ <N extends string, A extends object, E2, B>(name: Exclude<N, keyof A>, f: (a: A) => Either<E2, B>): <E1>(self: Either<E1, A>) => Either<E2 | E1, {
  * const result = pipe(
- *   E.Do,
+ *   E.Do(),
  *   E.bind("a", () => E.left("e1")),
- *   E.andThenBind("b", E.left("e2"))
+ *   E.bindDiscard("b", E.left("e2"))
  * )
@@ -1039,3 +1051,3 @@ *
  */
-export declare const andThenBind: {
+export declare const bindDiscard: {
     <N extends string, A extends object, E2, B>(name: Exclude<N, keyof A>, that: Either<E2, B>): <E1>(self: Either<E1, A>) => Either<E2 | E1, {
@@ -1042,0 +1054,0 @@ [K in N | keyof A]: K extends keyof A ? A[K] : B;

Either.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.zipWith = exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toRefinement = exports.toOption = exports.toArray = exports.tapError = exports.tap = exports.sum = exports.subtract = exports.struct = exports.sequence = exports.rights = exports.right = exports.reverse = exports.orElseFail = exports.orElseEither = exports.orElse = exports.multiply = exports.merge = exports.match = exports.mapLeft = exports.map = exports.liftThrowable = exports.liftPredicate = exports.liftOption = exports.liftNullable = exports.lift2 = exports.let = exports.lefts = exports.left = exports.isRight = exports.isLeft = exports.isEither = exports.inspectRight = exports.inspectLeft = exports.getRight = exports.getOrUndefined = exports.getOrThrowWith = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getOptionalSemigroup = exports.getLeft = exports.getFirstRightSemigroup = exports.getFirstLeftSemigroup = exports.getFirstLeftMonoid = exports.getEquivalence = exports.gen = exports.fromOption = exports.fromNullable = exports.fromIterable = exports.flatten = exports.flatMapOption = exports.flatMapNullable = exports.flatMap = exports.flap = exports.firstRightOf = exports.filterMap = exports.filter = exports.exists = exports.divide = exports.contains = exports.composeK = exports.compact = exports.bindTo = exports.bind = exports.bimap = exports.asUnit = exports.as = exports.appendElement = exports.ap = exports.andThenDiscard = exports.andThenBind = exports.andThen = exports.all = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Bicovariant = exports.Applicative = void 0;
+exports.zipWith = exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toRefinement = exports.toOption = exports.toArray = exports.tapError = exports.tap = exports.sum = exports.subtract = exports.struct = exports.sequence = exports.rights = exports.right = exports.reverse = exports.orElseFail = exports.orElseEither = exports.orElse = exports.multiply = exports.merge = exports.match = exports.mapLeft = exports.map = exports.liftThrowable = exports.liftPredicate = exports.liftOption = exports.liftNullable = exports.lift2 = exports.letDiscard = exports.let = exports.lefts = exports.left = exports.isRight = exports.isLeft = exports.isEither = exports.inspectRight = exports.inspectLeft = exports.getRight = exports.getOrUndefined = exports.getOrThrowWith = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getOptionalSemigroup = exports.getLeft = exports.getFirstRightSemigroup = exports.getFirstLeftSemigroup = exports.getFirstLeftMonoid = exports.getEquivalence = exports.gen = exports.fromOption = exports.fromNullable = exports.fromIterable = exports.flatten = exports.flatMapOption = exports.flatMapNullable = exports.flatMap = exports.flap = exports.firstRightOf = exports.filterMap = exports.filter = exports.exists = exports.divide = exports.contains = exports.composeK = exports.compact = exports.bindTo = exports.bindDiscard = exports.bind = exports.bimap = exports.asUnit = exports.as = exports.appendElement = exports.ap = exports.andThenDiscard = exports.andThen = exports.all = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Bicovariant = exports.Applicative = void 0;
 var Equal = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/Equal"));
@@ -1067,2 +1067,8 @@ var _Function = /*#__PURE__*/require("@effect/data/Function");
  */
+const letDiscard = /*#__PURE__*/covariant.letDiscard(Covariant);
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+exports.letDiscard = letDiscard;
 const Do = /*#__PURE__*/of_.Do(Of);
@@ -1089,5 +1095,5 @@ /**
  * const result = pipe(
- *   E.Do,
+ *   E.Do(),
  *   E.bind("a", () => E.left("e1")),
- *   E.andThenBind("b", E.left("e2"))
+ *   E.bindDiscard("b", E.left("e2"))
  * )
@@ -1101,3 +1107,3 @@ *
 exports.bind = bind;
-const andThenBind = /*#__PURE__*/semiProduct.andThenBind(SemiProduct);
+const bindDiscard = /*#__PURE__*/semiProduct.bindDiscard(SemiProduct);
 /**
@@ -1122,5 +1128,5 @@ * The `gen` API is a helper function that provides a generator interface for the `Either` monad instance.
  */
-exports.andThenBind = andThenBind;
+exports.bindDiscard = bindDiscard;
 const gen = /*#__PURE__*/Gen.singleShot(Monad)( /*#__PURE__*/Gen.adapter());
 exports.gen = gen;
 //# sourceMappingURL=Either.js.map

Identity.d.ts

@@ -161,3 +161,3 @@ import type { TypeLambda } from "@effect/data/HKT";
  */
-export declare const andThenBind: {
+export declare const bindDiscard: {
     <N extends string, A extends object, B>(name: Exclude<N, keyof A>, that: Identity<B>): (self: Identity<A>) => Identity<{
@@ -170,2 +170,14 @@ [K in N | keyof A]: K extends keyof A ? A[K] : B;
 };
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+export declare const letDiscard: {
+    <N extends string, A extends object, B>(name: Exclude<N, keyof A>, b: B): (self: A) => {
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    };
+    <A extends object, N extends string, B>(self: A, name: Exclude<N, keyof A>, b: B): {
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    };
+};
 //# sourceMappingURL=Identity.d.ts.map

Identity.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.let = exports.getSemiCoproduct = exports.getSemiAlternative = exports.bindTo = exports.bind = exports.andThenBind = 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.letDiscard = exports.let = exports.getSemiCoproduct = exports.getSemiAlternative = exports.bindTo = exports.bindDiscard = exports.bind = 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;
 var _Function = /*#__PURE__*/require("@effect/data/Function");
@@ -202,4 +202,10 @@ var readonlyArray = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/internal/ReadonlyArray"));
 exports.bind = bind;
-const andThenBind = /*#__PURE__*/semiProduct.andThenBind(SemiProduct);
-exports.andThenBind = andThenBind;
+const bindDiscard = /*#__PURE__*/semiProduct.bindDiscard(SemiProduct);
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+exports.bindDiscard = bindDiscard;
+const letDiscard = /*#__PURE__*/covariant.letDiscard(Chainable);
+exports.letDiscard = letDiscard;
 //# sourceMappingURL=Identity.js.map

Option.d.ts

@@ -556,3 +556,3 @@ /**
  */
-export declare const unit: Option<void>;
+export declare const unit: () => Option<void>;
 /**
@@ -1322,2 +1322,14 @@ * @since 1.0.0
  */
+export declare const letDiscard: {
+    <N extends string, A extends object, B>(name: Exclude<N, keyof A>, b: B): (self: Option<A>) => Option<{
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }>;
+    <A extends object, N extends string, B>(self: Option<A>, name: Exclude<N, keyof A>, b: B): Option<{
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }>;
+};
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
 export declare const bind: {
@@ -1335,3 +1347,3 @@ <N extends string, A extends object, B>(name: Exclude<N, keyof A>, f: (a: A) => Option<B>): (self: Option<A>) => Option<{
  */
-export declare const Do: Option<{}>;
+export declare const Do: () => Option<{}>;
 /**
@@ -1343,3 +1355,3 @@ * A variant of `bind` that sequentially ignores the scope.
  */
-export declare const andThenBind: {
+export declare const bindDiscard: {
     <N extends string, A extends object, B>(name: Exclude<N, keyof A>, that: Option<B>): (self: Option<A>) => Option<{
@@ -1346,0 +1358,0 @@ [K in N | keyof A]: K extends keyof A ? A[K] : B;

Option.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.zipWith = exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toRefinement = exports.toEither = exports.toArray = exports.tap = exports.sumCompact = exports.sum = exports.subtract = exports.struct = exports.some = exports.sequence = exports.reduceCompact = exports.partitionMap = exports.orElseEither = exports.orElse = exports.none = exports.multiplyCompact = exports.multiply = exports.match = exports.map = exports.liftThrowable = exports.liftPredicate = exports.liftNullable = exports.liftEither = exports.lift2 = exports.let = exports.isSome = exports.isOption = exports.isNone = exports.inspectSome = exports.inspectNone = exports.getRight = exports.getOrder = exports.getOrUndefined = exports.getOrThrowWith = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getOptionalMonoid = exports.getLeft = exports.getFirstSomeSemigroup = exports.getFailureSemigroup = exports.getFailureMonoid = exports.getEquivalence = exports.gen = 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.divide = exports.contains = exports.composeK = exports.bindTo = exports.bind = exports.asUnit = exports.as = exports.appendElement = exports.ap = exports.andThenDiscard = exports.andThenBind = exports.andThen = exports.all = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Filterable = exports.Do = exports.Covariant = exports.Coproduct = exports.Chainable = exports.Applicative = exports.Alternative = void 0;
+exports.zipWith = exports.unit = exports.tupled = exports.tuple = exports.traverseTap = exports.traverse = exports.toRefinement = exports.toEither = exports.toArray = exports.tap = exports.sumCompact = exports.sum = exports.subtract = exports.struct = exports.some = exports.sequence = exports.reduceCompact = exports.partitionMap = exports.orElseEither = exports.orElse = exports.none = exports.multiplyCompact = exports.multiply = exports.match = exports.map = exports.liftThrowable = exports.liftPredicate = exports.liftNullable = exports.liftEither = exports.lift2 = exports.letDiscard = exports.let = exports.isSome = exports.isOption = exports.isNone = exports.inspectSome = exports.inspectNone = exports.getRight = exports.getOrder = exports.getOrUndefined = exports.getOrThrowWith = exports.getOrThrow = exports.getOrNull = exports.getOrElse = exports.getOptionalMonoid = exports.getLeft = exports.getFirstSomeSemigroup = exports.getFailureSemigroup = exports.getFailureMonoid = exports.getEquivalence = exports.gen = 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.divide = exports.contains = exports.composeK = exports.bindTo = exports.bindDiscard = exports.bind = exports.asUnit = exports.as = exports.appendElement = exports.ap = exports.andThenDiscard = exports.andThen = exports.all = exports.Traversable = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.Product = exports.Pointed = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Filterable = exports.Do = exports.Covariant = exports.Coproduct = exports.Chainable = exports.Applicative = exports.Alternative = void 0;
 var Equal = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/Equal"));
@@ -1429,2 +1429,8 @@ var _Function = /*#__PURE__*/require("@effect/data/Function");
  */
+const letDiscard = /*#__PURE__*/covariant.letDiscard(Covariant);
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+exports.letDiscard = letDiscard;
 const bind = /*#__PURE__*/chainable.bind(Chainable);
@@ -1444,3 +1450,3 @@ /**
 exports.Do = Do;
-const andThenBind = /*#__PURE__*/semiProduct.andThenBind(SemiProduct);
+const bindDiscard = /*#__PURE__*/semiProduct.bindDiscard(SemiProduct);
 /**
@@ -1465,5 +1471,5 @@ * The `gen` API is a helper function that provides a generator interface for the `Option` monad instance.
  */
-exports.andThenBind = andThenBind;
+exports.bindDiscard = bindDiscard;
 const gen = /*#__PURE__*/Gen.singleShot(Monad)( /*#__PURE__*/Gen.adapter());
 exports.gen = gen;
 //# sourceMappingURL=Option.js.map

package.json

 {
   "name": "@effect/data",
-  "version": "0.7.4",
+  "version": "0.8.0",
   "license": "MIT",
@@ -5,0 +5,0 @@ "repository": {

Predicate.d.ts

@@ -619,3 +619,3 @@ import type { TypeLambda } from "@effect/data/HKT";
  */
-export declare const Do: Predicate<{}>;
+export declare const Do: () => Predicate<{}>;
 /**
@@ -627,3 +627,3 @@ * A variant of `bind` that sequentially ignores the scope.
  */
-export declare const andThenBind: {
+export declare const bindDiscard: {
     <N extends string, A extends object, B>(name: Exclude<N, keyof A>, that: Predicate<B>): (self: Predicate<A>) => Predicate<{
@@ -630,0 +630,0 @@ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B;

Predicate.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.xor = exports.tupled = exports.tuple = exports.struct = exports.some = exports.or = exports.not = exports.nor = exports.nand = exports.isUnknown = exports.isUndefined = exports.isSymbol = exports.isString = exports.isRecord = exports.isReadonlyRecord = exports.isObject = exports.isNumber = exports.isNullable = exports.isNull = exports.isNotUndefined = exports.isNotNullable = exports.isNotNull = exports.isNever = exports.isFunction = exports.isError = exports.isDate = exports.isBoolean = exports.isBigint = exports.implies = exports.getSemigroupXor = exports.getSemigroupSome = exports.getSemigroupEvery = exports.getSemigroupEqv = exports.getMonoidXor = exports.getMonoidSome = exports.getMonoidEvery = exports.getMonoidEqv = exports.every = exports.eqv = exports.contramap = exports.compose = exports.bindTo = exports.appendElement = exports.andThenBind = exports.and = exports.SemiProduct = exports.Product = exports.Invariant = exports.Do = exports.Contravariant = void 0;
+exports.xor = exports.tupled = exports.tuple = exports.struct = exports.some = exports.or = exports.not = exports.nor = exports.nand = exports.isUnknown = exports.isUndefined = exports.isSymbol = exports.isString = exports.isRecord = exports.isReadonlyRecord = exports.isObject = exports.isNumber = exports.isNullable = exports.isNull = exports.isNotUndefined = exports.isNotNullable = exports.isNotNull = exports.isNever = exports.isFunction = exports.isError = exports.isDate = exports.isBoolean = exports.isBigint = exports.implies = exports.getSemigroupXor = exports.getSemigroupSome = exports.getSemigroupEvery = exports.getSemigroupEqv = exports.getMonoidXor = exports.getMonoidSome = exports.getMonoidEvery = exports.getMonoidEqv = exports.every = exports.eqv = exports.contramap = exports.compose = exports.bindTo = exports.bindDiscard = exports.appendElement = exports.and = exports.SemiProduct = exports.Product = exports.Invariant = exports.Do = exports.Contravariant = void 0;
 var _Function = /*#__PURE__*/require("@effect/data/Function");
@@ -684,4 +684,4 @@ var contravariant = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/typeclass/Contravariant"));
 exports.Do = Do;
-const andThenBind = /*#__PURE__*/semiProduct.andThenBind(SemiProduct);
-exports.andThenBind = andThenBind;
+const bindDiscard = /*#__PURE__*/semiProduct.bindDiscard(SemiProduct);
+exports.bindDiscard = bindDiscard;
 //# sourceMappingURL=Predicate.js.map

ReadonlyArray.d.ts

@@ -1407,3 +1407,10 @@ /**
  */
-export declare const Do: ReadonlyArray<{}>;
+export declare const letDiscard: {
+    <N extends string, A extends object, B>(name: Exclude<N, keyof A>, b: B): (self: ReadonlyArray<A>) => Array<{
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }>;
+    <A extends object, N extends string, B>(self: ReadonlyArray<A>, name: Exclude<N, keyof A>, b: B): Array<{
+        [K in N | keyof A]: K extends keyof A ? A[K] : B;
+    }>;
+};
 /**
@@ -1413,2 +1420,7 @@ * @category do notation
  */
+export declare const Do: () => ReadonlyArray<{}>;
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
 export declare const bind: {
@@ -1428,3 +1440,3 @@ <N extends string, A extends object, B>(name: Exclude<N, keyof A>, f: (a: A) => ReadonlyArray<B>): (self: ReadonlyArray<A>) => Array<{
  */
-export declare const andThenBind: {
+export declare const bindDiscard: {
     <N extends string, A extends object, B>(name: Exclude<N, keyof A>, that: ReadonlyArray<B>): (self: ReadonlyArray<A>) => Array<{
@@ -1431,0 +1443,0 @@ [K in N | keyof A]: K extends keyof A ? A[K] : B;

ReadonlyArray.js

@@ -6,6 +6,6 @@ "use strict";
 });
-exports.empty = exports.dropWhile = exports.dropRight = exports.drop = exports.difference = exports.copy = exports.coproductMapKind = exports.contains = exports.composeK = exports.compact = exports.combineMapNonEmpty = exports.combineMap = exports.chunksOfNonEmpty = exports.chunksOf = exports.chopNonEmpty = exports.chop = exports.bindTo = exports.bind = exports.appendAllNonEmpty = exports.appendAll = exports.append = exports.ap = exports.andThenBind = exports.TraversableFilterable = exports.Traversable = exports.SemiProduct = exports.SemiApplicative = exports.Product = exports.Pointed = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Filterable = exports.Do = exports.Covariant = exports.Chainable = exports.Applicative = void 0;
+exports.empty = exports.dropWhile = exports.dropRight = exports.drop = exports.difference = exports.copy = exports.coproductMapKind = exports.contains = exports.composeK = exports.compact = exports.combineMapNonEmpty = exports.combineMap = exports.chunksOfNonEmpty = exports.chunksOf = exports.chopNonEmpty = exports.chop = exports.bindTo = exports.bindDiscard = exports.bind = exports.appendAllNonEmpty = exports.appendAll = exports.append = exports.ap = exports.TraversableFilterable = exports.Traversable = exports.SemiProduct = exports.SemiApplicative = exports.Product = exports.Pointed = exports.Monad = exports.Invariant = exports.Foldable = exports.FlatMap = exports.Filterable = exports.Do = exports.Covariant = exports.Chainable = exports.Applicative = void 0;
 exports.every = every;
-exports.matchRight = exports.matchLeft = exports.match = exports.mapNonEmpty = exports.map = exports.makeBy = exports.make = exports.liftPredicate = exports.liftOption = exports.liftNullable = exports.liftMonoid = exports.liftEither = exports.lift2 = exports.let = exports.length = exports.lefts = exports.lastNonEmpty = exports.last = exports.join = exports.isNonEmptyReadonlyArray = exports.isNonEmptyArray = exports.isEmptyReadonlyArray = exports.isEmptyArray = exports.intersperseNonEmpty = exports.intersperse = exports.intersection = exports.intercalateNonEmpty = exports.intercalate = exports.insertAt = exports.initNonEmpty = exports.init = exports.headNonEmpty = exports.head = exports.groupBy = exports.group = exports.getUnionSemigroup = exports.getUnionMonoid = exports.getSemigroup = exports.getOrder = exports.getMonoid = exports.getIntersectionSemigroup = exports.getEquivalence = exports.get = exports.fromRecord = exports.fromOption = exports.fromNullable = exports.fromIterable = exports.fromEither = exports.flattenNonEmpty = exports.flatten = exports.flatMapNullable = exports.flatMapNonEmpty = exports.flatMap = exports.flap = exports.findLastIndex = exports.findLast = exports.findFirstIndex = exports.findFirst = exports.filterMap = exports.filter = exports.extend = void 0;
-exports.zipWith = exports.zipNonEmptyWith = exports.zipNonEmpty = exports.zip = exports.unzipNonEmpty = exports.unzip = exports.unsafeGet = exports.unprepend = exports.uniqNonEmpty = exports.uniq = exports.unionNonEmpty = exports.union = exports.unfold = exports.unappend = exports.tupled = exports.traverseTap = exports.traversePartitionMap = exports.traversePartition = exports.traverseNonEmpty = exports.traverseFilterMap = exports.traverseFilter = exports.traverse = exports.takeWhile = exports.takeRight = exports.take = exports.tailNonEmpty = exports.tail = exports.splitNonEmptyAt = exports.splitAt = exports.span = exports.sortNonEmpty = exports.sortByNonEmpty = exports.sortBy = exports.sort = exports.some = exports.setNonEmptyLast = exports.setNonEmptyHead = exports.sequenceNonEmpty = exports.sequence = exports.separate = exports.scanRight = exports.scan = exports.rotateNonEmpty = exports.rotate = exports.rights = exports.reverseNonEmpty = exports.reverse = exports.replicate = exports.replaceOption = exports.replace = exports.remove = exports.reduceRight = exports.reduceKind = exports.reduce = exports.range = exports.prependAllNonEmpty = exports.prependAll = exports.prepend = exports.partitionMap = exports.partition = exports.of = exports.modifyOption = exports.modifyNonEmptyLast = exports.modifyNonEmptyHead = exports.modify = exports.min = exports.max = void 0;
+exports.matchLeft = exports.match = exports.mapNonEmpty = exports.map = exports.makeBy = exports.make = exports.liftPredicate = exports.liftOption = exports.liftNullable = exports.liftMonoid = exports.liftEither = exports.lift2 = exports.letDiscard = exports.let = exports.length = exports.lefts = exports.lastNonEmpty = exports.last = exports.join = exports.isNonEmptyReadonlyArray = exports.isNonEmptyArray = exports.isEmptyReadonlyArray = exports.isEmptyArray = exports.intersperseNonEmpty = exports.intersperse = exports.intersection = exports.intercalateNonEmpty = exports.intercalate = exports.insertAt = exports.initNonEmpty = exports.init = exports.headNonEmpty = exports.head = exports.groupBy = exports.group = exports.getUnionSemigroup = exports.getUnionMonoid = exports.getSemigroup = exports.getOrder = exports.getMonoid = exports.getIntersectionSemigroup = exports.getEquivalence = exports.get = exports.fromRecord = exports.fromOption = exports.fromNullable = exports.fromIterable = exports.fromEither = exports.flattenNonEmpty = exports.flatten = exports.flatMapNullable = exports.flatMapNonEmpty = exports.flatMap = exports.flap = exports.findLastIndex = exports.findLast = exports.findFirstIndex = exports.findFirst = exports.filterMap = exports.filter = exports.extend = void 0;
+exports.zipWith = exports.zipNonEmptyWith = exports.zipNonEmpty = exports.zip = exports.unzipNonEmpty = exports.unzip = exports.unsafeGet = exports.unprepend = exports.uniqNonEmpty = exports.uniq = exports.unionNonEmpty = exports.union = exports.unfold = exports.unappend = exports.tupled = exports.traverseTap = exports.traversePartitionMap = exports.traversePartition = exports.traverseNonEmpty = exports.traverseFilterMap = exports.traverseFilter = exports.traverse = exports.takeWhile = exports.takeRight = exports.take = exports.tailNonEmpty = exports.tail = exports.splitNonEmptyAt = exports.splitAt = exports.span = exports.sortNonEmpty = exports.sortByNonEmpty = exports.sortBy = exports.sort = exports.some = exports.setNonEmptyLast = exports.setNonEmptyHead = exports.sequenceNonEmpty = exports.sequence = exports.separate = exports.scanRight = exports.scan = exports.rotateNonEmpty = exports.rotate = exports.rights = exports.reverseNonEmpty = exports.reverse = exports.replicate = exports.replaceOption = exports.replace = exports.remove = exports.reduceRight = exports.reduceKind = exports.reduce = exports.range = exports.prependAllNonEmpty = exports.prependAll = exports.prepend = exports.partitionMap = exports.partition = exports.of = exports.modifyOption = exports.modifyNonEmptyLast = exports.modifyNonEmptyHead = exports.modify = exports.min = exports.max = exports.matchRight = void 0;
 var E = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/Either"));
@@ -1661,2 +1661,8 @@ var _Function = /*#__PURE__*/require("@effect/data/Function");
  */
+const letDiscard = /*#__PURE__*/covariant.letDiscard(Covariant);
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+exports.letDiscard = letDiscard;
 const Do = /*#__PURE__*/of_.Do(Of);
@@ -1676,4 +1682,4 @@ /**
 exports.bind = bind;
-const andThenBind = /*#__PURE__*/semiProduct.andThenBind(SemiProduct);
-exports.andThenBind = andThenBind;
+const bindDiscard = /*#__PURE__*/semiProduct.bindDiscard(SemiProduct);
+exports.bindDiscard = bindDiscard;
 //# sourceMappingURL=ReadonlyArray.js.map

src/Either.ts

@@ -361,3 +361,3 @@ /**
  */
-export const unit: Either<never, void> = of_.unit(Of)
+export const unit: <E = never>() => Either<E, void> = of_.unit(Of)
 
@@ -1463,2 +1463,3 @@ /**
 }
+
 /**
@@ -1468,3 +1469,13 @@ * @category do notation
  */
-export const Do: Either<never, {}> = of_.Do(Of)
+export const letDiscard: {
+  <N extends string, A extends object, B>(
+    name: Exclude<N, keyof A>,
+    b: B
+  ): <E>(self: Either<E, A>) => Either<E, { [K in N | keyof A]: K extends keyof A ? A[K] : B }>
+  <E, A extends object, N extends string, B>(
+    self: Either<E, A>,
+    name: Exclude<N, keyof A>,
+    b: B
+  ): Either<E, { [K in N | keyof A]: K extends keyof A ? A[K] : B }>
+} = covariant.letDiscard(Covariant)
 
@@ -1475,2 +1486,8 @@ /**
  */
+export const Do: <E = never>() => Either<E, {}> = of_.Do(Of)
+
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
 export const bind: {
@@ -1504,5 +1521,5 @@ <N extends string, A extends object, E2, B>(
  * const result = pipe(
- *   E.Do,
+ *   E.Do(),
  *   E.bind("a", () => E.left("e1")),
- *   E.andThenBind("b", E.left("e2"))
+ *   E.bindDiscard("b", E.left("e2"))
  * )
@@ -1515,3 +1532,3 @@ *
  */
-export const andThenBind: {
+export const bindDiscard: {
   <N extends string, A extends object, E2, B>(
@@ -1528,3 +1545,3 @@ name: Exclude<N, keyof A>,
   ): Either<E1 | E2, { [K in N | keyof A]: K extends keyof A ? A[K] : B }>
-} = semiProduct.andThenBind(SemiProduct)
+} = semiProduct.bindDiscard(SemiProduct)
 
@@ -1531,0 +1548,0 @@ /**

src/Identity.ts

@@ -288,3 +288,3 @@ /**
  */
-export const andThenBind: {
+export const bindDiscard: {
   <N extends string, A extends object, B>(
@@ -299,2 +299,18 @@ name: Exclude<N, keyof A>,
   ): Identity<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }>
-} = semiProduct.andThenBind(SemiProduct)
+} = semiProduct.bindDiscard(SemiProduct)
+
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+export const letDiscard: {
+  <N extends string, A extends object, B>(
+    name: Exclude<N, keyof A>,
+    b: B
+  ): (self: A) => { [K in N | keyof A]: K extends keyof A ? A[K] : B }
+  <A extends object, N extends string, B>(
+    self: A,
+    name: Exclude<N, keyof A>,
+    b: B
+  ): { [K in N | keyof A]: K extends keyof A ? A[K] : B }
+} = covariant.letDiscard(Chainable)

src/Option.ts

@@ -675,3 +675,3 @@ /**
  */
-export const unit: Option<void> = of_.unit(Of)
+export const unit: () => Option<void> = of_.unit(Of)
 
@@ -1710,2 +1710,18 @@ /**
  */
+export const letDiscard: {
+  <N extends string, A extends object, B>(
+    name: Exclude<N, keyof A>,
+    b: B
+  ): (self: Option<A>) => Option<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }>
+  <A extends object, N extends string, B>(
+    self: Option<A>,
+    name: Exclude<N, keyof A>,
+    b: B
+  ): Option<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }>
+} = covariant.letDiscard(Covariant)
+
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
 export const bind: {
@@ -1727,3 +1743,3 @@ <N extends string, A extends object, B>(
  */
-export const Do: Option<{}> = of_.Do(Of)
+export const Do: () => Option<{}> = of_.Do(Of)
 
@@ -1736,3 +1752,3 @@ /**
  */
-export const andThenBind: {
+export const bindDiscard: {
   <N extends string, A extends object, B>(
@@ -1747,3 +1763,3 @@ name: Exclude<N, keyof A>,
   ): Option<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }>
-} = semiProduct.andThenBind(SemiProduct)
+} = semiProduct.bindDiscard(SemiProduct)
 
@@ -1750,0 +1766,0 @@ /**

src/Predicate.ts

@@ -778,3 +778,3 @@ /**
  */
-export const Do: Predicate<{}> = of_.Do(Of)
+export const Do: () => Predicate<{}> = of_.Do(Of)
 
@@ -787,3 +787,3 @@ /**
  */
-export const andThenBind: {
+export const bindDiscard: {
   <N extends string, A extends object, B>(
@@ -800,2 +800,2 @@ name: Exclude<N, keyof A>,
   ): Predicate<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
-} = semiProduct.andThenBind(SemiProduct)
+} = semiProduct.bindDiscard(SemiProduct)

src/typeclass/Covariant.ts

@@ -104,1 +104,27 @@ /**
 }
+
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+export const letDiscard = <F extends TypeLambda>(
+  F: Covariant<F>
+): {
+  <N extends string, A extends object, B>(
+    name: Exclude<N, keyof A>,
+    b: B
+  ): <R, O, E>(
+    self: Kind<F, R, O, E, A>
+  ) => Kind<F, R, O, E, { [K in keyof A | N]: K extends keyof A ? A[K] : B }>
+  <R, O, E, A extends object, N extends string, B>(
+    self: Kind<F, R, O, E, A>,
+    name: Exclude<N, keyof A>,
+    b: B
+  ): Kind<F, R, O, E, { [K in keyof A | N]: K extends keyof A ? A[K] : B }>
+} =>
+  dual(3, <R, O, E, A extends object, N extends string, B>(
+    self: Kind<F, R, O, E, A>,
+    name: Exclude<N, keyof A>,
+    b: B
+  ): Kind<F, R, O, E, { [K in keyof A | N]: K extends keyof A ? A[K] : B }> =>
+    F.map(self, (a) => Object.assign({}, a, { [name]: b }) as any))

src/typeclass/Of.ts

@@ -29,3 +29,3 @@ /**
   F: Of<F>
-): Kind<F, unknown, never, never, void> => F.of<void>(undefined)
+): <R = unknown, O = never, E = never>() => Kind<F, R, O, E, void> => () => F.of<void>(undefined)
 
@@ -38,2 +38,2 @@ /**
   F: Of<F>
-): Kind<F, unknown, never, never, {}> => F.of({})
+): <R = unknown, O = never, E = never>() => Kind<F, R, O, E, {}> => () => F.of({})

src/typeclass/SemiProduct.ts

@@ -89,3 +89,3 @@ /**
  */
-export const andThenBind = <F extends TypeLambda>(F: SemiProduct<F>): {
+export const bindDiscard = <F extends TypeLambda>(F: SemiProduct<F>): {
   <N extends string, A extends object, R2, O2, E2, B>(
@@ -92,0 +92,0 @@ name: Exclude<N, keyof A>,

typeclass/Covariant.d.ts

@@ -59,2 +59,10 @@ import type { Kind, TypeLambda } from "@effect/data/HKT";
 let_ as let };
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+export declare const letDiscard: <F extends TypeLambda>(F: Covariant<F>) => {
+    <N extends string, A extends object, B>(name: Exclude<N, keyof A>, b: B): <R, O, E>(self: Kind<F, R, O, E, A>) => Kind<F, R, O, E, { [K in N | keyof A]: K extends keyof A ? A[K] : B; }>;
+    <R_1, O_1, E_1, A_1 extends object, N_1 extends string, B_1>(self: Kind<F, R_1, O_1, E_1, A_1>, name: Exclude<N_1, keyof A_1>, b: B_1): Kind<F, R_1, O_1, E_1, { [K_1 in N_1 | keyof A_1]: K_1 extends keyof A_1 ? A_1[K_1] : B_1; }>;
+};
 //# sourceMappingURL=Covariant.d.ts.map

typeclass/Covariant.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.mapComposition = exports.let = exports.imap = exports.flap = exports.asUnit = exports.as = void 0;
+exports.mapComposition = exports.letDiscard = exports.let = exports.imap = exports.flap = exports.asUnit = exports.as = void 0;
 var _Function = /*#__PURE__*/require("@effect/data/Function");
@@ -49,2 +49,10 @@ /**
 exports.let = let_;
+/**
+ * @category do notation
+ * @since 1.0.0
+ */
+const letDiscard = F => (0, _Function.dual)(3, (self, name, b) => F.map(self, a => Object.assign({}, a, {
+  [name]: b
+})));
+exports.letDiscard = letDiscard;
 //# sourceMappingURL=Covariant.js.map

typeclass/Of.d.ts

@@ -21,3 +21,3 @@ /**
  */
-export declare const unit: <F extends TypeLambda>(F: Of<F>) => Kind<F, unknown, never, never, void>;
+export declare const unit: <F extends TypeLambda>(F: Of<F>) => <R = unknown, O = never, E = never>() => Kind<F, R, O, E, void>;
 /**
@@ -27,3 +27,3 @@ * @category do notation
  */
-export declare const Do: <F extends TypeLambda>(F: Of<F>) => Kind<F, unknown, never, never, {}>;
+export declare const Do: <F extends TypeLambda>(F: Of<F>) => <R = unknown, O = never, E = never>() => Kind<F, R, O, E, {}>;
 //# sourceMappingURL=Of.d.ts.map

typeclass/Of.js

@@ -17,3 +17,3 @@ "use strict";
 exports.ofComposition = ofComposition;
-const unit = F => F.of(undefined);
+const unit = F => () => F.of(undefined);
 /**
@@ -24,4 +24,4 @@ * @category do notation
 exports.unit = unit;
-const Do = F => F.of({});
+const Do = F => () => F.of({});
 exports.Do = Do;
 //# sourceMappingURL=Of.js.map

typeclass/SemiProduct.d.ts

@@ -39,3 +39,3 @@ import type { Kind, TypeLambda } from "@effect/data/HKT";
  */
-export declare const andThenBind: <F extends TypeLambda>(F: SemiProduct<F>) => {
+export declare const bindDiscard: <F extends TypeLambda>(F: SemiProduct<F>) => {
     <N extends string, A extends object, R2, O2, E2, B>(name: Exclude<N, keyof A>, that: Kind<F, R2, O2, E2, B>): <R1, O1, E1>(self: Kind<F, R1, O1, E1, A>) => Kind<F, R1 & R2, O2 | O1, E2 | E1, { [K in N | keyof A]: K extends keyof A ? A[K] : B; }>;
@@ -42,0 +42,0 @@ <R1_1, O1_1, E1_1, A_1 extends object, N_1 extends string, R2_1, O2_1, E2_1, B_1>(self: Kind<F, R1_1, O1_1, E1_1, A_1>, name: Exclude<N_1, keyof A_1>, that: Kind<F, R2_1, O2_1, E2_1, B_1>): Kind<F, R1_1 & R2_1, O1_1 | O2_1, E1_1 | E2_1, { [K_1 in N_1 | keyof A_1]: K_1 extends keyof A_1 ? A_1[K_1] : B_1; }>;

typeclass/SemiProduct.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.productManyComposition = exports.productMany = exports.productComposition = exports.nonEmptyTuple = exports.nonEmptyStruct = exports.appendElement = exports.andThenBind = void 0;
+exports.productManyComposition = exports.productMany = exports.productComposition = exports.nonEmptyTuple = exports.nonEmptyStruct = exports.bindDiscard = exports.appendElement = void 0;
 var _Function = /*#__PURE__*/require("@effect/data/Function");
@@ -45,3 +45,3 @@ /**
 exports.productManyComposition = productManyComposition;
-const andThenBind = F => (0, _Function.dual)(3, (self, name, that) => F.imap(F.product(self, that), ([a, b]) => Object.assign({}, a, {
+const bindDiscard = F => (0, _Function.dual)(3, (self, name, that) => F.imap(F.product(self, that), ([a, b]) => Object.assign({}, a, {
   [name]: b
@@ -57,3 +57,3 @@ }), ({
  */
-exports.andThenBind = andThenBind;
+exports.bindDiscard = bindDiscard;
 const appendElement = F => (0, _Function.dual)(2, (self, that) => F.imap(F.product(self, that), ([a, b]) => [...a, b], ab => [ab.slice(0, -1), ab[ab.length - 1]]));
@@ -60,0 +60,0 @@ /**

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

3574869

increased by0.3%

Lines of code

76208

increased by0.26%

No dependency changes