A2
- The input field type.B2
- The output field type.public static final class Adapter.Instance<A2,B2> extends Object implements Profunctor Adapter<_::A2,_::B2>
Profunctor
type class instance for Adapter
.Constructor and Description |
---|
Instance() |
Modifier and Type | Method and Description |
---|---|
<A,B,C,D> (Adapter<A::A2,B::B2>) -> Adapter<C::A2,D::B2> |
dimap((C) -> A g,
(B) -> D h)
Takes a function from the output type
C to the input type A and a function from the input
type B to the output type D , and returns a function from a container of A, B to
a container of C, D . |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
dimap, dimap, lmap, rmap
public <A,B,C,D> (Adapter<A::A2,B::B2>) -> Adapter<C::A2,D::B2> dimap((C) -> A g, (B) -> D h)
Profunctor
C
to the input type A
and a function from the input
type B
to the output type D
, and returns a function from a container of A, B
to
a container of C, D
.
A straightforward example of an implementation of dimap
is the method Function.andThen(Function)
.
For functions, the expression
dimap(g, h).apply(f)
is equivalent to
g.andThen(f).andThen(h)
dimap
in interface Profunctor Adapter<_::A2,_::B2>
A
- The first input type.B
- The second input type.C
- The first output type.D
- The second output type.g
- A function from output to input.h
- A function from input to output.Profunctor.dimap(App2, Function, Function)