Uses of Class
com.jnape.palatable.lambda.adt.Either
Packages that use Either
Package
Description
-
Uses of Either in com.jnape.palatable.lambda.adt
Subclasses of Either in com.jnape.palatable.lambda.adtModifier and TypeClassDescriptionprivate static final class
Either.Left<L,
R> private static final class
Either.Right<L,
R> Methods in com.jnape.palatable.lambda.adt with type parameters of type EitherModifier and TypeMethodDescriptionfinal <R2,
App extends Applicative<?, App>, TravB extends Traversable<R2, Either<L, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravEither.traverse
(Fn1<? super R, ? extends Applicative<R2, 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.adt that return EitherModifier and TypeMethodDescriptionfinal <L2,
R2> Either <L2, R2> Dually map covariantly over both the left and right parameters.Covariantly map over the left parameter.Covariantly map over the right parameter.Either.discardL
(Applicative<R2, Either<L, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Either.discardR
(Applicative<R2, Either<L, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.If this is a right value, applypred
to it.If this is a right value, applypred
to it.If a right value, unwrap it and apply it torightFn
, returning the resultingEither<L ,R>
.Covariantly transmute this functor's parameter using the given mapping function.static <L,
R> Either <L, R> Convert aMaybe
<R> into anEither<L, R>
, supplying the left value fromleftFn
in the case ofMaybe.nothing()
.Either.invert()
static <L,
R> Either <L, R> Either.left
(L l) Static factory method for creating a left value.Either.merge
(Fn2<? super L, ? super L, ? extends L> leftFn, Fn2<? super R, ? super R, ? extends R> rightFn, Either<L, R>... others) Given two binary operators over L and R, merge multipleEither<L, R>
s into a singleEither<L, R>
.Deprecated.Either.pure
(R2 r2) Lift the valueb
into this applicative functor.static <L,
R> Either <L, R> Either.right
(R r) Static factory method for creating a right value.Either.throwError
(L l) Throw an error value of typeE
into themonad
.If this value is absent, return the value supplied bylSupplier
wrapped inEither.left
.Try.toEither()
If this is a success, wrap the value in aright(R)
and return it.If this is a success, wrap the value in aright(R)
and return it.Either.trampolineM
(Fn1<? super R, ? extends MonadRec<RecursiveResult<R, B>, Either<L, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Attempt to execute theFn0
, returning its result in a right value.static <L,
R> Either <L, R> Attempt to execute theFn0
, returning its result in a right value.Either.trying
(SideEffect sideEffect) Attempt to execute theSideEffect
, returningUnit
in a right value.Either.trying
(SideEffect sideEffect, Fn1<? super Throwable, ? extends L> leftFn) Attempt to execute theSideEffect
, returningUnit
in a right value.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.adt that return types with arguments of type EitherModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Either.pureEither()
Methods in com.jnape.palatable.lambda.adt with parameters of type EitherModifier and TypeMethodDescriptionstatic <A> Maybe
<A> Maybe.fromEither
(Either<?, A> either) Either.merge
(Fn2<? super L, ? super L, ? extends L> leftFn, Fn2<? super R, ? super R, ? extends R> rightFn, Either<L, R>... others) Given two binary operators over L and R, merge multipleEither<L, R>
s into a singleEither<L, R>
.Method parameters in com.jnape.palatable.lambda.adt with type arguments of type EitherModifier and TypeMethodDescriptionEither.discardL
(Applicative<R2, Either<L, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Either.discardR
(Applicative<R2, Either<L, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.If a right value, unwrap it and apply it torightFn
, returning the resultingEither<L ,R>
.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Either.trampolineM
(Fn1<? super R, ? extends MonadRec<RecursiveResult<R, B>, Either<L, ?>>> 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 Either in com.jnape.palatable.lambda.functions.builtin.fn1
Methods in com.jnape.palatable.lambda.functions.builtin.fn1 that return EitherMethod parameters in com.jnape.palatable.lambda.functions.builtin.fn1 with type arguments of type Either -
Uses of Either in com.jnape.palatable.lambda.functor.builtin
Fields in com.jnape.palatable.lambda.functor.builtin with type parameters of type EitherMethods in com.jnape.palatable.lambda.functor.builtin that return types with arguments of type Either -
Uses of Either in com.jnape.palatable.lambda.io
Methods in com.jnape.palatable.lambda.io that return types with arguments of type Either -
Uses of Either in com.jnape.palatable.lambda.monad
Methods in com.jnape.palatable.lambda.monad that return EitherModifier and TypeMethodDescriptionSafeT.Body.Done.resume()
SafeT.Body.More.resume()
SafeT.Body.resume()
SafeT.Body.Suspended.resume()
Methods in com.jnape.palatable.lambda.monad that return types with arguments of type EitherModifier and TypeMethodDescriptionprivate <Z> Fn1
<SafeT.Body.Suspended<M, ?, Z>, RecursiveResult<SafeT.Body<M, B>, Either<MonadRec<SafeT.Body<M, B>, M>, B>>> SafeT.Body.Suspended.associateRight
(Fn1<Z, SafeT.Body<M, B>> f) Method parameters in com.jnape.palatable.lambda.monad with type arguments of type EitherModifier and TypeMethodDescription<R> R
SafeT.Body.Done.match
(Fn1<? super Either<MonadRec<SafeT.Body<M, A>, M>, A>, ? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M, ?, A>, ? extends R> bFn) <R> R
SafeT.Body.More.match
(Fn1<? super Either<MonadRec<SafeT.Body<M, A>, M>, A>, ? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M, ?, A>, ? extends R> bFn) <R> R
SafeT.Body.Suspended.match
(Fn1<? super Either<MonadRec<SafeT.Body<M, B>, M>, B>, ? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M, ?, B>, ? extends R> bFn) -
Uses of Either in com.jnape.palatable.lambda.monad.transformer.builtin
Fields in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type EitherMethods in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type EitherModifier and TypeMethodDescriptionEitherT.runEitherT()
Recover the full structure of the embeddedMonad
.Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type EitherModifier and TypeMethodDescriptionConstructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Either -
Uses of Either in com.jnape.palatable.lambda.monoid.builtin
Methods in com.jnape.palatable.lambda.monoid.builtin that return EitherModifier and TypeMethodDescriptionstatic <L,
R> Either <L, R> static <L,
R> Either <L, R> static <L,
R> Either <L, R> static <L,
R> Either <L, R> static <L,
R> Either <L, R> Methods in com.jnape.palatable.lambda.monoid.builtin that return types with arguments of type EitherModifier and TypeMethodDescriptionLeftAll.checkedApply
(Monoid<L> lMonoid) LeftAny.checkedApply
(Monoid<L> lMonoid) Merge.checkedApply
(Semigroup<L> lSemigroup, Monoid<R> rMonoid) RightAll.checkedApply
(Monoid<R> rMonoid) RightAny.checkedApply
(Monoid<R> rMonoid) static <L,
R> MonoidFactory <Monoid<R>, Either<L, R>> Methods in com.jnape.palatable.lambda.monoid.builtin with parameters of type Either -
Uses of Either in com.jnape.palatable.lambda.optics
Methods in com.jnape.palatable.lambda.optics that return types with arguments of type Either -
Uses of Either in com.jnape.palatable.lambda.optics.functions
Methods in com.jnape.palatable.lambda.optics.functions that return EitherMethods in com.jnape.palatable.lambda.optics.functions that return types with arguments of type Either -
Uses of Either in com.jnape.palatable.lambda.optics.lenses
Methods in com.jnape.palatable.lambda.optics.lenses that return types with arguments of type EitherModifier and TypeMethodDescriptionstatic <L,
R> Lens.Simple <Either<L, R>, Maybe<L>> EitherLens._left()
Convenience static factory method for creating a lens over left values, wrapping them in aMaybe
.static <L,
R> Lens.Simple <Either<L, R>, Maybe<R>> EitherLens._right()
Convenience static factory method for creating a lens over right values, wrapping them in aMaybe
. -
Uses of Either in com.jnape.palatable.lambda.optics.prisms
Methods in com.jnape.palatable.lambda.optics.prisms that return types with arguments of type Either -
Uses of Either in com.jnape.palatable.lambda.semigroup.builtin
Methods in com.jnape.palatable.lambda.semigroup.builtin that return EitherModifier and TypeMethodDescriptionstatic <L,
R> Either <L, R> static <L,
R> Either <L, R> static <L,
R> Either <L, R> static <L,
R> Either <L, R> static <L,
R> Either <L, R> Methods in com.jnape.palatable.lambda.semigroup.builtin that return types with arguments of type EitherModifier and TypeMethodDescriptionLeftAll.checkedApply
(Semigroup<L> lSemigroup) LeftAny.checkedApply
(Semigroup<L> lSemigroup) Merge.checkedApply
(Semigroup<L> lSemigroup, Semigroup<R> rSemigroup) RightAll.checkedApply
(Semigroup<R> rSemigroup) RightAny.checkedApply
(Semigroup<R> rSemigroup) static <L,
R> SemigroupFactory <Semigroup<R>, Either<L, R>> Methods in com.jnape.palatable.lambda.semigroup.builtin with parameters of type Either
matching
into anIO
and explicitly running it