com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

Mu<P>, Kind2 P, Profunctor P

All Known Implementing Classes:

FunctionType.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	MonoidProfunctor.Mu

Method Summary

Modifier and Type	Method and Description
default <A,B,C> P<A,C>	compose(P<B,C> first, by-name P<A,B> second)
<A,B> P<A,B>	plus(Procompose<P<A,?C>,P<?C,B>> input)
<A,B> P<A,B>	zero((A) -> B func)

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

dimap, dimap, dimap, lmap, rmap

Method Detail

zero

<A,B> P<A,B> zero((A) -> B func)

plus

<A,B> P<A,B> plus(Procompose<P<A,?C>,P<?C,B>> input)

compose

default <A,B,C> P<A,C> compose(P<B,C> first,
                               by-name P<A,B> second)