- 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 Summary
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
The polymorphic arrow between profunctors in this optic interface.
Methods inherited from interface com.jnape.palatable.lambda.functor.Functor
coerce
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.monad.MonadRec
lazyZip
Methods inherited from interface com.jnape.palatable.lambda.optics.Optic
monomorphize
-
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