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

All Superinterfaces:
App<Mu,F>
All Known Subinterfaces:
AffineP<P,Mu>, 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, ForgetE.Instance, ForgetOpt.Instance, FunctionType.Instance, Getter.Instance, Grate.Instance, Lens.Instance, Prism.Instance, Procompose.ProfunctorInstance, ProfunctorFunctorWrapper.Instance, ReForget.Instance, ReForgetC.Instance, ReForgetE.Instance, ReForgetEP.Instance, ReForgetP.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 
    Kind2.Mu
     

  • 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)