fnts 1.4.0 → 1.5.3

package/either/operators/bindr.d.ts

@@ -0,0 +1,13 @@
+/**
+ * @module Either Operators
+ */
+import type { Map } from '../../types';
+import type { Either } from '../either';
+/**
+ * Maps right value to a new monad returning it.
+ */
+export default function bindr<LeftValue, RightValue, NextRightValue>(mapRight: Map<RightValue, Either<LeftValue, NextRightValue>>): (monad: Either<LeftValue, RightValue>) => Either<LeftValue, NextRightValue>;
+/**
+ * Maps right value to a new monad returning it.
+ */
+export default function bindr<LeftValue, RightValue, NextRightValue>(monad: Either<LeftValue, RightValue>, mapRight: Map<RightValue, Either<LeftValue, NextRightValue>>): Either<LeftValue, NextRightValue>;

package/either/operators/bindr.js

@@ -0,0 +1,21 @@
+"use strict";
+/**
+ * @module Either Operators
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+var compose_1 = require("../../compose");
+var ternary_1 = require("../../ternary");
+var identity_1 = require("../../identity");
+var permutation_2_1 = require("../../permutation/permutation-2");
+var bifold_1 = require("./bifold");
+var guards_1 = require("./guards");
+function bindr() {
+    var args = [];
+    for (var _i = 0; _i < arguments.length; _i++) {
+        args[_i] = arguments[_i];
+    }
+    return permutation_2_1.default(function (monad, mapRight) {
+        return ternary_1.default(guards_1.isRight, compose_1.default(mapRight, bifold_1.bifoldr), identity_1.default)(monad);
+    }).apply(void 0, args);
+}
+exports.default = bindr;

package/either/operators/index.d.ts

@@ -1,4 +1,5 @@
 export { bifoldl, Bifoldl, bifoldr, Bifoldr, default as bifold, Bifold, } from './bifold';
 export * from './guards';
+export { default as bindr } from './bindr';
 export { default as bifoldMap } from './bifold-map';
 export { default as bimap, first, second } from './bimap';

package/either/operators/index.js

@@ -10,12 +10,14 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
     for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.second = exports.first = exports.bimap = exports.bifoldMap = exports.bifold = exports.bifoldr = exports.bifoldl = void 0;
+exports.second = exports.first = exports.bimap = exports.bifoldMap = exports.bindr = exports.bifold = exports.bifoldr = exports.bifoldl = void 0;
 var bifold_1 = require("./bifold");
 Object.defineProperty(exports, "bifoldl", { enumerable: true, get: function () { return bifold_1.bifoldl; } });
 Object.defineProperty(exports, "bifoldr", { enumerable: true, get: function () { return bifold_1.bifoldr; } });
 Object.defineProperty(exports, "bifold", { enumerable: true, get: function () { return bifold_1.default; } });
 __exportStar(require("./guards"), exports);
+var bindr_1 = require("./bindr");
+Object.defineProperty(exports, "bindr", { enumerable: true, get: function () { return bindr_1.default; } });
 var bifold_map_1 = require("./bifold-map");
 Object.defineProperty(exports, "bifoldMap", { enumerable: true, get: function () { return bifold_map_1.default; } });
 var bimap_1 = require("./bimap");

package/maybe/just.d.ts

@@ -11,11 +11,11 @@ export declare const jid: unique symbol;
  * key, holding the provided value type.
  */
 export declare type Just<Value> = {
-    [jid]: Exclude<Value, null | undefined>;
+    [jid]: NonNullable<Value>;
 };
 /**
  * Constructor function for `Just`.
  * Creates the special object with one property, represented as unique symbol
  * key, holding the provided value.
  */
-export default function just<Value>(value: Value): Just<Value>;
+export default function just<Value extends NonNullable<any>>(value: Value): Just<Value>;

package/maybe/maybe.d.ts

@@ -12,4 +12,9 @@ export declare type Maybe<Value> = Just<Value> | Nothing;
  * Constructor function for `Maybe`.
  * Creates either `just` of a provided value, or `nothing`.
  */
-export default function maybe<Value>(value: Value | null | undefined): Maybe<Value>;
+export default function maybe(value: null | undefined): Nothing;
+/**
+ * Constructor function for `Maybe`.
+ * Creates either `just` of a provided value, or `nothing`.
+ */
+export default function maybe<Value>(value: Value | null | undefined): Just<Value>;

package/maybe/operators/bind.d.ts

@@ -7,9 +7,9 @@ import type { Map } from '../../types/map';
  * Binds the value of the `monad` to new monad created
  * by the `transition` function.
  */
-export default function bind<Value, NextValue>(transition: Map<Value, Maybe<NextValue>>): (monad: Maybe<Value>) => Maybe<NextValue>;
+export default function bind<Value, NextValue>(transition: Map<Value, Maybe<NextValue>>): (monad: Maybe<Value>) => Maybe<NonNullable<NextValue>>;
 /**
  * Binds the value of the `monad` to new monad created
  * by the `transition` function.
  */
-export default function bind<Value, NextValue>(monad: Maybe<Value>, transition: Map<Value, Maybe<NextValue>>): Maybe<NextValue>;
+export default function bind<Value, NextValue>(monad: Maybe<Value>, transition: Map<Value, Maybe<NextValue>>): Maybe<NonNullable<NextValue>>;

package/maybe/operators/fmap.d.ts

@@ -7,9 +7,9 @@ import type { Map } from '../../types/map';
  * Maps the value of the provided `monad` through the `transition` function
  * and returns a new `Maybe` of the mapped value.
  */
-export default function fmap<Value, NextValue = Value>(transition: Map<Value, NextValue>): (monad: Maybe<Value>) => Maybe<NextValue>;
+export default function fmap<Value, NextValue = Value>(transition: Map<Value, NextValue>): (monad: Maybe<Value>) => Maybe<NonNullable<NextValue>>;
 /**
  * Maps the value of the provided `monad` through the `transition` function
  * and returns a new `Maybe` of the mapped value.
  */
-export default function fmap<Value, NextValue = Value>(monad: Maybe<Value>, transition: Map<Value, NextValue>): Maybe<NextValue>;
+export default function fmap<Value, NextValue = Value>(monad: Maybe<Value>, transition: Map<Value, NextValue>): Maybe<NonNullable<NextValue>>;

package/maybe/operators/fold-map.d.ts

@@ -8,14 +8,14 @@ import type { Map } from '../../types/map';
 /**
  * A type to unwrap the provided `Monad` into the new value type.
  */
-export declare type FoldMap<Monad extends Maybe<any>, NextValue> = Monad extends Just<any> ? NextValue : Monad extends Nothing ? null : never;
+export declare type FoldMap<Monad extends Maybe<any>, NextValue> = Monad extends Just<any> ? NonNullable<NextValue> : Monad extends Nothing ? null : never;
 /**
  * Maps the value of the provided `monad` through the `transition` function
  * and returns the mapped value or `null`.
  */
-export default function foldMap<Value, NextValue = Value>(transition: Map<Value, NextValue>): (monad: Maybe<Value>) => NextValue | null;
+export default function foldMap<Value, NextValue = Value>(transition: Map<Value, NextValue>): (monad: Maybe<Value>) => FoldMap<Maybe<Value>, NextValue>;
 /**
  * Maps the value of the provided `monad` through the `transition` function
  * and returns the mapped value or `null`.
  */
-export default function foldMap<Value, NextValue = Value>(monad: Maybe<Value>, transition: Map<Value, NextValue>): NextValue | null;
+export default function foldMap<Value, NextValue = Value>(monad: Maybe<Value>, transition: Map<Value, NextValue>): FoldMap<Maybe<Value>, NextValue>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "fnts",
-  "version": "1.4.0",
+  "version": "1.5.3",
   "license": "MIT",
   "author": "Dmytro Vasylkivskyi",
   "description": "TypeScript / JavaScript FP utilities",