com.mojang.datafixers.optics

Class Procompose<F extends K2,G extends K2,A,B,C>

java.lang.Object

com.mojang.datafixers.optics.Procompose<F,G,A,B,C>

Type Parameters:

F - The witness type of the first transformation.

G - The witness type of the second transformation.

A - The input type.

B - The output type.

C - The intermediate type.

All Implemented Interfaces:

Procompose<F<A,?C>,G<?C,B>>

public final class Procompose<F extends K2,G extends K2,A,B,C>
extends Object

A composition of profunctors. Where a profunctor represents a transformation from one type to another, a Procompose represents the composition of these transformations. This is analogous to function composition, but for a general profunctor.

A Procompose<F, G, A, B, C> is analogous to a transformation F from A to C followed by a transformation G from C to B.

Type Shape:

%.Type.[%(0,2,4),%(1,4,3)]

See Also:

Profunctor, Function.compose(Function)

Constructor Summary

Constructors

Constructor and Description
Procompose(by-name F<A,C> first, G<C,B> second) Constructs a new Procompose that composes the given profunctors.

Method Summary

Modifier and Type	Method and Description
by-name F<A,C>	first() Returns the profunctor applied first.
G<C,B>	second() Returns the profunctor applied second.

Methods inherited from class java.lang.Object

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

Constructor Detail

Procompose

public Procompose(by-name F<A,C> first,
                  G<C,B> second)

Constructs a new Procompose that composes the given profunctors.

Parameters:

first - The first profunctor.

second - The second profunctor.

Method Detail

first

public by-name F<A,C> first()

Returns the profunctor applied first.

second

public G<C,B> second()

Returns the profunctor applied second.