Uses of Class
com.jnape.palatable.lambda.functor.builtin.Identity
Packages that use Identity
Package
Description
-
Uses of Identity in com.jnape.palatable.lambda.functor.builtin
Fields in com.jnape.palatable.lambda.functor.builtin with type parameters of type IdentityMethods in com.jnape.palatable.lambda.functor.builtin with type parameters of type IdentityModifier and TypeMethodDescription<B,
App extends Applicative<?, App>, TravB extends Traversable<B, Identity<?>>, AppTrav extends Applicative<TravB, App>>
AppTravIdentity.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.Methods in com.jnape.palatable.lambda.functor.builtin that return IdentityModifier and TypeMethodDescription<B> Identity
<B> Identity.discardL
(Applicative<B, Identity<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Identity.discardR
(Applicative<B, Identity<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> Identity
<B> Chain dependent computations that may continue or short-circuit based on previous results.<B> Identity
<B> Covariantly transmute this functor's parameter using the given mapping function.<B> Identity
<B> Identity.pure
(B b) Lift the valueb
into this applicative functor.<B> Identity
<B> Identity.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, Identity<?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<B> Identity
<B> Identity.zip
(Applicative<Fn1<? super A, ? extends B>, Identity<?>> appFn) Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Methods in com.jnape.palatable.lambda.functor.builtin that return types with arguments of type IdentityModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Identity.pureIdentity()
Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type IdentityModifier and TypeMethodDescription<B> Identity
<B> Identity.discardL
(Applicative<B, Identity<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Identity.discardR
(Applicative<B, Identity<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> Identity
<B> Chain dependent computations that may continue or short-circuit based on previous results.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.<B> Identity
<B> Identity.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, Identity<?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<B> Identity
<B> Identity.zip
(Applicative<Fn1<? super A, ? extends B>, Identity<?>> appFn) Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Constructor parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Identity -
Uses of Identity in com.jnape.palatable.lambda.monad.transformer.builtin
Fields in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type IdentityMethods in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type IdentityModifier and TypeMethodDescriptionIdentityT.runIdentityT()
Recover the full structure of the embeddedMonad
.Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type IdentityModifier and TypeMethodDescriptionConstructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Identity -
Uses of Identity in com.jnape.palatable.lambda.optics
Methods in com.jnape.palatable.lambda.optics with type parameters of type IdentityModifier and TypeMethodDescriptiondefault <CoP extends Profunctor<?,
?, ? extends Cocartesian<?, ?, ?>>, CoF extends Functor<?, ? extends Identity<?>>, FB extends Functor<B, ? extends CoF>, FT extends Functor<T, ? extends CoF>, PAFB extends Profunctor<A, FB, ? extends CoP>, PSFT extends Profunctor<S, FT, ? extends CoP>>
PSFTPrism.apply
(PAFB pafb) The polymorphic arrow between profunctors in this optic interface.default <CoP extends Profunctor<?,
?, ? extends P>, CoF extends Functor<?, ? extends Identity<?>>, FB extends Functor<B, ? extends CoF>, FT extends Functor<T, ? extends CoF>, PAFB extends Profunctor<A, FB, ? extends CoP>, PSFT extends Profunctor<S, FT, ? extends CoP>>
PSFTProtoOptic.apply
(PAFB pafb) The polymorphic arrow between profunctors in this optic interface. -
Uses of Identity in com.jnape.palatable.lambda.optics.functions
Method parameters in com.jnape.palatable.lambda.optics.functions with type arguments of type IdentityModifier and TypeMethodDescriptionOver.checkedApply
(Optic<? super Fn1<?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super A, ? extends B> fn, S s) Under.checkedApply
(Optic<? super Exchange<A, B, ?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn, B b) static <S,
T, A, B>
Either<T, A> static <S,
T, A, B>
Fn1<S, T> static <S,
T, A, B>
TOver.over
(Optic<? super Fn1<?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super A, ? extends B> fn, S s) static <S,
T, A, B>
Optic<Profunctor<?, ?, ?>, Const<T, ?>, B, B, T, T> static <S,
T, A, B>
Fn2<B, S, T> static <S,
T, A, B>
Fn1<S, T> static <S,
T, A, B>
Tstatic <S,
T, A, B>
Fn1<B, A> Under.under
(Optic<? super Exchange<A, B, ?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn) static <S,
T, A, B>
AUnder.under
(Optic<? super Exchange<A, B, ?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn, B b)