Package com.mojang.datafixers.optics

Interface Prism<S,T,A,B>

All Superinterfaces:

App2<Prism.Mu<A,B>,S,T>, Optic<Cocartesian.Mu,S,T,A,B>

All Known Implementing Classes:

Inj1, Inj2, InjTagged

public interface Prism<S,T,A,B>
extends App2<Prism.Mu<A,B>,S,T>, Optic<Cocartesian.Mu,S,T,A,B>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final class	Prism.Instance<A2,B2>
static final class	Prism.Mu<A,B>

Nested classes/interfaces inherited from interface com.mojang.datafixers.optics.Optic

Optic.CompositionOptic<Proof extends K1,S,T,A,B>

Method Summary

Modifier and Type	Method	Description
T	build(B b)
default <P extends K2> FunctionType<App2<P,A,B>,App2<P,S,T>>	eval(App<? extends Cocartesian.Mu,P> proof)
Either<T,A>	match(S s)
static <S, T, A, B> Prism<S,T,A,B>	unbox(App2<Prism.Mu<A,B>,S,T> box)

Methods inherited from interface com.mojang.datafixers.optics.Optic

upCast

Method Details

unbox

static <S,
T,
A,
B> Prism<S,T,A,B> unbox(App2<Prism.Mu<A,B>,S,T> box)

match

Either<T,A> match(S s)

build

T build(B b)

eval

default <P extends K2>
FunctionType<App2<P,A,B>,App2<P,S,T>> eval(App<? extends Cocartesian.Mu,P> proof)

Specified by:

eval in interface Optic<Cocartesian.Mu,S,T,A,B>