com.mojang.datafixers.optics.profunctors

interface Bicontravariant<P extends K2, Mu extends Bicontravariant$Mu>

extends Kind2<P, Mu>

com.mojang.datafixers.optics.profunctors.Bicontravariant

Method summary

Modifier and TypeMethod
static <P extends K2, Proof extends Bicontravariant$Mu> Bicontravariant<P, Proof>
unbox(App<Proof, P> arg0)
<A, B, C, D> FunctionType<Supplier<App2<P, A, B>>, App2<P, C, D>>
cimap(Function<C, A> arg0, Function<D, B> arg1)
default <A, B, C, D> App2<P, C, D>
cimap(Supplier<App2<P, A, B>> arg0, Function<C, A> arg1, Function<D, B> arg2)