Representable (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

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 com.mojang.datafixers.kinds.Functor
map

Methods inherited from interface com.mojang.datafixers.kinds.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)