Prism (NeoForge 26.1)

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 Optic
Optic.CompositionOptic<Proof,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 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>