com.mojang.datafixers.optics.profunctors

Class ProfunctorFunctorWrapper.Instance<P extends K2,F extends K1,G extends K1>

java.lang.Object

com.mojang.datafixers.optics.profunctors.ProfunctorFunctorWrapper.Instance<P,F,G>

All Implemented Interfaces:

ProfunctorFunctorWrapper.Instance.Mu<ProfunctorFunctorWrapper.Mu<P,F,G>>, Kind2 ProfunctorFunctorWrapper.Mu<P,F,G>, Profunctor ProfunctorFunctorWrapper.Mu<P,F,G>

Enclosing class:

ProfunctorFunctorWrapper<P extends K2,F extends K1,G extends K1,A,B>

public static final class ProfunctorFunctorWrapper.Instance<P extends K2,F extends K1,G extends K1>
extends Object
implements Profunctor ProfunctorFunctorWrapper.Mu<P,F,G>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ProfunctorFunctorWrapper.Instance.Mu

Constructor Summary

Constructors

Constructor and Description
Instance(Profunctor P proof, Functor F fFunctor, Functor G gFunctor)

Method Summary

Modifier and Type	Method and Description
<A,B,C,D> (ProfunctorFunctorWrapper.Mu<P,F,G><A,B>) -> ProfunctorFunctorWrapper.Mu<P,F,G><C,D>	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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Profunctor

dimap, dimap, lmap, rmap

Constructor Detail

Instance

public Instance(Profunctor P proof,
                Functor F fFunctor,
                Functor G gFunctor)

Method Detail

dimap

public <A,B,C,D> (ProfunctorFunctorWrapper.Mu<P,F,G><A,B>) -> ProfunctorFunctorWrapper.Mu<P,F,G><C,D> dimap((C) -> A g,
                                                                                                            (B) -> D h)

Description copied from interface: Profunctor

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.

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)
 

Specified by:

dimap in interface Profunctor ProfunctorFunctorWrapper.Mu<P extends K2,F extends K1,G extends K1>

Type Parameters:

A - The first input type.

B - The second input type.

C - The first output type.

D - The second output type.

Parameters:

g - A function from output to input.

h - A function from input to output.

Returns:

A function from an input container to an output container.

See Also:

Profunctor.dimap(App2, Function, Function)