Uses of Class
com.jnape.palatable.lambda.functor.builtin.Identity
-
-
Uses of Identity in com.jnape.palatable.lambda.functor.builtin
Fields in com.jnape.palatable.lambda.functor.builtin with type parameters of type Identity Modifier and Type Field Description private StateT<S,Identity<?>,A>
State. stateFn
Methods in com.jnape.palatable.lambda.functor.builtin with type parameters of type Identity Modifier and Type Method Description <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 Identity Modifier and Type Method Description <B> Identity<B>
Identity. discardL(Applicative<B,Identity<?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> Identity<A>
Identity. discardR(Applicative<B,Identity<?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> Identity<B>
Identity. flatMap(Fn1<? super A,? extends Monad<B,Identity<?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> Identity<B>
Identity. fmap(Fn1<? super A,? extends B> fn)
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 Identity Modifier and Type Method Description <B> Lazy<Identity<B>>
Identity. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Identity<?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.static Pure<Identity<?>>
Identity. pureIdentity()
Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Identity Modifier and Type Method Description <B> Identity<B>
Identity. discardL(Applicative<B,Identity<?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> Identity<A>
Identity. discardR(Applicative<B,Identity<?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> Identity<B>
Identity. flatMap(Fn1<? super A,? extends Monad<B,Identity<?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> Lazy<Identity<B>>
Identity. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Identity<?>>> lazyAppFn)
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 Constructor Description State(StateT<S,Identity<?>,A> stateFn)
-
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 Identity Modifier and Type Field Description private MonadRec<Identity<A>,M>
IdentityT. mia
Methods in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type Identity Modifier and Type Method Description <MIA extends MonadRec<Identity<A>,M>>
MIAIdentityT. runIdentityT()
Recover the full structure of the embeddedMonad
.Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Identity Modifier and Type Method Description static <M extends MonadRec<?,M>,A>
IdentityT<M,A>IdentityT. identityT(MonadRec<Identity<A>,M> mia)
Constructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Identity Constructor Description IdentityT(MonadRec<Identity<A>,M> mia)
-
Uses of Identity in com.jnape.palatable.lambda.optics
Methods in com.jnape.palatable.lambda.optics with type parameters of type Identity Modifier and Type Method Description default <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 Identity Modifier and Type Method Description Either<T,A>
Matching. checkedApply(Optic<? super Market<A,B,?,?>,? super Identity<?>,S,T,A,B> optic, S s)
T
Over. checkedApply(Optic<? super Fn1<?,?>,? super Identity<?>,S,T,A,B> optic, Fn1<? super A,? extends B> fn, S s)
Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>
Re. checkedApply(Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B> optic)
T
Set. checkedApply(Optic<? super Fn1<?,?>,? super Identity<?>,S,T,A,B> optic, B b, S s)
A
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>
Fn1<S,Either<T,A>>Matching. matching(Optic<? super Market<A,B,?,?>,? super Identity<?>,S,T,A,B> optic)
static <S,T,A,B>
Either<T,A>Matching. matching(Optic<? super Market<A,B,?,?>,? super Identity<?>,S,T,A,B> optic, S s)
static <S,T,A,B>
Fn2<Fn1<? super A,? extends B>,S,T>Over. over(Optic<? super Fn1<?,?>,? super Identity<?>,S,T,A,B> optic)
static <S,T,A,B>
Fn1<S,T>Over. over(Optic<? super Fn1<?,?>,? super Identity<?>,S,T,A,B> optic, Fn1<? super A,? extends B> fn)
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>Re. re(Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B> optic)
static <S,T,A,B>
Fn2<B,S,T>Set. set(Optic<? super Fn1<?,?>,? super Identity<?>,S,T,A,B> optic)
static <S,T,A,B>
Fn1<S,T>Set. set(Optic<? super Fn1<?,?>,? super Identity<?>,S,T,A,B> optic, B b)
static <S,T,A,B>
TSet. set(Optic<? super Fn1<?,?>,? super Identity<?>,S,T,A,B> optic, B b, S s)
static <S,T,A,B>
Fn2<Fn1<? super T,? extends S>,B,A>Under. under(Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B> optic)
static <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)
-