Representable (NeoForge 26.1)

All Superinterfaces:: App<Mu,T>, Functor<T,Mu>, Kind1<T,Mu>

All Known Implementing Classes:: FunctionType.ReaderInstance

public interface Representable<T extends K1, C, Mu extends Representable.Mu> extends Functor<T,Mu>

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

Representable.Mu
Method Summary

Modifier and Type

Method

Description

<A> App<T,A>

from(App<FunctionType.ReaderMu<C>, A> input)

<A> App<FunctionType.ReaderMu<C>, A>

to(App<T,A> input)

static <F extends K1, C, Mu extends Representable.Mu> Representable<F,C,Mu>

unbox(App<Mu,F> proofBox)

Methods inherited from interface Functor
map

Methods inherited from interface Kind1
group, group, group, group, group, group, group, group, group, group, group, group, group, group, group, group

Method Details
- unbox
  
  static <F extends K1, C, Mu extends Representable.Mu> Representable<F,C,Mu> unbox(App<Mu,F> proofBox)
- to
  
  <A> App<FunctionType.ReaderMu<C>, A> to(App<T,A> input)
- from
  
  <A> App<T,A> from(App<FunctionType.ReaderMu<C>, A> input)