Package com.mojang.datafixers.optics.profunctors

Interface MonoidProfunctor<P extends K2,Mu extends MonoidProfunctor.Mu>

All Superinterfaces:

App<Mu,P>, Kind2<P,Mu>, Profunctor<P,Mu>

All Known Implementing Classes:

FunctionType.Instance

public interface MonoidProfunctor<P extends K2,Mu extends MonoidProfunctor.Mu>
extends Profunctor<P,Mu>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	MonoidProfunctor.Mu

Method Summary

Modifier and Type	Method	Description
default <A, B, C> App2<P,A,C>	compose(App2<P,B,C> first, Supplier<App2<P,A,B>> second)
<A, B> App2<P,A,B>	plus(App2<Procompose.Mu<P,P>,A,B> input)
<A, B> App2<P,A,B>	zero(App2<FunctionType.Mu,A,B> func)

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

dimap, dimap, dimap, lmap, rmap

Method Details

zero

<A,
B> App2<P,A,B> zero(App2<FunctionType.Mu,A,B> func)

plus

<A,
B> App2<P,A,B> plus(App2<Procompose.Mu<P,P>,A,B> input)

compose

default <A,
B,
C> App2<P,A,C> compose(App2<P,B,C> first,
 Supplier<App2<P,A,B>> second)