Uses of Class
com.jnape.palatable.lambda.adt.Maybe
Packages that use Maybe
Package
Description
-
Uses of Maybe in com.jnape.palatable.lambda.adt
Subclasses of Maybe in com.jnape.palatable.lambda.adtModifier and TypeClassDescriptionprivate static final class
Maybe.Just<A>
private static final class
Methods in com.jnape.palatable.lambda.adt with type parameters of type MaybeModifier and TypeMethodDescriptionfinal <B,
App extends Applicative<?, App>, TravB extends Traversable<B, Maybe<?>>, AppTrav extends Applicative<TravB, App>>
AppTravMaybe.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Methods in com.jnape.palatable.lambda.adt that return MaybeModifier and TypeMethodDescriptionfinal <B> Maybe
<B> Maybe.discardL
(Applicative<B, Maybe<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Maybe.discardR
(Applicative<B, Maybe<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.If this value is present and satisfiespredicate
, returnjust
the value; otherwise, returnnothing
.final <B> Maybe
<B> Chain dependent computations that may continue or short-circuit based on previous results.final <B> Maybe
<B> Covariantly transmute this functor's parameter using the given mapping function.static <A> Maybe
<A> Maybe.fromEither
(Either<?, A> either) These.fromMaybes
(Maybe<A> maybeA, Maybe<B> maybeB) static <A> Maybe
<A> Maybe.fromOptional
(Optional<? extends A> optional) static <A> Maybe
<A> Maybe.just
(A a) Lift a non-null value intoMaybe
.static <A> Maybe
<A> Maybe.maybe
(A a) Lift a potentially null value intoMaybe
.static <A> Maybe
<A> Maybe.nothing()
Return nothing.Deprecated.final <B> Maybe
<B> Maybe.pure
(B b) Lift the value into theMaybe
monadMaybe.throwError
(Unit unit) Throw an error value of typeE
into themonad
.Either.toMaybe()
Try.toMaybe()
If this is a success, wrap the value in ajust(A)
and return it.<B> Maybe
<B> Maybe.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, Maybe<?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.final <B> Maybe
<B> Maybe.zip
(Applicative<Fn1<? super A, ? extends B>, Maybe<?>> 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.adt that return types with arguments of type MaybeModifier and TypeMethodDescriptionTerminate early if this is aMaybe.Nothing
; otherwise, continue thezip
.Maybe.project()
Project this coproduct onto a product, such that the index in the product that corresponds to this coproduct's value is present, while the other indices are absent.Maybe.project()
Project this coproduct onto a product, such that the index in the product that corresponds to this coproduct's value is present, while the other indices are absent.Maybe.pureMaybe()
Methods in com.jnape.palatable.lambda.adt with parameters of type MaybeModifier and TypeMethodDescriptionstatic <L,
R> Either <L, R> These.fromMaybes
(Maybe<A> maybeA, Maybe<B> maybeB) Method parameters in com.jnape.palatable.lambda.adt with type arguments of type MaybeModifier and TypeMethodDescriptionfinal <B> Maybe
<B> Maybe.discardL
(Applicative<B, Maybe<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Maybe.discardR
(Applicative<B, Maybe<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.final <B> Maybe
<B> Chain dependent computations that may continue or short-circuit based on previous results.Terminate early if this is aMaybe.Nothing
; otherwise, continue thezip
.<B> Maybe
<B> Maybe.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, Maybe<?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.final <B> Maybe
<B> Maybe.zip
(Applicative<Fn1<? super A, ? extends B>, Maybe<?>> appFn) 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 Maybe in com.jnape.palatable.lambda.adt.choice
Methods in com.jnape.palatable.lambda.adt.choice that return types with arguments of type MaybeModifier and TypeMethodDescriptionChoice2.project()
Specialize this choice's projection to aTuple2
.Choice2.project()
Specialize this choice's projection to aTuple2
.Choice3.project()
Specialize this choice's projection to aTuple3
.Choice3.project()
Specialize this choice's projection to aTuple3
.Choice3.project()
Specialize this choice's projection to aTuple3
.Choice4.project()
Specialize this choice's projection to aTuple4
.Choice4.project()
Specialize this choice's projection to aTuple4
.Choice4.project()
Specialize this choice's projection to aTuple4
.Choice4.project()
Specialize this choice's projection to aTuple4
.Choice5.project()
Specialize this choice's projection to aTuple5
.Choice5.project()
Specialize this choice's projection to aTuple5
.Choice5.project()
Specialize this choice's projection to aTuple5
.Choice5.project()
Specialize this choice's projection to aTuple5
.Choice5.project()
Specialize this choice's projection to aTuple5
.Choice6.project()
Specialize this choice's projection to aTuple6
.Choice6.project()
Specialize this choice's projection to aTuple6
.Choice6.project()
Specialize this choice's projection to aTuple6
.Choice6.project()
Specialize this choice's projection to aTuple6
.Choice6.project()
Specialize this choice's projection to aTuple6
.Choice6.project()
Specialize this choice's projection to aTuple6
.Choice7.project()
Specialize this choice's projection to aTuple7
.Choice7.project()
Specialize this choice's projection to aTuple7
.Choice7.project()
Specialize this choice's projection to aTuple7
.Choice7.project()
Specialize this choice's projection to aTuple7
.Choice7.project()
Specialize this choice's projection to aTuple7
.Choice7.project()
Specialize this choice's projection to aTuple7
.Choice7.project()
Specialize this choice's projection to aTuple7
.Choice8.project()
Specialize this choice's projection to aTuple8
.Choice8.project()
Specialize this choice's projection to aTuple8
.Choice8.project()
Specialize this choice's projection to aTuple8
.Choice8.project()
Specialize this choice's projection to aTuple8
.Choice8.project()
Specialize this choice's projection to aTuple8
.Choice8.project()
Specialize this choice's projection to aTuple8
.Choice8.project()
Specialize this choice's projection to aTuple8
.Choice8.project()
Specialize this choice's projection to aTuple8
. -
Uses of Maybe in com.jnape.palatable.lambda.adt.coproduct
Methods in com.jnape.palatable.lambda.adt.coproduct that return MaybeModifier and TypeMethodDescriptionCoProduct2.projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.CoProduct3.projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.CoProduct4.projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.CoProduct5.projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.CoProduct6.projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.CoProduct7.projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.CoProduct8.projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.CoProduct2.projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.CoProduct3.projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.CoProduct4.projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.CoProduct5.projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.CoProduct6.projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.CoProduct7.projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.CoProduct8.projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.CoProduct3.projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.CoProduct4.projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.CoProduct5.projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.CoProduct6.projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.CoProduct7.projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.CoProduct8.projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.CoProduct4.projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.CoProduct5.projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.CoProduct6.projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.CoProduct7.projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.CoProduct8.projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.CoProduct5.projectE()
Convenience method for projecting this coproduct onto a product and then extracting the fifth slot value.CoProduct6.projectE()
Convenience method for projecting this coproduct onto a product and then extracting the fifth slot value.CoProduct7.projectE()
Convenience method for projecting this coproduct onto a product and then extracting the fifth slot value.CoProduct8.projectE()
Convenience method for projecting this coproduct onto a product and then extracting the fifth slot value.CoProduct6.projectF()
Convenience method for projecting this coproduct onto a product and then extracting the sixth slot value.CoProduct7.projectF()
Convenience method for projecting this coproduct onto a product and then extracting the sixth slot value.CoProduct8.projectF()
Convenience method for projecting this coproduct onto a product and then extracting the sixth slot value.CoProduct7.projectG()
Convenience method for projecting this coproduct onto a product and then extracting the seventh slot value.CoProduct8.projectG()
Convenience method for projecting this coproduct onto a product and then extracting the seventh slot value.CoProduct8.projectH()
Convenience method for projecting this coproduct onto a product and then extracting the eighth slot value.Methods in com.jnape.palatable.lambda.adt.coproduct that return types with arguments of type MaybeModifier and TypeMethodDescriptionCoProduct2.project()
Project this coproduct onto a product, such that the index in the product that corresponds to this coproduct's value is present, while the other indices are absent.CoProduct2.project()
Project this coproduct onto a product, such that the index in the product that corresponds to this coproduct's value is present, while the other indices are absent.CoProduct3.project()
Project this coproduct onto a product.CoProduct3.project()
Project this coproduct onto a product.CoProduct3.project()
Project this coproduct onto a product.CoProduct4.project()
Project this coproduct onto a product.CoProduct4.project()
Project this coproduct onto a product.CoProduct4.project()
Project this coproduct onto a product.CoProduct4.project()
Project this coproduct onto a product.CoProduct5.project()
Project this coproduct onto a product.CoProduct5.project()
Project this coproduct onto a product.CoProduct5.project()
Project this coproduct onto a product.CoProduct5.project()
Project this coproduct onto a product.CoProduct5.project()
Project this coproduct onto a product.CoProduct6.project()
Project this coproduct onto a product.CoProduct6.project()
Project this coproduct onto a product.CoProduct6.project()
Project this coproduct onto a product.CoProduct6.project()
Project this coproduct onto a product.CoProduct6.project()
Project this coproduct onto a product.CoProduct6.project()
Project this coproduct onto a product.CoProduct7.project()
Project this coproduct onto a product.CoProduct7.project()
Project this coproduct onto a product.CoProduct7.project()
Project this coproduct onto a product.CoProduct7.project()
Project this coproduct onto a product.CoProduct7.project()
Project this coproduct onto a product.CoProduct7.project()
Project this coproduct onto a product.CoProduct7.project()
Project this coproduct onto a product.CoProduct8.project()
Project this coproduct onto a product.CoProduct8.project()
Project this coproduct onto a product.CoProduct8.project()
Project this coproduct onto a product.CoProduct8.project()
Project this coproduct onto a product.CoProduct8.project()
Project this coproduct onto a product.CoProduct8.project()
Project this coproduct onto a product.CoProduct8.project()
Project this coproduct onto a product.CoProduct8.project()
Project this coproduct onto a product. -
Uses of Maybe in com.jnape.palatable.lambda.adt.hlist
Methods in com.jnape.palatable.lambda.adt.hlist that return MaybeModifier and TypeMethodDescriptionTuple2.fromIterable
(Iterable<A> as) Tuple3.fromIterable
(Iterable<A> as) Tuple4.fromIterable
(Iterable<A> as) Tuple5.fromIterable
(Iterable<A> as) Tuple6.fromIterable
(Iterable<A> as) Tuple7.fromIterable
(Iterable<A> as) Tuple8.fromIterable
(Iterable<A> as) -
Uses of Maybe in com.jnape.palatable.lambda.adt.hmap
Methods in com.jnape.palatable.lambda.adt.hmap that return MaybeModifier and TypeMethodDescription<A,
B> Maybe <B> HMap.get
(TypeSafeKey<A, B> key) Retrieve the value at this key. -
Uses of Maybe in com.jnape.palatable.lambda.functions.builtin.fn1
Methods in com.jnape.palatable.lambda.functions.builtin.fn1 that return MaybeModifier and TypeMethodDescriptionHead.checkedApply
(Iterable<A> as) Last.checkedApply
(Iterable<A> as) Uncons.checkedApply
(Iterable<A> as) static <A> Maybe
<A> static <A> Maybe
<A> Method parameters in com.jnape.palatable.lambda.functions.builtin.fn1 with type arguments of type Maybe -
Uses of Maybe in com.jnape.palatable.lambda.functions.builtin.fn2
Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return MaybeModifier and TypeMethodDescriptionstatic <A> Maybe
<A> static <A> Maybe
<A> ReduceLeft.reduceLeft
(Fn2<? super A, ? super A, ? extends A> fn, Iterable<A> as) static <A> Maybe
<A> ReduceRight.reduceRight
(Fn2<? super A, ? super A, ? extends A> fn, Iterable<A> as) Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return types with arguments of type MaybeModifier and TypeMethodDescriptionReduceLeft.reduceLeft
(Fn2<? super A, ? super A, ? extends A> fn) ReduceRight.reduceRight
(Fn2<? super A, ? super A, ? extends A> fn) Method parameters in com.jnape.palatable.lambda.functions.builtin.fn2 with type arguments of type Maybe -
Uses of Maybe in com.jnape.palatable.lambda.internal
Methods in com.jnape.palatable.lambda.internal that return Maybe -
Uses of Maybe in com.jnape.palatable.lambda.internal.iteration
Fields in com.jnape.palatable.lambda.internal.iteration declared as MaybeFields in com.jnape.palatable.lambda.internal.iteration with type parameters of type MaybeConstructor parameters in com.jnape.palatable.lambda.internal.iteration with type arguments of type Maybe -
Uses of Maybe in com.jnape.palatable.lambda.monad.transformer.builtin
Fields in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type MaybeModifier and TypeFieldDescriptionMaybeT.mma
private final ImmutableQueue
<Choice2<Fn0<MonadRec<Maybe<Tuple2<A, IterateT<M, A>>>, M>>, MonadRec<A, M>>> IterateT.spine
Methods in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type MaybeModifier and TypeMethodDescriptionIterateT.runIterateT()
Recover the full structure of the embeddedMonad
.MaybeT.runMaybeT()
Recover the full structure of the embeddedMonad
.IterateT.runStep()
IterateT.runStep()
Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type MaybeModifier and TypeMethodDescriptionConstructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Maybe -
Uses of Maybe in com.jnape.palatable.lambda.monoid.builtin
Methods in com.jnape.palatable.lambda.monoid.builtin that return MaybeModifier and TypeMethodDescriptionFirst.checkedApply
(Maybe<A> x, Maybe<A> y) Last.checkedApply
(Maybe<A> x, Maybe<A> y) static <A> Maybe
<A> First.identity()
Last.identity()
static <A> Maybe
<A> static <A> Maybe
<A> Methods in com.jnape.palatable.lambda.monoid.builtin that return types with arguments of type MaybeMethods in com.jnape.palatable.lambda.monoid.builtin with parameters of type MaybeModifier and TypeMethodDescriptionFirst.checkedApply
(Maybe<A> x, Maybe<A> y) Last.checkedApply
(Maybe<A> x, Maybe<A> y) static <A> Maybe
<A> static <A> Maybe
<A> static <A> Maybe
<A> Method parameters in com.jnape.palatable.lambda.monoid.builtin with type arguments of type Maybe -
Uses of Maybe in com.jnape.palatable.lambda.optics
Method parameters in com.jnape.palatable.lambda.optics with type arguments of type MaybeModifier and TypeMethodDescriptionstatic <S,
A> Prism.Simple <S, A> Prism.simplePrism
(Fn1<? super S, ? extends Maybe<A>> sMaybeA, Fn1<? super A, ? extends S> as) Static factory method for creating a simplePrism
from a function and its potentially failing inverse. -
Uses of Maybe in com.jnape.palatable.lambda.optics.functions
Methods in com.jnape.palatable.lambda.optics.functions that return types with arguments of type MaybeModifier and TypeMethodDescriptionstatic <P extends Profunctor<?,
?, ? extends P>, S, T, A, B>
Optic<P, Const<Maybe<A>, ?>, S, T, Maybe<A>, B> static <P extends Profunctor<?,
?, ? extends P>, S, T, A, B>
Optic<P, Const<Maybe<A>, ?>, S, T, Maybe<A>, B> static <P extends Profunctor<?,
?, ? extends P>, S, T, A, B>
Optic<P, Const<Maybe<A>, ?>, S, T, Maybe<A>, B> Pre.pre
(ProtoOptic<P, S, T, A, B> protoOptic) static <P extends Profunctor<?,
?, ? extends P>, S, T, A, B>
Optic<P, Const<Maybe<A>, ?>, S, T, Maybe<A>, B> Pre.pre
(ProtoOptic<P, S, T, A, B> protoOptic) Method parameters in com.jnape.palatable.lambda.optics.functions with type arguments of type MaybeModifier and TypeMethodDescriptionstatic <P extends Profunctor<?,
?, ? extends P>, S, T, A, B>
Optic<P, Const<Maybe<A>, ?>, S, T, Maybe<A>, B> -
Uses of Maybe in com.jnape.palatable.lambda.optics.lenses
Methods in com.jnape.palatable.lambda.optics.lenses that return types with arguments of type MaybeModifier 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
.static <V> Lens.Simple
<V, Maybe<V>> MaybeLens.asMaybe()
Convenience static factory method for creating a lens that focuses on a value as aMaybe
.static <X> Lens.Simple
<List<X>, Maybe<X>> ListLens.elementAt
(int index) Convenience static factory method for creating a lens that focuses on an element in a list at a particular index.static <A> Lens.Simple
<Iterable<A>, Maybe<A>> IterableLens.head()
A lens focusing on the head of a givenIterable
.Given a lens, liftA
intoMaybe
.Given a lens, liftT
intoMaybe
.static <A> Lens.Simple
<HMap, Maybe<A>> HMapLens.valueAt
(TypeSafeKey<?, A> key) A lens that focuses on a value at a key in a map, as aMaybe
, and produces a subtypeM
on the way back out.A lens that focuses on a value at a key in a map, as aMaybe
, and produces a subtypeM
on the way back out.static <K,
V> Lens.Simple <Map<K, V>, Maybe<V>> MapLens.valueAt
(K k) A lens that focuses on a value at a key in a map, as aMaybe
.Method parameters in com.jnape.palatable.lambda.optics.lenses with type arguments of type Maybe -
Uses of Maybe in com.jnape.palatable.lambda.optics.prisms
Methods in com.jnape.palatable.lambda.optics.prisms that return types with arguments of type Maybe -
Uses of Maybe in com.jnape.palatable.lambda.semigroup.builtin
Methods in com.jnape.palatable.lambda.semigroup.builtin that return MaybeMethods in com.jnape.palatable.lambda.semigroup.builtin that return types with arguments of type MaybeModifier and TypeMethodDescriptionAbsent.checkedApply
(Semigroup<A> aSemigroup) Absent.shortCircuitSemigroup
(Semigroup<A> aSemigroup) Methods in com.jnape.palatable.lambda.semigroup.builtin with parameters of type Maybe
matching
into anIO
and explicitly running it