Interface TypeSafeKey.Simple<A>
-
- Type Parameters:
A
- The type of the value that this key maps to inside anHMap
- 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>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface com.jnape.palatable.lambda.adt.hmap.TypeSafeKey
TypeSafeKey.Simple<A>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description 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>>
PSFTapply(PAFB pafb)
The polymorphic arrow between profunctors in this optic interface.-
Methods inherited from interface com.jnape.palatable.lambda.optics.Iso
andThen, compose, contraMap, diMap, diMapL, diMapR, discardL, flatMap, fmap, mapA, mapB, mapS, mapT, pure, trampolineM, unIso, zip
-
Methods inherited from interface com.jnape.palatable.lambda.optics.Iso.Simple
andThen, compose, compose, mirror, toLens
-
Methods inherited from interface com.jnape.palatable.lambda.optics.Optic
monomorphize
-
Methods inherited from interface com.jnape.palatable.lambda.adt.hmap.TypeSafeKey
andThen, discardR
-
-
-
-
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 interfaceOptic<Profunctor<?,?,?>,Functor<?,?>,A,A,A,A>
- Type Parameters:
CoP
- the profunctor type constraint witnessed by the application of this opticCoF
- the functor type constraint witnessed by the application of this opticFB
- the covariant parameter type of the input profunctorFT
- the covariant parameter type of the output profunctorPAFB
- the full input typePSFT
- the full output type- Parameters:
pafb
- the input- Returns:
- the output profunctor
-
-