Interface GetterP<P extends K2, Mu extends GetterP.Mu>

All Superinterfaces:
App<Mu,P>, Bicontravariant<P,Mu>, Kind2<P,Mu>, Profunctor<P,Mu>
All Known Implementing Classes:
Getter.Instance
public interface GetterP<P extends K2, Mu extends GetterP.Mu> extends Profunctor<P,Mu>, Bicontravariant<P,Mu>

  • Method Details

    • unbox

      static <P extends K2, Proof extends GetterP.Mu> GetterP<P,Proof> unbox(App<Proof,P> proofBox)

    • secondPhantom

      default <A,B,C> App2<P,C,A> secondPhantom(App2<P,C,B> input)