Interface TypeSafeKey.Simple<A>

    • Method Detail

      • 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