Const overview

Added in v2.0.0


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

Signature

export const URI: "Const" = ...

Added in v2.0.0

const_

Signature

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

Added in v2.0.0

contramap

Signature

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

Added in v2.0.0

getApplicative

Signature

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

Added in v2.0.0

getApply

Signature

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

Added in v2.0.0

getEq

Signature

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

Added in v2.0.0

getShow

Signature

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

Added in v2.0.0

make

Signature

export const make: <E, A = never>(e: E) => Const<E, A> = ...

Added in v2.0.0

map

Signature

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

Added in v2.0.0