Interface TypeSafeKey.Simple<A>

Type Parameters:
A - The type of the value that this key maps to inside an HMap
All Superinterfaces:
Applicative<A,Iso<A,?,A,A>>, Contravariant<A,Profunctor<?,A,Iso<?,?,A,A>>>, Functor<A,Iso<A,?,A,A>>, Iso<A,A,A,A>, Iso.Simple<A,A>, Monad<A,Iso<A,?,A,A>>, MonadRec<A,Iso<A,?,A,A>>, Optic<Profunctor<?,?,?>,Functor<?,?>,A,A,A,A>, Optic.Simple<Profunctor<?,?,?>,Functor<?,?>,A,A>, Profunctor<A,A,Iso<?,?,A,A>>, TypeSafeKey<A,A>
Enclosing interface:
TypeSafeKey<A,B>

public static interface TypeSafeKey.Simple<A> extends TypeSafeKey<A,A>
A simplified TypeSafeKey that can only view a value of type A as an A.
  • Method Details

    • apply

      default <CoP extends Profunctor<?, ?, ? extends Profunctor<?, ?, ?>>, CoF extends Functor<?, ? extends Functor<?, ?>>, FB extends Functor<A, ? extends CoF>, FT extends Functor<A, ? extends CoF>, PAFB extends Profunctor<A, FB, ? extends CoP>, PSFT extends Profunctor<A, FT, ? extends CoP>> PSFT apply(PAFB pafb)
      Description copied from interface: Optic
      The polymorphic arrow between profunctors in this optic interface.
      Specified by:
      apply in interface Optic<Profunctor<?,?,?>,Functor<?,?>,A,A,A,A>
      Type Parameters:
      CoP - the profunctor type constraint witnessed by the application of this optic
      CoF - the functor type constraint witnessed by the application of this optic
      FB - the covariant parameter type of the input profunctor
      FT - the covariant parameter type of the output profunctor
      PAFB - the full input type
      PSFT - the full output type
      Parameters:
      pafb - the input
      Returns:
      the output profunctor