Uses of Class
com.jnape.palatable.lambda.functor.builtin.Tagged
Packages that use Tagged
Package
Description
-
Uses of Tagged in com.jnape.palatable.lambda.functor.builtin
Methods in com.jnape.palatable.lambda.functor.builtin with type parameters of type TaggedModifier and TypeMethodDescription<C,
App extends Applicative<?, App>, TravC extends Traversable<C, Tagged<S, ?>>, AppTrav extends Applicative<TravC, App>>
AppTravTagged.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? 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 TaggedModifier and TypeMethodDescriptionTagged.cocartesian()
Choose some typeC
or this profunctor's carrier types.Contravariantly mapA <- B
.<Z,
C> Tagged <Z, C> Dually map contravariantly over the left parameter and covariantly over the right parameter.Contravariantly map over the left parameter.Covariantly map over the right parameter.Tagged.discardL
(Applicative<C, Tagged<S, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Tagged.discardR
(Applicative<C, Tagged<S, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Covariantly transmute this functor's parameter using the given mapping function.Tagged.pure
(C c) Lift the valueb
into this applicative functor.Tagged.trampolineM
(Fn1<? super B, ? extends MonadRec<RecursiveResult<B, C>, Tagged<S, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.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 TaggedMethod parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type TaggedModifier and TypeMethodDescriptionTagged.discardL
(Applicative<C, Tagged<S, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Tagged.discardR
(Applicative<C, Tagged<S, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Tagged.trampolineM
(Fn1<? super B, ? extends MonadRec<RecursiveResult<B, C>, Tagged<S, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports. -
Uses of Tagged in com.jnape.palatable.lambda.optics.functions
Method parameters in com.jnape.palatable.lambda.optics.functions with type arguments of type Tagged