Identity overview

Added in v2.0.0


Table of contents


Identity (type alias)

Signature

export type Identity<A> = A

Added in v2.0.0

URI (type alias)

Signature

export type URI = typeof URI

Added in v2.0.0

URI

Signature

export const URI: "Identity" = ...

Added in v2.0.0

alt

Signature

;<A>(that: () => A) => (fa: A) => A

Added in v2.0.0

ap

Signature

;<A>(fa: A) => <B>(fab: (a: A) => B) => B

Added in v2.0.0

apFirst

Signature

;<B>(fb: B) => <A>(fa: A) => A

Added in v2.0.0

apSecond

Signature

;<B>(fb: B) => <A>(fa: A) => B

Added in v2.0.0

chain

Signature

;<A, B>(f: (a: A) => B) => (ma: A) => B

Added in v2.0.0

chainFirst

Signature

;<A, B>(f: (a: A) => B) => (ma: A) => A

Added in v2.0.0

duplicate

Signature

;<A>(ma: A) => A

Added in v2.0.0

extend

Signature

;<A, B>(f: (fa: A) => B) => (ma: A) => B

Added in v2.0.0

flatten

Signature

;<A>(mma: A) => A

Added in v2.0.0

foldMap

Signature

;<M>(M: Monoid<M>) => <A>(f: (a: A) => M) => (fa: A) => M

Added in v2.0.0

getEq

Signature

export const getEq: <A>(E: Eq<A>) => Eq<Identity<A>> = ...

Added in v2.0.0

getShow

Signature

export const getShow: <A>(S: Show<A>) => Show<Identity<A>> = ...

Added in v2.0.0

identity

Signature

export const identity: Monad1<URI> & Foldable1<URI> & Traversable1<URI> & Alt1<URI> & Comonad1<URI> & ChainRec1<URI> = ...

Added in v2.0.0

map

Signature

;<A, B>(f: (a: A) => B) => (fa: A) => B

Added in v2.0.0

reduce

Signature

;<A, B>(b: B, f: (b: B, a: A) => B) => (fa: A) => B

Added in v2.0.0

reduceRight

Signature

;<A, B>(b: B, f: (a: A, b: B) => B) => (fa: A) => B

Added in v2.0.0