Tuple overview

Added in v2.0.0


Table of contents


URI (type alias)

Signature

export type URI = typeof URI

Added in v2.0.0

URI

Signature

export const URI: "Tuple" = ...

Added in v2.0.0

bimap

Signature

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

Added in v2.0.0

compose

Signature

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

Added in v2.0.0

duplicate

Signature

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

Added in v2.0.0

extend

Signature

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

Added in v2.0.0

foldMap

Signature

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

Added in v2.0.0

fst

Signature

export const fst: <A, S>(sa: [A, S]) => A = ...

Added in v2.0.0

getApplicative

Signature

export const getApplicative: <S>(M: Monoid<S>) => Applicative2C<URI, S> = ...

Added in v2.0.0

getApply

Signature

export const getApply: <S>(S: Semigroup<S>) => Apply2C<URI, S> = ...

Added in v2.0.0

getChain

Signature

export const getChain: <S>(S: Semigroup<S>) => Chain2C<URI, S> = ...

Added in v2.0.0

getChainRec

Signature

export const getChainRec: <S>(M: Monoid<S>) => ChainRec2C<URI, S> = ...

Added in v2.0.0

getMonad

Signature

export const getMonad: <S>(M: Monoid<S>) => Monad2C<URI, S> = ...

Added in v2.0.0

map

Signature

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

Added in v2.0.0

mapLeft

Signature

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

Added in v2.0.0

reduce

Signature

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

Added in v2.0.0

reduceRight

Signature

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

Added in v2.0.0

snd

Signature

export const snd: <A, S>(sa: [A, S]) => S = ...

Added in v2.0.0

swap

Signature

export const swap: <A, S>(sa: [A, S]) => [S, A] = ...

Added in v2.0.0

tuple

Signature

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

Added in v2.0.0