ReadonlyTuple overview

Added in v2.5.0


Table of contents


URI (type alias)

Signature

export type URI = typeof URI

Added in v2.5.0

URI

Signature

export const URI: "ReadonlyTuple" = ...

Added in v2.5.0

bimap

Signature

;<E, G, A, B>(f: (e: E) => G, g: (a: A) => B) => (fa: readonly [A, E]) => readonly[(B, G)]

Added in v2.5.0

compose

Signature

;<E, A>(la: readonly [A, E]) => <B>(ab: readonly [B, A]) => readonly[(B, E)]

Added in v2.5.0

duplicate

Signature

;<E, A>(ma: readonly [A, E]) => readonly[(readonly[(A, E)], E)]

Added in v2.5.0

extend

Signature

;<E, A, B>(f: (fa: readonly [A, E]) => B) => (ma: readonly [A, E]) => readonly[(B, E)]

Added in v2.5.0

foldMap

Signature

;<M>(M: Monoid<M>) => <A>(f: (a: A) => M) => <E>(fa: readonly [A, E]) => M

Added in v2.5.0

fst

Signature

export function fst<A, S>(sa: readonly [A, S]): A { ... }

Added in v2.5.0

getApplicative

Signature

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

Added in v2.5.0

getApply

Signature

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

Added in v2.5.0

getChain

Signature

export function getChain<S>(S: Semigroup<S>): Chain2C<URI, S> { ... }

Added in v2.5.0

getChainRec

Signature

export function getChainRec<S>(M: Monoid<S>): ChainRec2C<URI, S> { ... }

Added in v2.5.0

getMonad

Signature

export function getMonad<S>(M: Monoid<S>): Monad2C<URI, S> { ... }

Added in v2.5.0

map

Signature

;<A, B>(f: (a: A) => B) => <E>(fa: readonly [A, E]) => readonly[(B, E)]

Added in v2.5.0

mapLeft

Signature

;<E, G>(f: (e: E) => G) => <A>(fa: readonly [A, E]) => readonly[(A, G)]

Added in v2.5.0

readonlyTuple

Signature

export const readonlyTuple: Semigroupoid2<URI> &
  Bifunctor2<URI> &
  Comonad2<URI> &
  Foldable2<URI> &
  Traversable2<URI> = ...

Added in v2.5.0

reduce

Signature

;<A, B>(b: B, f: (b: B, a: A) => B) => <E>(fa: readonly [A, E]) => B

Added in v2.5.0

reduceRight

Signature

;<A, B>(b: B, f: (a: A, b: B) => B) => <E>(fa: readonly [A, E]) => B

Added in v2.5.0

snd

Signature

export function snd<A, S>(sa: readonly [A, S]): S { ... }

Added in v2.5.0

swap

Signature

export function swap<A, S>(sa: readonly [A, S]): readonly [S, A] { ... }

Added in v2.5.0