Interface Kind2<F extends K2,Mu extends Kind2.Mu>

All Superinterfaces:
App<Mu,F>
All Known Subinterfaces:
AffineP<P,Mu>, com.mojang.datafixers.optics.profunctors.Bicontravariant<P,Mu>, Cartesian<P,Mu>, Closed<P,Mu>, Cocartesian<P,Mu>, FunctorProfunctor<T,P,Mu>, GetterP<P,Mu>, Mapping<P,Mu>, Monoidal<P,Mu>, MonoidProfunctor<P,Mu>, Profunctor<P,Mu>, ReCartesian<P,Mu>, ReCocartesian<P,Mu>, TraversalP<P,Mu>
All Known Implementing Classes:
Adapter.Instance, Affine.Instance, Forget.Instance, ForgetOpt.Instance, FunctionType.Instance, Lens.Instance, Prism.Instance, ProfunctorFunctorWrapper.Instance, ReForgetC.Instance, Traversal.Instance

public interface Kind2<F extends K2,Mu extends Kind2.Mu> extends App<Mu,F>
  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static interface 
     
  • Method Summary

    Static Methods
    Modifier and Type
    Method
    Description
    static <F extends K2, Proof extends Kind2.Mu>
    Kind2<F,Proof>
    unbox(App<Proof,F> proofBox)
     
  • Method Details

    • unbox

      static <F extends K2, Proof extends Kind2.Mu> Kind2<F,Proof> unbox(App<Proof,F> proofBox)