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 classMaybe.Just<A>private static final classClasses in com.jnape.palatable.lambda.adt that implement interfaces with type arguments of type MaybeModifier and TypeClassDescriptionclassMaybe<A>The optional type, representing a potentially absent value.classMaybe<A>The optional type, representing a potentially absent value.classMaybe<A>The optional type, representing a potentially absent value.classMaybe<A>The optional type, representing a potentially absent value.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 thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.Maybe.discardR(Applicative<B, Maybe<?>> appB) Sequence both thisApplicativeandappB, discardingappB'sresult and returning thisApplicative.If this value is present and satisfiespredicate, returnjustthe 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 theMaybemonadMaybe.throwError(Unit unit) Throw an error value of typeEinto themonad.Either.toMaybe()In the left case, returns aMaybe.nothing(); otherwise, returnsMaybe.maybe(A)around the right value.Try.toMaybe()If this is a success, wrap the value in aMaybe.just(A)and return it.<B> Maybe<B> Maybe.trampolineM(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, Maybe<?>>> fn) Given some operation yielding aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.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> Convert aMaybe<R> into anEither<L, R>, supplying the left value fromleftFnin the case ofMaybe.nothing().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 thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.Maybe.discardR(Applicative<B, Maybe<?>> appB) Sequence both thisApplicativeandappB, discardingappB'sresult 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 aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.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
Subinterfaces with type arguments of type Maybe in com.jnape.palatable.lambda.adt.hmapModifier and TypeInterfaceDescriptioninterfaceA lens that focuses on theheterogeneous listof values pointed at by one or moretypesafe keysthat must all exist in the sameHMapto be collectively extracted.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
Classes in com.jnape.palatable.lambda.functions.builtin.fn1 that implement interfaces with type arguments of type MaybeModifier and TypeClassDescriptionfinal classCatMaybes<A>final classHead<A>final classLast<A>final classUncons<A>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
Classes in com.jnape.palatable.lambda.functions.builtin.fn2 that implement interfaces with type arguments of type MaybeModifier and TypeClassDescriptionfinal classFind<A>Iterate the elements in anIterable, applying a predicate to each one, returning the first element that matches the predicate, wrapped in aMaybe.final classReduceLeft<A>final classReduceRight<A>final classUnfoldr<A,B> 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.mmaprivate final ImmutableQueue<Choice2<Fn0<MonadRec<Maybe<Tuple2<A, IterateT<M, A>>>, M>>, MonadRec<A, M>>> IterateT.spineMethods 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
Classes in com.jnape.palatable.lambda.monoid.builtin that implement interfaces with type arguments of type MaybeMethods 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 simplePrismfrom a function and its potentially failing inverse. -
Uses of Maybe in com.jnape.palatable.lambda.optics.functions
Classes in com.jnape.palatable.lambda.optics.functions that implement interfaces with type arguments of type MaybeModifier and TypeClassDescriptionfinal classPre<P extends Profunctor<?, ?, ? extends P>, S, T, A, B>final classPre<P extends Profunctor<?, ?, ? extends P>, S, T, A, B>final classPre<P extends Profunctor<?, ?, ? extends P>, S, T, A, B>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, liftAintoMaybe.Given a lens, liftTintoMaybe.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 subtypeMon the way back out.A lens that focuses on a value at a key in a map, as aMaybe, and produces a subtypeMon 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
Classes in com.jnape.palatable.lambda.semigroup.builtin that implement interfaces with type arguments of type MaybeMethods 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
matchinginto anIOand explicitly running it