com.mojang.datafixers.optics

final class Procompose$ProfunctorInstance<F extends K2, G extends K2>

implements Profunctor<Procompose$Mu<F, G>, Profunctor$Mu>

com.mojang.datafixers.optics.Procompose$ProfunctorInstance

Field summary

Modifier and TypeField
private final Profunctor<F, Profunctor$Mu>
p1
private final Profunctor<G, Profunctor$Mu>
p2

Constructor summary

ModifierConstructor
(Profunctor<F, Profunctor$Mu> arg0, Profunctor<G, Profunctor$Mu> arg1)

Method summary

Modifier and TypeMethod
public <A, B, C, D> FunctionType<App2<Procompose$Mu<F, G>, A, B>, App2<Procompose$Mu<F, G>, C, D>>
dimap(Function<C, A> arg0, Function<B, D> arg1)
private <A, B, C, D, E> App2<Procompose$Mu<F, G>, C, D>
cap(Procompose<F, G, A, B, E> arg0, Function<C, A> arg1, Function<B, D> arg2)