← Back

Source

tuple

Semigroupoid2<URI> & Bifunctor2<URI> & Comonad2<URI> & Foldable2v2<URI> & Traversable2v2<URI>

Added in v1.0.0 (instance)

Tuple

constructor(readonly fst: L, readonly snd: A) {}

Added in v1.0.0 (data)

bimap

<M, B>(f: (l: L) => M, g: (a: A) => B): Tuple<M, B>

Added in v1.0.0 (method)

compose

<B>(ab: Tuple<A, B>): Tuple<L, B>

Added in v1.0.0 (method)

extend

<B>(f: (fa: Tuple<L, A>) => B): Tuple<L, B>

Added in v1.0.0 (method)

extract

(): A

Added in v1.0.0 (method)

inspect

(): string

Added in v1.0.0 (method)

map

<B>(f: (a: A) => B): Tuple<L, B>

Added in v1.0.0 (method)

reduce

<B>(b: B, f: (b: B, a: A) => B): B

Added in v1.0.0 (method)

swap

(): Tuple<A, L>

Added in v1.0.0 (method)

Exchange the first and second components of a tuple

toString

(): string

Added in v1.0.0 (method)

toTuple

(): [L, A]

Added in v1.0.0 (method)

getApplicative

<L>(M: Monoid<L>): Applicative2C<URI, L>

Added in v1.0.0 (function)

getApply

<L>(S: Semigroup<L>): Apply2C<URI, L>

Added in v1.0.0 (function)

getChain

<L>(S: Semigroup<L>): Chain2C<URI, L>

Added in v1.0.0 (function)

getChainRec

<L>(M: Monoid<L>): ChainRec2C<URI, L>

Added in v1.0.0 (function)

getMonad

<L>(M: Monoid<L>): Monad2C<URI, L>

Added in v1.0.0 (function)

getMonoid

<L, A>(ML: Monoid<L>, MA: Monoid<A>): Monoid<Tuple<L, A>>

Added in v1.0.0 (function)

getOrd

<L, A>(OL: Ord<L>, OA: Ord<A>): Ord<Tuple<L, A>>

Added in v1.0.0 (function)

To obtain the result, the fsts are compared, and if they are EQual, the snds are compared.

getSemigroup

<L, A>(SL: Semigroup<L>, SA: Semigroup<A>): Semigroup<Tuple<L, A>>

Added in v1.0.0 (function)

getSetoid

<L, A>(SA: Setoid<L>, SB: Setoid<A>): Setoid<Tuple<L, A>>

Added in v1.0.0 (function)