@sweet-monads/maybe

@sweet-monads/maybe

Maybe Monad, The Maybe monad represents computations which might "go wrong" by not returning a value.

This library belongs to sweet-monads project

sweet-monads — easy-to-use monads implementation with static types definition and separated packages.

• No dependencies, one small file
• Easily auditable TypeScript/JS code
• Check out all libraries: either, iterator, interfaces,

Usage

npm install @sweet-monads/maybe

import { Maybe } from "@sweet-monads/maybe";

type User = { email: string, password: string };

function getUser(id: number): Maybe<User> {
  return Maybe.just({ email: "[e-mail]", password: "test" });
}

// Maybe<string>
const user = getUser(1).map(({ email }) => email);

API

• Maybe.merge
• Maybe.none
• Maybe.just
• Maybe.from
• Maybe#isNone
• Maybe#isJust
• Maybe#join
• Maybe#map
• Maybe#asyncMap
• Maybe#chain
• Maybe#asyncChain
• Helpers

Maybe.merge

function merge<V1>(values: [Maybe<V1>]): Maybe<[V1]>;
function merge<V1, V2>(values: [Maybe<V1>, Maybe<V2>]): Maybe<[V1, V2]>;
function merge<V1, V2, V3>(values: [Maybe<V1>, Maybe<V2>, Maybe<V3>]): Maybe<[V1, V2, V3]>;
// ... until 10 elements

• values: Array<Maybe<T>> - Array of Maybe values which will be merged into Maybe of Array
• Returns Maybe<Array<T>> Maybe of Array which will contain Just<Array<T>> if all of array elements was Just<T> else None.

Example:

const v1 = Maybe.just(2); // Maybe<number>.Just
const v2 = Maybe.just("test"); // Maybe<string>.Just
const v3 = Maybe.none<boolean>(); // Maybe<boolean>.None

Maybe.merge([v1, v2]) // Maybe<[number, string]>.Just
Maybe.merge([v1, v2, v3]) // Maybe<[number, string, boolean]>.None

Maybe.none

function none<T>(): Maybe<T>;

• Returns Maybe with None state Example:

const v1 = Maybe.none(); // Maybe<unknown>.None
const v2 = Maybe.none<number>(); // Maybe<number>.None

Maybe.just

function just<T>(value: T): Maybe<T>;

• Returns Maybe with Just state which contain value with T type. Example:

const v1 = Maybe.just(2); // Maybe<number>.Just
const v2 = Maybe.just<2>(2); // Maybe<2>.Just

Maybe.from

The same as Maybe.just

function from<T>(value: T): Maybe<T>;

• Returns Maybe with Just state which contain value with T type. Example:

const v1 = Maybe.from(2); // Maybe<number>.Just
const v2 = Maybe.from<2>(2); // Maybe<2>.Just

Maybe#isNone

function isNone(): boolean;

• Returns true if state of Maybe is None otherwise false Example:

const v1 = Maybe.just(2);
const v2 = Maybe.none();

v1.isNone() // false
v2.isNone() // true

Maybe#isJust

function isJust(): boolean;

• Returns true if state of Maybe is Just otherwise false Example:

const v1 = Maybe.just(2);
const v2 = Maybe.none();

v1.isJust() // true
v2.isJust() // false

Maybe#join

function join<V>(this: Maybe<Maybe<V>>): Maybe<V>;

• this: Maybe<Maybe<V>> - Maybe instance which contains other Maybe instance as Just value.
• Returns unwrapped Maybe - if current Maybe has Just state and inner Maybe has Just state then returns inner Maybe Just, otherwise returns Maybe None. Example:

const v1 = Maybe.just(Maybe.just(2));
const v2 = Maybe.just(Maybe.none());
const v3 = Maybe.none<Maybe<number>>();

v1.join() // Maybe.Just with value 2
v2.join() // Maybe.None without value
v3.join() // Maybe.None without value

Maybe#map

function map<Val, NewVal>(fn: (val: Val) => NewVal): Maybe<NewVal>;

• Returns mapped by fn function value wrapped by Maybe if Maybe is Just otherwise None Example:

const v1 = Maybe.just(2);
const v2 = Maybe.none<number>();

const newVal1 = v1.map(a => a.toString()); // Maybe<string>.Just with value "2"
const newVal2 = v2.map(a => a.toString()); // Maybe<string>.None without value

Maybe#asyncMap

function asyncMap<Val, NewVal>(fn: (val: Val) => Promise<NewVal>): Promise<Maybe<NewVal>>;

• Returns Promise with mapped by fn function value wrapped by Maybe if Maybe is Just otherwise None Example:

const v1 = Maybe.just(2);
const v2 = Maybe.none<number>();

// Promise<Maybe<string>.Just> with value "2"
const newVal1 = v1.asyncMap(a => Promise.resolve(a.toString())); 
// Promise<Maybe<string>.None> without value
const newVal2 = v2.asyncMap(a => Promise.resolve(a.toString()));

Maybe#chain

function chain<Val, NewVal>(fn: (val: Val) => Maybe<NewVal>): Maybe<NewVal>;

• Returns mapped by fn function value wrapped by Maybe if Maybe is Just and returned by fn value is Just too otherwise None Example:

const v1 = Maybe.just(2);
const v2 = Maybe.none<number>();

const newVal1 = v1.chain(a => Maybe.just(a.toString())); // Maybe<string>.Just with value "2"
const newVal2 = v1.chain(a => Maybe.none()); // Maybe<string>.None without value
const newVal3 = v2.chain(a => Maybe.just(a.toString())); // Maybe<string>.None without value
const newVal4 = v2.chain(a => Maybe.none()); // Maybe<string>.None without value

Maybe#asyncChain

function asyncChain<Val, NewVal>(fn: (val: Val) => Promise<Maybe<NewVal>>): Promise<Maybe<NewVal>>;

• Returns Promise with mapped by fn function value wrapped by Maybe if Maybe is Just otherwise None Example:

const v1 = Maybe.just(2);
const v2 = Maybe.none<number>();
// Promise<Maybe<string>>.Just with value "2"
const newVal1 = v1.asyncChain(a => Promise.resolve(Maybe.just(a.toString())));
// Promise<Maybe<string>>.None without value
const newVal2 = v1.asyncChain(a => Promise.resolve(Maybe.none()));
// Promise<Maybe<string>>.None without value
const newVal3 = v2.asyncChain(a => Promise.resolve(Maybe.just(a.toString())));
// Promise<Maybe<string>>.None without value
const newVal4 = v2.asyncChain(a => Promise.resolve(Maybe.none()));

Helpers

// Value from Maybe instance
const { value } = Maybe.just(2); // number | undefined

License

MIT (c) Artem Kobzar see LICENSE file.