Table of contents


Const (type alias)

Signature

export type Const<E, A> = E & { readonly _A: A }

Added in v2.0.0

URI (type alias)

Signature

export type URI = typeof URI

Added in v2.0.0

URI (constant)

Signature

export const URI: "Const" = ...

Added in v2.0.0

const_ (constant)

Signature

export const const_: Functor2<URI> & Contravariant2<URI> = ...

Added in v2.0.0

getEq (constant)

Signature

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

Added in v2.0.0

make (constant)

Signature

export const make: <E, A = ...

Added in v2.0.0

getApplicative (function)

Signature

export function getApplicative<E>(M: Monoid<E>): Applicative2C<URI, E> { ... }

Added in v2.0.0

getApply (function)

Signature

export function getApply<E>(S: Semigroup<E>): Apply2C<URI, E> { ... }

Added in v2.0.0

getShow (function)

Signature

export function getShow<E, A>(S: Show<E>): Show<Const<E, A>> { ... }

Added in v2.0.0

contramap (export)

Signature

<A, B>(f: (b: B) => A) => <E>(fa: Const<E, A>) => Const<E, B>

Added in v2.0.0

map (export)

Signature

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

Added in v2.0.0