Uses of Class
com.jnape.palatable.lambda.adt.Maybe
-
-
Uses of Maybe in com.jnape.palatable.lambda.adt
Subclasses of Maybe in com.jnape.palatable.lambda.adt Modifier and Type Class Description private static class
Maybe.Just<A>
private static class
Maybe.Nothing<A>
Methods in com.jnape.palatable.lambda.adt with type parameters of type Maybe Modifier and Type Method Description <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 Maybe Modifier and Type Method Description Maybe<A>
Maybe. catchError(Fn1<? super Unit,? extends Monad<A,Maybe<?>>> recoveryFn)
<B> Maybe<B>
Maybe. discardL(Applicative<B,Maybe<?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> Maybe<A>
Maybe. discardR(Applicative<B,Maybe<?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Maybe<A>
Maybe. filter(Fn1<? super A,? extends java.lang.Boolean> predicate)
If this value is present and satisfiespredicate
, returnjust
the value; otherwise, returnnothing
.<B> Maybe<B>
Maybe. flatMap(Fn1<? super A,? extends Monad<B,Maybe<?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> Maybe<B>
Maybe. fmap(Fn1<? super A,? extends B> fn)
Covariantly transmute this functor's parameter using the given mapping function.static <A> Maybe<A>
Maybe. fromEither(Either<?,A> either)
static <A,B>
Maybe<These<A,B>>These. fromMaybes(Maybe<A> maybeA, Maybe<B> maybeB)
static <A> Maybe<A>
Maybe. fromOptional(java.util.Optional<? extends A> optional)
Convenience static factory method for creating aMaybe
from anOptional
.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.Maybe<A>
Maybe. peek(Fn1<? super A,? extends IO<?>> effect)
<B> Maybe<B>
Maybe. pure(B b)
Lift the value into theMaybe
monadMaybe<A>
Maybe. throwError(Unit unit)
Throw an error value of typeE
into themonad
.Maybe<R>
Either. toMaybe()
Maybe<A>
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.<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 Maybe Modifier and Type Method Description <B> Lazy<Maybe<B>>
Maybe. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Maybe<?>>> lazyAppFn)
Terminate early if this is aMaybe.Nothing
; otherwise, continue thezip
.Tuple2<Maybe<Unit>,Maybe<A>>
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.Tuple2<Maybe<Unit>,Maybe<A>>
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.static Pure<Maybe<?>>
Maybe. pureMaybe()
Methods in com.jnape.palatable.lambda.adt with parameters of type Maybe Modifier and Type Method Description static <L,R>
Either<L,R>Either. fromMaybe(Maybe<R> maybe, Fn0<L> leftFn0)
static <A,B>
Maybe<These<A,B>>These. fromMaybes(Maybe<A> maybeA, Maybe<B> maybeB)
Method parameters in com.jnape.palatable.lambda.adt with type arguments of type Maybe Modifier and Type Method Description Maybe<A>
Maybe. catchError(Fn1<? super Unit,? extends Monad<A,Maybe<?>>> recoveryFn)
<B> Maybe<B>
Maybe. discardL(Applicative<B,Maybe<?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> Maybe<A>
Maybe. discardR(Applicative<B,Maybe<?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> Maybe<B>
Maybe. flatMap(Fn1<? super A,? extends Monad<B,Maybe<?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> Lazy<Maybe<B>>
Maybe. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,Maybe<?>>> lazyAppFn)
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.<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 Maybe Modifier and Type Method Description Tuple2<Maybe<A>,Maybe<B>>
Choice2. project()
Specialize this choice's projection to aTuple2
.Tuple2<Maybe<A>,Maybe<B>>
Choice2. project()
Specialize this choice's projection to aTuple2
.Tuple3<Maybe<A>,Maybe<B>,Maybe<C>>
Choice3. project()
Specialize this choice's projection to aTuple3
.Tuple3<Maybe<A>,Maybe<B>,Maybe<C>>
Choice3. project()
Specialize this choice's projection to aTuple3
.Tuple3<Maybe<A>,Maybe<B>,Maybe<C>>
Choice3. project()
Specialize this choice's projection to aTuple3
.Tuple4<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>>
Choice4. project()
Specialize this choice's projection to aTuple4
.Tuple4<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>>
Choice4. project()
Specialize this choice's projection to aTuple4
.Tuple4<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>>
Choice4. project()
Specialize this choice's projection to aTuple4
.Tuple4<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>>
Choice4. project()
Specialize this choice's projection to aTuple4
.Tuple5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
Choice5. project()
Specialize this choice's projection to aTuple5
.Tuple5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
Choice5. project()
Specialize this choice's projection to aTuple5
.Tuple5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
Choice5. project()
Specialize this choice's projection to aTuple5
.Tuple5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
Choice5. project()
Specialize this choice's projection to aTuple5
.Tuple5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
Choice5. project()
Specialize this choice's projection to aTuple5
.Tuple6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
Choice6. project()
Specialize this choice's projection to aTuple6
.Tuple6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
Choice6. project()
Specialize this choice's projection to aTuple6
.Tuple6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
Choice6. project()
Specialize this choice's projection to aTuple6
.Tuple6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
Choice6. project()
Specialize this choice's projection to aTuple6
.Tuple6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
Choice6. project()
Specialize this choice's projection to aTuple6
.Tuple6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
Choice6. project()
Specialize this choice's projection to aTuple6
.Tuple7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
Choice7. project()
Specialize this choice's projection to aTuple7
.Tuple7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
Choice7. project()
Specialize this choice's projection to aTuple7
.Tuple7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
Choice7. project()
Specialize this choice's projection to aTuple7
.Tuple7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
Choice7. project()
Specialize this choice's projection to aTuple7
.Tuple7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
Choice7. project()
Specialize this choice's projection to aTuple7
.Tuple7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
Choice7. project()
Specialize this choice's projection to aTuple7
.Tuple7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
Choice7. project()
Specialize this choice's projection to aTuple7
.Tuple8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
Choice8. project()
Specialize this choice's projection to aTuple8
.Tuple8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
Choice8. project()
Specialize this choice's projection to aTuple8
.Tuple8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
Choice8. project()
Specialize this choice's projection to aTuple8
.Tuple8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
Choice8. project()
Specialize this choice's projection to aTuple8
.Tuple8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
Choice8. project()
Specialize this choice's projection to aTuple8
.Tuple8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
Choice8. project()
Specialize this choice's projection to aTuple8
.Tuple8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
Choice8. project()
Specialize this choice's projection to aTuple8
.Tuple8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
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 Maybe Modifier and Type Method Description default Maybe<A>
CoProduct2. projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.default Maybe<A>
CoProduct3. projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.default Maybe<A>
CoProduct4. projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.default Maybe<A>
CoProduct5. projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.default Maybe<A>
CoProduct6. projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.default Maybe<A>
CoProduct7. projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.default Maybe<A>
CoProduct8. projectA()
Convenience method for projecting this coproduct onto a product and then extracting the first slot value.default Maybe<B>
CoProduct2. projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.default Maybe<B>
CoProduct3. projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.default Maybe<B>
CoProduct4. projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.default Maybe<B>
CoProduct5. projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.default Maybe<B>
CoProduct6. projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.default Maybe<B>
CoProduct7. projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.default Maybe<B>
CoProduct8. projectB()
Convenience method for projecting this coproduct onto a product and then extracting the second slot value.default Maybe<C>
CoProduct3. projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.default Maybe<C>
CoProduct4. projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.default Maybe<C>
CoProduct5. projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.default Maybe<C>
CoProduct6. projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.default Maybe<C>
CoProduct7. projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.default Maybe<C>
CoProduct8. projectC()
Convenience method for projecting this coproduct onto a product and then extracting the third slot value.default Maybe<D>
CoProduct4. projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.default Maybe<D>
CoProduct5. projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.default Maybe<D>
CoProduct6. projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.default Maybe<D>
CoProduct7. projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.default Maybe<D>
CoProduct8. projectD()
Convenience method for projecting this coproduct onto a product and then extracting the fourth slot value.default Maybe<E>
CoProduct5. projectE()
Convenience method for projecting this coproduct onto a product and then extracting the fifth slot value.default Maybe<E>
CoProduct6. projectE()
Convenience method for projecting this coproduct onto a product and then extracting the fifth slot value.default Maybe<E>
CoProduct7. projectE()
Convenience method for projecting this coproduct onto a product and then extracting the fifth slot value.default Maybe<E>
CoProduct8. projectE()
Convenience method for projecting this coproduct onto a product and then extracting the fifth slot value.default Maybe<F>
CoProduct6. projectF()
Convenience method for projecting this coproduct onto a product and then extracting the sixth slot value.default Maybe<F>
CoProduct7. projectF()
Convenience method for projecting this coproduct onto a product and then extracting the sixth slot value.default Maybe<F>
CoProduct8. projectF()
Convenience method for projecting this coproduct onto a product and then extracting the sixth slot value.default Maybe<G>
CoProduct7. projectG()
Convenience method for projecting this coproduct onto a product and then extracting the seventh slot value.default Maybe<G>
CoProduct8. projectG()
Convenience method for projecting this coproduct onto a product and then extracting the seventh slot value.default Maybe<H>
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 Maybe Modifier and Type Method Description default Product2<Maybe<A>,Maybe<B>>
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.default Product2<Maybe<A>,Maybe<B>>
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.default Product3<Maybe<A>,Maybe<B>,Maybe<C>>
CoProduct3. project()
Project this coproduct onto a product.default Product3<Maybe<A>,Maybe<B>,Maybe<C>>
CoProduct3. project()
Project this coproduct onto a product.default Product3<Maybe<A>,Maybe<B>,Maybe<C>>
CoProduct3. project()
Project this coproduct onto a product.default Product4<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>>
CoProduct4. project()
Project this coproduct onto a product.default Product4<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>>
CoProduct4. project()
Project this coproduct onto a product.default Product4<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>>
CoProduct4. project()
Project this coproduct onto a product.default Product4<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>>
CoProduct4. project()
Project this coproduct onto a product.default Product5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
CoProduct5. project()
Project this coproduct onto a product.default Product5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
CoProduct5. project()
Project this coproduct onto a product.default Product5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
CoProduct5. project()
Project this coproduct onto a product.default Product5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
CoProduct5. project()
Project this coproduct onto a product.default Product5<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>>
CoProduct5. project()
Project this coproduct onto a product.default Product6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
CoProduct6. project()
Project this coproduct onto a product.default Product6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
CoProduct6. project()
Project this coproduct onto a product.default Product6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
CoProduct6. project()
Project this coproduct onto a product.default Product6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
CoProduct6. project()
Project this coproduct onto a product.default Product6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
CoProduct6. project()
Project this coproduct onto a product.default Product6<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>>
CoProduct6. project()
Project this coproduct onto a product.default Product7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
CoProduct7. project()
Project this coproduct onto a product.default Product7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
CoProduct7. project()
Project this coproduct onto a product.default Product7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
CoProduct7. project()
Project this coproduct onto a product.default Product7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
CoProduct7. project()
Project this coproduct onto a product.default Product7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
CoProduct7. project()
Project this coproduct onto a product.default Product7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
CoProduct7. project()
Project this coproduct onto a product.default Product7<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>>
CoProduct7. project()
Project this coproduct onto a product.default Product8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
CoProduct8. project()
Project this coproduct onto a product.default Product8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
CoProduct8. project()
Project this coproduct onto a product.default Product8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
CoProduct8. project()
Project this coproduct onto a product.default Product8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
CoProduct8. project()
Project this coproduct onto a product.default Product8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
CoProduct8. project()
Project this coproduct onto a product.default Product8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
CoProduct8. project()
Project this coproduct onto a product.default Product8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
CoProduct8. project()
Project this coproduct onto a product.default Product8<Maybe<A>,Maybe<B>,Maybe<C>,Maybe<D>,Maybe<E>,Maybe<F>,Maybe<G>,Maybe<H>>
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 Maybe Modifier and Type Method Description static <A> Maybe<Tuple2<A,A>>
Tuple2. fromIterable(java.lang.Iterable<A> as)
static <A> Maybe<Tuple3<A,A,A>>
Tuple3. fromIterable(java.lang.Iterable<A> as)
static <A> Maybe<Tuple4<A,A,A,A>>
Tuple4. fromIterable(java.lang.Iterable<A> as)
static <A> Maybe<Tuple5<A,A,A,A,A>>
Tuple5. fromIterable(java.lang.Iterable<A> as)
static <A> Maybe<Tuple6<A,A,A,A,A,A>>
Tuple6. fromIterable(java.lang.Iterable<A> as)
static <A> Maybe<Tuple7<A,A,A,A,A,A,A>>
Tuple7. fromIterable(java.lang.Iterable<A> as)
static <A> Maybe<Tuple8<A,A,A,A,A,A,A,A>>
Tuple8. fromIterable(java.lang.Iterable<A> as)
-
Uses of Maybe in com.jnape.palatable.lambda.adt.hmap
Methods in com.jnape.palatable.lambda.adt.hmap that return Maybe Modifier and Type Method Description <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 Maybe Modifier and Type Method Description Maybe<A>
Head. checkedApply(java.lang.Iterable<A> as)
Maybe<A>
Last. checkedApply(java.lang.Iterable<A> as)
Maybe<Tuple2<A,java.lang.Iterable<A>>>
Uncons. checkedApply(java.lang.Iterable<A> as)
static <A> Maybe<A>
Head. head(java.lang.Iterable<A> as)
static <A> Maybe<A>
Last. last(java.lang.Iterable<A> as)
static <A> Maybe<Tuple2<A,java.lang.Iterable<A>>>
Uncons. uncons(java.lang.Iterable<A> as)
Method parameters in com.jnape.palatable.lambda.functions.builtin.fn1 with type arguments of type Maybe Modifier and Type Method Description static <A> java.lang.Iterable<A>
CatMaybes. catMaybes(java.lang.Iterable<Maybe<A>> as)
java.lang.Iterable<A>
CatMaybes. checkedApply(java.lang.Iterable<Maybe<A>> maybes)
-
Uses of Maybe in com.jnape.palatable.lambda.functions.builtin.fn2
Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return Maybe Modifier and Type Method Description Maybe<A>
Find. checkedApply(Fn1<? super A,? extends java.lang.Boolean> predicate, java.lang.Iterable<A> as)
Maybe<A>
ReduceLeft. checkedApply(Fn2<? super A,? super A,? extends A> fn, java.lang.Iterable<A> as)
Maybe<A>
ReduceRight. checkedApply(Fn2<? super A,? super A,? extends A> fn, java.lang.Iterable<A> as)
static <A> Maybe<A>
Find. find(Fn1<? super A,? extends java.lang.Boolean> predicate, java.lang.Iterable<A> as)
static <A> Maybe<A>
ReduceLeft. reduceLeft(Fn2<? super A,? super A,? extends A> fn, java.lang.Iterable<A> as)
static <A> Maybe<A>
ReduceRight. reduceRight(Fn2<? super A,? super A,? extends A> fn, java.lang.Iterable<A> as)
Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return types with arguments of type Maybe Modifier and Type Method Description static <A> Fn1<java.lang.Iterable<A>,Maybe<A>>
Find. find(Fn1<? super A,? extends java.lang.Boolean> predicate)
static <A> Fn1<java.lang.Iterable<A>,Maybe<A>>
ReduceLeft. reduceLeft(Fn2<? super A,? super A,? extends A> fn)
static <A> Fn1<java.lang.Iterable<A>,Maybe<A>>
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 Modifier and Type Method Description java.lang.Iterable<A>
Unfoldr. checkedApply(Fn1<? super B,Maybe<Tuple2<A,B>>> fn, B b)
static <A,B>
Fn1<B,java.lang.Iterable<A>>Unfoldr. unfoldr(Fn1<? super B,Maybe<Tuple2<A,B>>> fn)
static <A,B>
java.lang.Iterable<A>Unfoldr. unfoldr(Fn1<? super B,Maybe<Tuple2<A,B>>> fn, B b)
-
Uses of Maybe in com.jnape.palatable.lambda.internal
Methods in com.jnape.palatable.lambda.internal that return Maybe Modifier and Type Method Description Maybe<A>
ImmutableQueue.Empty. head()
abstract Maybe<A>
ImmutableQueue. head()
Maybe<A>
ImmutableQueue.NonEmpty. head()
Maybe<A>
ImmutableStack.Empty. head()
abstract Maybe<A>
ImmutableStack. head()
Maybe<A>
ImmutableStack.Node. head()
-
Uses of Maybe in com.jnape.palatable.lambda.internal.iteration
Fields in com.jnape.palatable.lambda.internal.iteration declared as Maybe Modifier and Type Field Description private Maybe<Tuple2<A,B>>
UnfoldingIterator. maybeAcc
Fields in com.jnape.palatable.lambda.internal.iteration with type parameters of type Maybe Modifier and Type Field Description private Fn1<? super B,Maybe<Tuple2<A,B>>>
UnfoldingIterator. function
Constructor parameters in com.jnape.palatable.lambda.internal.iteration with type arguments of type Maybe Constructor Description UnfoldingIterator(Fn1<? super B,Maybe<Tuple2<A,B>>> function, B seed)
-
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 Maybe Modifier and Type Field Description private MonadRec<Maybe<A>,M>
MaybeT. mma
private 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 Maybe Modifier and Type Method Description <MMTA extends MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M>>
MMTAIterateT. runIterateT()
Recover the full structure of the embeddedMonad
.<MMA extends MonadRec<Maybe<A>,M>>
MMAMaybeT. runMaybeT()
Recover the full structure of the embeddedMonad
.<MStep extends MonadRec<Maybe<Tuple2<Maybe<A>,IterateT<M,A>>>,M>>
MStepIterateT. runStep()
<MStep extends MonadRec<Maybe<Tuple2<Maybe<A>,IterateT<M,A>>>,M>>
MStepIterateT. runStep()
Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Maybe Modifier and Type Method Description static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. iterateT(MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M> unwrapped)
static <M extends MonadRec<?,M>,A>
MaybeT<M,A>MaybeT. maybeT(MonadRec<Maybe<A>,M> mma)
static <M extends MonadRec<?,M>,A>
IterateT<M,A>IterateT. suspended(Fn0<MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M>> thunk, Pure<M> pureM)
static <M extends MonadRec<?,M>,A,B>
IterateT<M,A>IterateT. unfold(Fn1<? super B,? extends MonadRec<Maybe<Tuple2<A,B>>,M>> fn, MonadRec<B,M> mb)
Constructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Maybe Constructor Description IterateT(Pure<M> pureM, ImmutableQueue<Choice2<Fn0<MonadRec<Maybe<Tuple2<A,IterateT<M,A>>>,M>>,MonadRec<A,M>>> spine)
MaybeT(MonadRec<Maybe<A>,M> mma)
-
Uses of Maybe in com.jnape.palatable.lambda.monoid.builtin
Methods in com.jnape.palatable.lambda.monoid.builtin that return Maybe Modifier and Type Method Description Maybe<A>
First. checkedApply(Maybe<A> x, Maybe<A> y)
Maybe<A>
Last. checkedApply(Maybe<A> x, Maybe<A> y)
static <A> Maybe<A>
First. first(Maybe<A> x, Maybe<A> y)
<B> Maybe<A>
First. foldMap(Fn1<? super B,? extends Maybe<A>> fn, java.lang.Iterable<B> bs)
Maybe<A>
First. identity()
Maybe<A>
Last. identity()
static <A> Maybe<A>
Last. last(Maybe<A> x, Maybe<A> y)
static <A> Maybe<A>
Present. present(Semigroup<A> semigroup, Maybe<A> x, Maybe<A> y)
Methods in com.jnape.palatable.lambda.monoid.builtin that return types with arguments of type Maybe Modifier and Type Method Description Monoid<Maybe<A>>
Present. checkedApply(Semigroup<A> aSemigroup)
static <A> Fn1<Maybe<A>,Maybe<A>>
First. first(Maybe<A> x)
static <A> Fn1<Maybe<A>,Maybe<A>>
First. first(Maybe<A> x)
static <A> Fn1<Maybe<A>,Maybe<A>>
Last. last(Maybe<A> x)
static <A> Fn1<Maybe<A>,Maybe<A>>
Last. last(Maybe<A> x)
static <A> Monoid<Maybe<A>>
Present. present(Semigroup<A> semigroup)
static <A> Fn1<Maybe<A>,Maybe<A>>
Present. present(Semigroup<A> aSemigroup, Maybe<A> x)
static <A> Fn1<Maybe<A>,Maybe<A>>
Present. present(Semigroup<A> aSemigroup, Maybe<A> x)
Methods in com.jnape.palatable.lambda.monoid.builtin with parameters of type Maybe Modifier and Type Method Description Maybe<A>
First. checkedApply(Maybe<A> x, Maybe<A> y)
Maybe<A>
Last. checkedApply(Maybe<A> x, Maybe<A> y)
static <A> Fn1<Maybe<A>,Maybe<A>>
First. first(Maybe<A> x)
static <A> Maybe<A>
First. first(Maybe<A> x, Maybe<A> y)
static <A> Fn1<Maybe<A>,Maybe<A>>
Last. last(Maybe<A> x)
static <A> Maybe<A>
Last. last(Maybe<A> x, Maybe<A> y)
static <A> Fn1<Maybe<A>,Maybe<A>>
Present. present(Semigroup<A> aSemigroup, Maybe<A> x)
static <A> Maybe<A>
Present. present(Semigroup<A> semigroup, Maybe<A> x, Maybe<A> y)
Method parameters in com.jnape.palatable.lambda.monoid.builtin with type arguments of type Maybe Modifier and Type Method Description <B> Maybe<A>
First. foldMap(Fn1<? super B,? extends Maybe<A>> fn, java.lang.Iterable<B> bs)
private static <A> Fn2<HMap,HMap,HMap>
MergeHMaps. merge(TypeSafeKey<?,A> key, Semigroup<Maybe<A>> semigroup)
-
Uses of Maybe in com.jnape.palatable.lambda.optics
Method parameters in com.jnape.palatable.lambda.optics with type arguments of type Maybe Modifier and Type Method Description static <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 Maybe Modifier and Type Method Description Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>
Pre. checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>
Pre. checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
static <P extends Profunctor<?,?,? extends P>,S,T,A,B>
Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>Pre. pre(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
static <P extends Profunctor<?,?,? extends P>,S,T,A,B>
Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>Pre. pre(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
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 Maybe Modifier and Type Method Description Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>
Pre. checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
static <P extends Profunctor<?,?,? extends P>,S,T,A,B>
Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>Pre. pre(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
-
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 Maybe Modifier and Type Method Description static <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<java.util.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<java.lang.Iterable<A>,Maybe<A>>
IterableLens. head()
A lens focusing on the head of a givenIterable
.static <S,T,A,B>
Lens<S,T,Maybe<A>,B>MaybeLens. liftA(Lens<S,T,A,B> lens)
Given a lens, liftA
intoMaybe
.static <S,T,A,B>
Lens<S,T,A,Maybe<B>>MaybeLens. liftB(Lens<S,T,A,B> lens, B defaultB)
static <S,T,A,B>
Lens<Maybe<S>,T,A,B>MaybeLens. liftS(Lens<S,T,A,B> lens, S defaultS)
static <S,T,A,B>
Lens<S,Maybe<T>,A,B>MaybeLens. liftT(Lens<S,T,A,B> lens)
Given a lens, liftT
intoMaybe
.static <A> Lens.Simple<HMap,Maybe<A>>
HMapLens. valueAt(TypeSafeKey<?,A> key)
static <M extends java.util.Map<K,V>,K,V>
Lens<java.util.Map<K,V>,M,Maybe<V>,Maybe<V>>MapLens. valueAt(Fn1<? super java.util.Map<K,V>,? extends M> copyFn, K k)
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 <M extends java.util.Map<K,V>,K,V>
Lens<java.util.Map<K,V>,M,Maybe<V>,Maybe<V>>MapLens. valueAt(Fn1<? super java.util.Map<K,V>,? extends M> copyFn, K k)
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<java.util.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 Modifier and Type Method Description static <S,T,A,B>
Lens<S,T,A,B>MaybeLens. unLiftA(Lens<S,T,Maybe<A>,B> lens, A defaultA)
static <S,T,A,B>
Lens<S,T,A,B>MaybeLens. unLiftB(Lens<S,T,A,Maybe<B>> lens)
static <S,T,A,B>
Lens<S,T,A,B>MaybeLens. unLiftS(Lens<Maybe<S>,T,A,B> lens)
static <S,T,A,B>
Lens<S,T,A,B>MaybeLens. unLiftT(Lens<S,Maybe<T>,A,B> lens, T defaultT)
-
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 Modifier and Type Method Description static <A,B>
Prism<Maybe<A>,Maybe<B>,A,B>MaybePrism. _just()
static <A,B>
Prism<Maybe<A>,Maybe<B>,A,B>MaybePrism. _just()
static <A> Prism.Simple<Maybe<A>,Unit>
MaybePrism. _nothing()
-
Uses of Maybe in com.jnape.palatable.lambda.semigroup.builtin
Methods in com.jnape.palatable.lambda.semigroup.builtin that return Maybe Modifier and Type Method Description static <A> Maybe<A>
Absent. absent(Semigroup<A> semigroup, Maybe<A> x, Maybe<A> y)
Methods in com.jnape.palatable.lambda.semigroup.builtin that return types with arguments of type Maybe Modifier and Type Method Description static <A> Semigroup<Maybe<A>>
Absent. absent(Semigroup<A> aSemigroup)
static <A> Fn1<Maybe<A>,Maybe<A>>
Absent. absent(Semigroup<A> aSemigroup, Maybe<A> x)
static <A> Fn1<Maybe<A>,Maybe<A>>
Absent. absent(Semigroup<A> aSemigroup, Maybe<A> x)
Semigroup<Maybe<A>>
Absent. checkedApply(Semigroup<A> aSemigroup)
private static <A> Semigroup<Maybe<A>>
Absent. shortCircuitSemigroup(Semigroup<A> aSemigroup)
Methods in com.jnape.palatable.lambda.semigroup.builtin with parameters of type Maybe Modifier and Type Method Description static <A> Fn1<Maybe<A>,Maybe<A>>
Absent. absent(Semigroup<A> aSemigroup, Maybe<A> x)
static <A> Maybe<A>
Absent. absent(Semigroup<A> semigroup, Maybe<A> x, Maybe<A> y)
-