S2 - The type of the pair's second element.public static final class Pair.Instance<S2> extends Object implements Traversable (_,S2), CartesianLike (_,S2)
CartesianLike type class instance for Pair.| Modifier and Type | Class and Description |
|---|---|
static class |
Pair.Instance.Mu<S2>
The witness type of
Pair.Instance. |
| Constructor and Description |
|---|
Instance() |
| Modifier and Type | Method and Description |
|---|---|
<A> (A,S2) |
from((A,S2) input)
Transforms a pair of
(A, C) into a container of A and C. |
<T,R> (R,S2) |
map((? super T) -> ? extends R func,
(T,S2) ts)
Maps the contents of
ts from T to R using the func. |
<A> (A,S2) |
to((A,S2) input)
|
<F extends K1,A,B> |
traverse(Applicative F applicative,
(A) -> F<B> function,
(A,S2) input)
Applies a function that produces an
Applicative effect to each value contained within
input, then builds a container with an equivalent structure containing the (unboxed) results. |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitflippublic <T,R> (R,S2) map((? super T) -> ? extends R func, (T,S2) ts)
Functorts from T to R using the func.public <F extends K1,A,B> F<(B,S2)> traverse(Applicative F applicative, (A) -> F<B> function, (A,S2) input)
TraversableApplicative effect to each value contained within
input, then builds a container with an equivalent structure containing the (unboxed) results.traverse in interface CartesianLike (_,S2)traverse in interface Traversable (_,S2)F - The type of the effect.A - The input type.B - The output type.applicative - An instance of the Applicative type class which defines the behavior of F.function - The function to apply.input - The input container.function to each element, if the function was
successful for every element.public <A> (A,S2) to((A,S2) input)
CartesianLiketo in interface CartesianLike (_,S2)A - The type of the value stored in the container.input - The input container.public <A> (A,S2) from((A,S2) input)
CartesianLike(A, C) into a container of A and C.from in interface CartesianLike (_,S2)A - The type of value stored in the pair.input - The input pair.