Ramda Adjunct 1.8.1

Identity

RA. Identity

The simplest fantasy-land compatible monad which attaches no information to values.

The Identity type is a very simple type that has no interesting side effects and is effectively just a container of some value. So why does it exist ? The Identity type is often used as the base monad of a monad transformer when no other behaviour is required.

Constructor

new Identity(value)

Source:
Since:
Implements:

Private constructor. Use Identity.of instead.

Parameters:
Name Type Description
value *

Members

(static) @@type

Source:

Methods

(static) of(value) → {RA.Identity}

Source:
Signature:
  • of :: Applicative f => a -> f a

Fantasy land Applicative specification.

Example
const a = Identity.of(1); //=> Identity(1)
Parameters:
Name Type Description
value *
Returns:
Type
RA.Identity

ap(applyWithFn) → {RA.Identity}

Source:
Signature:
  • ap :: Apply f => f a ~> f (a -> b) -> f b

Fantasy land Apply specification.

Example
const a = Identity.of(1);
const b = Identity.of(1).map(a => b => a + b);

a.ap(b); //=> Identity(2)
Parameters:
Name Type Description
applyWithFn RA.Identity
Returns:
Type
RA.Identity

chain(fn) → {RA.Identity}

Source:
Signature:
  • chain :: Chain m => m a ~> (a -> m b) -> m b

Fantasy land Chain specification.

Example
const a = Identity.of(1);
const fn = val => Identity.of(val + 1);

a.chain(fn).chain(fn); //=> Identity(3)
Parameters:
Name Type Description
fn function

Function returning the value of the same Chain

Returns:
Type
RA.Identity

concat(semigroup) → {RA.Identity}

Source:
Signature:
  • concat :: Semigroup a => a ~> a -> a

Fantasy land Semigroup specification.

Example
const a = Identity.of(1);
const b = Identity.of(1);
a.concat(b); //=> 2

const c = Identity.of('c');
const d = Identity.of('d');
c.concat(d); //=> 'cd'

const e = Identity.of(['e']);
const f = Identity.of(['f']);
e.concat(f); //=> ['e', 'f']
Parameters:
Name Type Description
semigroup RA.Identity
Returns:
Type
RA.Identity

equals(setoid) → {boolean}

Source:
Signature:
  • equals :: Setoid a => a ~> a -> Boolean

Fantasy land Setoid specification.

Example
const a = Identity.of(1);
const b = Identity.of(1);
const c = Identity.of(2);

a.equlas(b); //=> true
a.equals(c); //=> false
Parameters:
Name Type Description
setoid RA.Identity
Returns:
Type
boolean

get() → {*}

Source:

Catamorphism for a value.

Example
const a = Identity.of(1);
a.get(); //=> 1
Returns:
Type
*

map(fn) → {RA.Identity}

Source:
Signature:
  • map :: Functor f => f a ~> (a -> b) -> f b

Fantasy land Functor specification.

Example
const a = Identity.of(1);
a.map(a => a + 1); //=> Identity(2)
Parameters:
Name Type Description
fn function
Returns:
Type
RA.Identity