Overview

Adapted from https://github.com/purescript/purescript-tuples


Table of contents


URI (type alias)

Signature

export type URI = typeof URI

Added in v2.0.0

URI (constant)

Signature

export const URI: "Tuple" = ...

Added in v2.0.0

tuple (constant)

Signature

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

Added in v2.0.0

fst (function)

Signature

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

Added in v2.0.0

getApplicative (function)

Signature

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

Added in v2.0.0

getApply (function)

Signature

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

Added in v2.0.0

getChain (function)

Signature

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

Added in v2.0.0

getChainRec (function)

Signature

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

Added in v2.0.0

getMonad (function)

Signature

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

Added in v2.0.0

snd (function)

Signature

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

Added in v2.0.0

swap (function)

Signature

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

Added in v2.0.0

bimap (export)

Signature

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

Added in v2.0.0

compose (export)

Signature

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

Added in v2.0.0

duplicate (export)

Signature

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

Added in v2.0.0

extend (export)

Signature

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

Added in v2.0.0

foldMap (export)

Signature

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

Added in v2.0.0

map (export)

Signature

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

Added in v2.0.0

mapLeft (export)

Signature

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

Added in v2.0.0

reduce (export)

Signature

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

Added in v2.0.0

reduceRight (export)

Signature

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

Added in v2.0.0