FunctorProfunctor (NeoForge 26.1)

All Superinterfaces:: App<Mu,P>, Kind2<P,Mu>

public interface FunctorProfunctor<T extends K1, P extends K2, Mu extends FunctorProfunctor.Mu<T>> extends Kind2<P,Mu>

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

FunctorProfunctor.Mu<T extends K1>
Method Summary

Modifier and Type

Method

Description

<A, B, F extends K1> App2<P,App<F,A>,App<F,B>>

distribute(App<? extends T, F> proof, App2<P,A,B> input)

static <T extends K1, P extends K2, Mu extends FunctorProfunctor.Mu<T>> FunctorProfunctor<T,P,Mu>

unbox(App<Mu,P> proofBox)

Method Details
- unbox
  
  static <T extends K1, P extends K2, Mu extends FunctorProfunctor.Mu<T>> FunctorProfunctor<T,P,Mu> unbox(App<Mu,P> proofBox)
- distribute
  
  <A, B, F extends K1> App2<P,App<F,A>,App<F,B>> distribute(App<? extends T, F> proof, App2<P,A,B> input)