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 classEither.Left<L,R> private static final classEither.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) Applyfnto 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 thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.Either.discardR(Applicative<R2, Either<L, ?>> appB) Sequence both thisApplicativeandappB, discardingappB'sresult and returning thisApplicative.If this is a right value, applypredto it.If this is a right value, applypredto 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 fromleftFnin 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 valuebinto 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 typeEinto themonad.If this value is absent, return the value supplied bylSupplierwrapped 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 aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.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, returningUnitin a right value.Either.trying(SideEffect sideEffect, Fn1<? super Throwable, ? extends L> leftFn) Attempt to execute theSideEffect, returningUnitin 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 alazyinstance 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 thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.Either.discardR(Applicative<R2, Either<L, ?>> appB) Sequence both thisApplicativeandappB, discardingappB'sresult and returning thisApplicative.If a right value, unwrap it and apply it torightFn, returning the resultingEither<L ,R>.Given alazyinstance 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 aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.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> RSafeT.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> RSafeT.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> RSafeT.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
matchinginto anIOand explicitly running it