com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

Mu<P>, Kind2 P, Profunctor P

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	GetterP.Mu

Method Summary

Modifier and Type	Method and Description
<A,B,C,D> (by-name P<A,B>) -> P<C,D>	cimap((C) -> A g, (D) -> B h)
default <A,B,C,D> P<C,D>	cimap(by-name P<A,B> arg, (C) -> A g, (D) -> B h)
default <A,B,C> P<C,A>	secondPhantom(P<C,B> input)
static <P extends K2,Proof extends GetterP.Mu> GetterP<P,Proof>	unbox(Proof<P> proofBox) Thunk method that casts an applied Profunctor.Mu to a Profunctor.

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

dimap, dimap, dimap, lmap, rmap

Method Detail

unbox

static <P extends K2,Proof extends GetterP.Mu> GetterP<P,Proof> unbox(Proof<P> proofBox)

Description copied from interface: Profunctor

Thunk method that casts an applied Profunctor.Mu to a Profunctor.

Specified by:

unbox in interface Profunctor P extends K2

Type Parameters:

P - The container type.

Proof - The witness type.

Parameters:

proofBox - The boxed profunctor.

Returns:

The unboxed profunctor.

secondPhantom

default <A,B,C> P<C,A> secondPhantom(P<C,B> input)

cimap

<A,B,C,D> (by-name P<A,B>) -> P<C,D> cimap((C) -> A g,
                                           (D) -> B h)

cimap

default <A,B,C,D> P<C,D> cimap(by-name P<A,B> arg,
                               (C) -> A g,
                               (D) -> B h)