Uses of Class
fj.data.Option
Packages that use Option
Package
Description
Types that set the premise for the existence of Functional Java.
Parallelization strategies.
Common algebraic data types.
Provides 2-3 finger trees, a functional representation of persistent sequences supporting access to the ends in
amortized O(1) time.
Optic data types adapted from the Scala Monocle library
and inspired by the
Haskell Lens library.
A prelude of commonly used first-class functions
-
Uses of Option in fj
Modifier and TypeFieldDescriptionDigit.fromChar
First-class conversion from a character to a digit.Modifier and TypeMethodDescriptionDigit.fromChar
(char c) Converts the given character in the given long value to a digit.P1.traverseOption
(F<A, Option<B>> f) Traversable instance of P1 for OptionP2.traverseOption
(F<B, Option<C>> f) Modifier and TypeMethodDescriptionMonoid.firstOptionMonoid()
A monoid for options that take the first available value.Semigroup.firstOptionSemigroup()
A semigroup for optional values that take the first available value.Monoid.lastOptionMonoid()
A monoid for options that take the last available value.Semigroup.lastOptionSemigroup()
A semigroup for optional values that take the last available value.Semigroup.lift()
Lifts the semigroup to obtain a trivial monoid.F.mapOption()
Promotes this function to map over an optional value.F.mapOption()
Promotes this function to map over an optional value.Return a function that inspects the argument of the given function for anull
value and if so, does not apply the value, instead returning an empty optional value.Equal.optionEqual
(Equal<A> ea) An equal instance for theOption
type.Hash.optionHash
(Hash<A> ha) A hash instance for theOption
type.F.optionK()
Promotes this function so that it returns its result in an Option.F2.optionM()
Promotes this function to a function on Options.F2.optionM()
Promotes this function to a function on Options.F2.optionM()
Promotes this function to a function on Options.Monoid.optionMonoid
(Semigroup<A> aSemigroup) Lift aSemigroup<A>
for A to aMonoid<Option<A>>
, using Option.none() as zero.An order instance for theOption
type.Show.optionShow
(Show<A> sa) A show instance for theOption
type.Turns an optional P1 into a lazy option.Modifier and TypeMethodDescriptionTurns an optional P1 into a lazy option. -
Uses of Option in fj.control.parallel
Fields in fj.control.parallel declared as OptionMethods in fj.control.parallel that return OptionModifier and TypeMethodDescriptionWaits if necessary for the computation to complete, and then retrieves its result.Methods in fj.control.parallel that return types with arguments of type OptionModifier and TypeMethodDescriptionCallables.fromOption()
Returns a transformation from an optional value to a CallableCallables.option()
Returns a transformation from a Callable to an optional value.Turns the given Callable into an optional value.Method parameters in fj.control.parallel with type arguments of type OptionModifier and TypeMethodDescriptionstatic <A> Callable
<A> Callables.fromOption
(F0<Option<A>> o) Turns an optional value into a Callable. -
Uses of Option in fj.data
Modifier and TypeClassDescriptionprivate static final class
Option.None<A>
private static final class
Option.Some<A>
Modifier and TypeFieldDescriptionstatic final F
<BigInteger, Option<Natural>> Natural.fromBigInt
A function that returns the natural number equal to a given BigIntegerJava.Option_BitSet
A function that converts options to bit sets.Conversions.Option_String
A function that converts options to strings.static final F
<Option<Character>, StringBuffer> Conversions.Option_StringBuffer
A function that converts options to string buffers.static final F
<Option<Character>, StringBuilder> Conversions.Option_StringBuilder
A function that converts options to string builders.Option.parseByte
A function that parses a string to a byte.Option.parseDouble
A function that parses a string to a double.Option.parseFloat
A function that parses a string to a float.Option.parseInt
A function that parses a string to an integer.Option.parseLong
A function that parses a string to a long.Option.parseShort
A function that parses a string to a short.Enumerator.plus
Enumerator.predecessor
Conversions.String_Option
A function that converts strings to options.static final F
<StringBuffer, Option<Character>> Conversions.StringBuffer_Option
A function that converts string buffers to options.static final F
<StringBuilder, Option<Character>> Conversions.StringBuilder_Option
A function that converts string builders to options.Natural.subtract
A function that subtracts its first argument from its second.Enumerator.successor
TreeMap.tree
Modifier and TypeMethodDescriptionValidation.accumulate
(Semigroup<E> s, Validation<E, A> va) Accumulates errors anonymously.Validation.accumulate
(Semigroup<E> s, Validation<E, A> va, Validation<E, B> vb) Accumulates errors anonymously.Validation.accumulate
(Semigroup<E> s, Validation<E, A> va, Validation<E, B> vb, Validation<E, C> vc) Accumulates errors anonymously.Validation.accumulate
(Semigroup<E> s, Validation<E, A> va, Validation<E, B> vb, Validation<E, C> vc, Validation<E, D> vd) Accumulates errors anonymously.Validation.accumulate
(Semigroup<E> s, Validation<E, A> va, Validation<E, B> vb, Validation<E, C> vc, Validation<E, D> vd, Validation<E, E$> ve) Accumulates errors anonymously.Validation.accumulate
(Semigroup<E> s, Validation<E, A> va, Validation<E, B> vb, Validation<E, C> vc, Validation<E, D> vd, Validation<E, E$> ve, Validation<E, F$> vf) Accumulates errors anonymously.Validation.accumulate
(Semigroup<E> s, Validation<E, A> va, Validation<E, B> vb, Validation<E, C> vc, Validation<E, D> vd, Validation<E, E$> ve, Validation<E, F$> vf, Validation<E, G> vg) Accumulates errors anonymously.final <B> Option
<B> Performs function application within an optional value (applicative functor pattern).final <B,
C, D, E, F$, G, H, I>
Option<I> Option.bind
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, Option<G> og, Option<H> oh, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, F<H, I>>>>>>>> f) Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D, E, F$, G, H>
Option<H> Option.bind
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, Option<G> og, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, H>>>>>>> f) Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D, E, F$, G>
Option<G> Option.bind
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, F<A, F<B, F<C, F<D, F<E, F<F$, G>>>>>> f) Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D, E, F$>
Option<F$> Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D, E>
Option<E> Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D> Option <D> Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C> Option <C> Binds the given function across the element of this optional value and the given optional value with a final join.final <B> Option
<B> Binds the given function across the element of this optional value with a final join.Option.bindProduct
(Option<B> ob) Option.bindProduct
(Option<B> ob, Option<C> oc) Option.bindProduct
(Option<B> ob, Option<C> oc, Option<D> od) Option.bindProduct
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe) Option.bindProduct
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, Option<G> og) Option.bindProduct
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, Option<G> og, Option<H> oh) TreeZipper.delete()
Removes the current node from the tree.Zipper.deleteLeft()
Possibly deletes the element at the focus, then moves the element on the left into focus.Zipper.deleteLeftCycle()
Possibly deletes the element at the focus, then move the element on the left into focus.Zipper.deleteRight()
Possibly deletes the element at the focus, then moves the element on the right into focus.Zipper.deleteRightCycle()
Possibly deletes the element at the focus, then move the element on the right into focus.List.elementIndex
(Equal<A> e, A a) Returns the index of the first element in this list which is equal (by the given equality) to the query element, or None if there is no such element.ReturnsNone
if this projection has no value or if the given predicatep
does not hold for the value, otherwise, returns a right inSome
.ReturnsNone
if this projection has no value or if the given predicatep
does not hold for the value, otherwise, returns a left inSome
.Filters elements from this optional value by returning only elements which producetrue
when the given function is applied to them.<A> Option
<Validation<E, A>> ReturnsNone
if this is a success or if the given predicatep
does not hold for the failing value, otherwise, returns a fail inSome
.final <A> Option
<Validation<A, T>> ReturnsNone
if this is a failure or if the given predicatep
does not hold for the success value, otherwise, returns a success inSome
.Finds the first occurrence of an element that matches the given predicate or no value if no elements match.Finds the first occurrence of an element that matches the given predicate or no value if no elements match.Finds the first occurrence of an element that matches the given predicate or no value if no elements match.Moves the focus to the element matching the given predicate, if present.Navigates to the first child of the current location, that satisfies the given predicate.TreeZipper.firstChild()
Navigtes to the first child of the current location.static <A> Option
<TreeZipper<A>> TreeZipper.fromForest
(Stream<Tree<A>> ts) Creates a new tree zipper focused on the first element of the given forest.static <A> Option
<NonEmptyList<A>> Returns a potential non-empty list from the given list.static <T> Option
<T> Option.fromNull
(T t) Turns an unsafe nullable value into a safe optional value.Zipper.fromStream
(Stream<A> a) Possibly create a zipper if the provided stream has at least one element, otherwise None.Zipper.fromStreamEnd
(Stream<A> a) Possibly create a zipper if the provided stream has at least one element, otherwise None.Option.fromString
(String s) Returns an optional non-empty string, or no value if the given string is empty.Returns a potential value that the given key maps to.Returns a potential value that the given key maps to.TreeZipper.getChild
(int n) Navigates to the given child of the current location, starting at index 0.Deletes the entry in the hash map that corresponds to the given key and returns any associated value.List.headOption()
Returns the head of the list, if any.Seq.headOption()
static <A> Option
<A> Option.iif
(boolean p, A a) Returns an optional value that has a value of the given argument if the given boolean is true, otherwise, returns no value.static <A> Option
<A> Returns an optional value that has a value of the given argument if the given boolean is true, otherwise, returns no value.static <A> Option
<A> Returns an optional value that has a value of the given argument, if the given predicate holds on that argument, otherwise, returns no value.LazyString.indexOf
(char c) Returns the first index of the given character in this lazy string, if present.LazyString.indexOf
(LazyString cs) Returns the first index of the given substring in this lazy string, if present.Returns the position of the first element matching the given predicate, if any.TreeZipper.insertDownAt
(int n, Tree<A> t) Inserts a tree at the specified location in the current node's stream of children.static <A> Option
<A> Joins the given optional value of optional value using a bind operation.TreeZipper.lastChild()
Navigtes to the last child of the current location.TreeZipper.left()
Navigates to the left sibling of the current location.Either3.leftOption()
final <B,
C> Option <C> Lift the function of arity-2 through options.static <A,
B> Option <B> Returns an associated value with the given key in the list of pairs.Find element equal to the given one.Find smallest element greater or equal to the given one.Find smallest element greater than the given one.Find largest element smaller or equal to the given one.Find largest element smaller than the given one.final <B> Option
<B> Maps the given function across this optional value.List.mapMOption
(F<A, Option<B>> f) Maps the given function across this list by binding through the Option monad.Enumerator.max()
Returns the maximum value for this enumerator if there is one.Set.max()
TreeMap.max()
Returns the maximum (key, value) pair in the tree if the tree is not empty.List.maximumOption
(Ord<A> o) Returns the maximum element in this list according to the given ordering.TreeMap.maxKey()
Returns the maximum key in the tree if the tree is not empty.Either3.middleOption()
Enumerator.min()
Returns the minimum value for this enumerator if there is one.Set.min()
TreeMap.min()
Returns the minimum (key, value) pair in the tree if the tree is not empty.List.minimumOption
(Ord<A> o) Returns the minimum element in this list according to the given ordering.TreeMap.minKey()
Returns the minimum key in the tree if the tree is not empty.Zipper.move
(int n) Move the focus to the specified index.Natural.natural
(long i) Returns the natural number equal to the given longNatural.natural
(BigInteger i) Returns the natural number equal to the given BigIntegerZipper.next()
Possibly moves the focus to the next element in the list.static <T> Option
<T> Option.none()
Constructs an optional value that has no value.static <A> Option
<A> Java8.Optional_Option
(Optional<A> o) Returns this optional value if there is one, otherwise, returns the argument optional value.Returns this optional value if there is one, otherwise, returns the argument optional value.TreeZipper.parent()
Navigates to the parent of the current location.Moves a value along the enumerator a given number of times.Natural.pred()
Return the predecessor of this natural numberEnumerator.predecessor
(A a) Returns the potential predecessor of a value for this enumerator.Zipper.previous()
Possibly moves the focus to the previous element in the list.TreeZipper.right()
Navigates to the right sibling of the current location.Either3.rightOption()
Sequence a list through the option monad.final <B> Option
<B> Performs a bind across the optional value, but ignores the element value in the function.static <E,
A> Option <Validation<E, A>> Option.sequence
(Validation<E, Option<A>> a) Sequence a validation through the option monad.List.sequenceOption
(List<Option<B>> list) Sequence the given list and collect the output as an list.Option.sequenceOption
(Option<Option<B>> option) Sequence the given option and collect the output as an option.Seq.sequenceOption
(Seq<Option<B>> seq) Sequence the given seq and collect the output as an seq.Stream.sequenceOption
(Stream<Option<B>> stream) Sequence the given stream and collect the output as an stream.static final <E,
C> Option <Validation<E, C>> Validation.sequenceOption
(Validation<E, Option<C>> validation) Sequence the given validation and collect the output as an option.static <T> Option
<T> Option.some
(T t) Constructs an optional value that has a value of the given argument.TreeZipper.splitChildren
(Stream<A> acc, Stream<A> xs, int n) Subtract a natural number from another.Returns the potential successor of a value for this enumerator.List.tailOption()
Reutrns the tail of the list, if any.Array.ImmutableProjection.toOption()
Returns an option projection of this array;None
if empty, or the first element inSome
.Array.toOption()
Returns an option projection of this array;None
if empty, or the first element inSome
.Either.LeftProjection.toOption()
Returns this projection's value inSome
if it exists, otherwiseNone
.Either.RightProjection.toOption()
Returns this projection's value inSome
if it exists, otherwiseNone
.Either3.LeftProjection.toOption()
Either3.MiddleProjection.toOption()
Either3.RightProjection.toOption()
HashMap.toOption()
Stream.toOption()
Returns an option projection of this stream;None
if empty, or the first element inSome
.Validation.FailProjection.toOption()
Returns the failing value inSome
if there is one, otherwiseNone
.Validation.toOption()
Returns the success value inSome
if there is one, otherwiseNone
.PriorityQueue.top()
If the tree is not empty, returns the node with highest priority otherwise returns nothing.IterableW.toZipper()
Either.LeftProjection.traverseOption
(F<A, Option<C>> f) Either.RightProjection.traverseOption
(F<B, Option<C>> f) Traverse this right with the given function and collect the output as an option.Either3.LeftProjection.traverseOption
(F<A, Option<X>> f) Either3.MiddleProjection.traverseOption
(F<B, Option<X>> f) Either3.RightProjection.traverseOption
(F<C, Option<X>> f) List.traverseOption
(F<A, Option<B>> f) Traverses through the List with the given functionOption.traverseOption
(F<A, Option<B>> f) Traverse this option with the given function and collect the output as an option.Seq.traverseOption
(F<A, Option<B>> f) Traverses through the Seq with the given functionStream.traverseOption
(F<A, Option<B>> f) Traverses through the Seq with the given functionfinal <C> Option
<Validation<E, C>> Validation.traverseOption
(F<T, Option<C>> f) Traverse this validation with the given function and collect the output as an option.Either.traverseOptionLeft
(F<A, Option<C>> f) Traversable instance of LeftProjection of Either for Option.Either.traverseOptionRight
(F<B, Option<C>> f) Traversable instance of RightProjection of Either for Option.Modifier and TypeMethodDescriptionConversions.Array_Option()
A function that converts arrays to options.Option.bind()
First-class bind function.Option.bind()
First-class bind function.Option.bind()
First-class bind function.Conversions.Either_OptionA()
A function that converts eithers to options.Conversions.Either_OptionB()
A function that converts eithers to options.static <A> F2
<F<Tree<A>, Boolean>, TreeZipper<A>, Option<TreeZipper<A>>> TreeZipper.findChild()
A first-class version of the findChild function.Option.fromNull()
Turns an unsafe nullable value into a safe optional value.Option.fromSome()
Returns a function that takes an optional value to a value or errors if there is no value.Option.fromString()
Returns a function that transforms a string to an optional non-empty string, or no value if the string is empty.HashMap.get()
A curried version ofHashMap.get(Object)
.TreeMap.get()
Returns a first-class version of the get method for this TreeMap.static <E> Iteratee.IterV
<E, Option<E>> Iteratee.IterV.head()
An iteratee that consumes the head of the inputOption.iif()
First-class version of the iif function.Option.isNone_()
A first-class version of the isNone method.Option.isSome_()
A first-class version of the isSome method.Option.join()
First-class join function.Option.join()
First-class join function.Option.join()
First-class join function.static <A> F
<TreeZipper<A>, Option<TreeZipper<A>>> TreeZipper.left_()
A first-class version of the left() function.Promotes a function of arity-2 so that it operates over options.Promotes a function of arity-2 so that it operates over options.Promotes a function of arity-2 so that it operates over options.Conversions.List_Option()
A function that converts lists to options.Returns a partially applied version ofList.lookup(Equal, List, Object)
.Option.map()
A first-class map function.Option.map()
A first-class map function.Zipper.move()
A first-class version of the move function.Zipper.next_()
First-class version of the next() function.Option.Optic.none()
None prismOption.none_()
First-class catamorphism for Option: return a function that will performs a reduction on an optional value using the given arguments.Conversions.Option_Array()
A function that converts options to arrays.static <A> F
<Option<A>, ArrayBlockingQueue<A>> Java.Option_ArrayBlockingQueue
(boolean fair) A function that converts options to array blocking queues.Java.Option_ArrayList()
A function that converts options to array lists.static <A> F
<Option<A>, ConcurrentLinkedQueue<A>> Java.Option_ConcurrentLinkedQueue()
A function that converts options to concurrent linked queues.static <A> F
<Option<A>, CopyOnWriteArrayList<A>> Java.Option_CopyOnWriteArrayList()
A function that converts options to copy on write array lists.static <A> F
<Option<A>, CopyOnWriteArraySet<A>> Java.Option_CopyOnWriteArraySet()
A function that converts options to copy on write array sets.static <A extends Delayed>
F<Option<A>, DelayQueue<A>> Java.Option_DelayQueue()
A function that converts options to delay queues.Conversions.Option_Either()
A function that converts options to eithers.Java.Option_EnumSet()
A function that converts options to enum sets.Java.Option_HashSet()
A function that converts options to hash sets.static <A> F
<Option<A>, LinkedBlockingQueue<A>> Java.Option_LinkedBlockingQueue()
A function that converts options to linked blocking queues.static <A> F
<Option<A>, LinkedHashSet<A>> Java.Option_LinkedHashSet()
A function that converts options to linked hash sets.static <A> F
<Option<A>, LinkedList<A>> Java.Option_LinkedList()
A function that converts options to linked lists.Conversions.Option_List()
A function that converts options to lists.Java8.Option_Optional()
static <A> F
<Option<A>, PriorityBlockingQueue<A>> Java.Option_PriorityBlockingQueue()
A function that converts options to priority blocking queues.static <A> F
<Option<A>, PriorityQueue<A>> Java.Option_PriorityQueue()
A function that converts options to priority queues.Java.Option_Stack()
A function that converts options to stacks.Conversions.Option_Stream()
A function that converts options to streams.static <A> F
<Option<A>, SynchronousQueue<A>> Java.Option_SynchronousQueue
(boolean fair) A function that converts options to synchronous queues.Java.Option_TreeSet()
A function that converts options to tree sets.Java.Option_Vector()
A function that converts options to vectors.Java8.Optional_Option()
static <E> Iteratee.IterV
<E, Option<E>> Iteratee.IterV.peek()
An iteratee that returns the first element of the inputEnumerator.plus()
Returns a function that moves a value along the enumerator a given number of times.Enumerator.plus
(long l) Returns a function that moves a value along the enumerator a given number of times.Returns a function that moves a value along the enumerator a given number of times.Natural.pred_()
First-class predecessor function.Enumerator.predecessor()
Returns the potential predecessor of a value for this enumerator in curried form.Zipper.previous_()
First-class version of the previous() function.Option.Optic.pSome()
Polymorphic Some prismOption.Optic.pSome()
Polymorphic Some prismstatic <A> F
<TreeZipper<A>, Option<TreeZipper<A>>> TreeZipper.right_()
A first-class version of the right() function.Sequence through the Stream monad.Option.sequenceEither
(Option<Either<L, B>> option) Sequence the given option and collect the output on the right side of an either.Option.sequenceEitherLeft
(Option<Either<B, R>> option) Sequence the given option and collect the output on the left side of an either.Option.sequenceEitherRight
(Option<Either<L, B>> option) Sequence the given option and collect the output on the right side of an either.Sequence the given option and collect the output as a function.Option.sequenceIO
(Option<IO<B>> option) Sequence the given option and collect the output as an IO.Option.sequenceList
(Option<List<B>> option) Sequence the given option and collect the output as an list.Option.sequenceOption
(Option<Option<B>> option) Sequence the given option and collect the output as an option.Option.sequenceP1
(Option<P1<B>> option) Sequence the given option and collect the output as a P1.Option.sequenceSeq
(Option<Seq<B>> option) Sequence the given option and collect the output as a seq.Option.sequenceSet
(Ord<B> ord, Option<Set<B>> option) Sequence the given option and collect the output as a set; use the given ord to order the set.Option.sequenceStream
(Option<Stream<B>> option) Sequence the given option and collect the output as a stream.static final <B> Trampoline
<Option<B>> Option.sequenceTrampoline
(Option<Trampoline<B>> option) Sequence the given option and collect the output as a trampoline.static final <E,
B> Validation <E, Option<B>> Option.sequenceValidation
(Option<Validation<E, B>> option) Sequence the given option and collect the output as a validation.Option.Optic.some()
Monomorphic Some prismOption.some_()
Splits this set at the given element.Splits this TreeMap at the given key.TreeMap.splitLookup
(K k) Splits this TreeMap at the given key.Conversions.Stream_Option()
A function that converts streams to options.Enumerator.successor()
Returns the potential successor of a value for this enumerator in curried form.Option.toEither()
A first-class version of the toEither method.PriorityQueue.topDequeue()
Returns a tuple of the node with the highest priority and the rest of the priority queue.Option.traverseEither
(F<A, Either<L, B>> f) Traverse this option with the given function and collect the output on the right side of an either.Option.traverseEitherLeft
(F<A, Either<B, R>> f) Traverse this option with the given function and collect the output on the left side of an either.Option.traverseEitherRight
(F<A, Either<L, B>> f) Traverse this option with the given function and collect the output on the right side of an either.Traverse this option with the given function and collect the output as a function.Option.traverseIO
(F<A, IO<B>> f) Traverse this option with the given function and collect the output as an IO.Option.traverseList
(F<A, List<B>> f) Traverse this option with the given function and collect the output as a list.Option.traverseOption
(F<A, Option<B>> f) Traverse this option with the given function and collect the output as an option.Option.traverseP1
(F<A, P1<B>> f) Traverse this option with the given function and collect the output as a P1.Option.traverseSeq
(F<A, Seq<B>> f) Traverse this option with the given function and collect the output a seq.Option.traverseSet()
Option.traverseSet
(Ord<B> ord, F<A, Set<B>> f) Traverse this option with the given function and collect the output as a set; use the given ord to order the set.Option.traverseStream
(F<A, Stream<B>> f) Traverse this option with the given function and collect the output as a stream.final <B> Trampoline
<Option<B>> Option.traverseTrampoline
(F<A, Trampoline<B>> f) Traverse this option with the given function and collect the output as a trampoline.final <E,
B> Validation <E, Option<B>> Option.traverseValidation
(F<A, Validation<E, B>> f) Traverse this option with the given function and collect the output as a validation.Modifier and TypeMethodDescriptionfinal <B> Option
<B> Performs function application within an optional value (applicative functor pattern).final <B,
C, D, E, F$, G, H, I>
Option<I> Option.bind
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, Option<G> og, Option<H> oh, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, F<H, I>>>>>>>> f) Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D, E, F$, G, H>
Option<H> Option.bind
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, Option<G> og, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, H>>>>>>> f) Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D, E, F$, G>
Option<G> Option.bind
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, F<A, F<B, F<C, F<D, F<E, F<F$, G>>>>>> f) Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D, E, F$>
Option<F$> Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D, E>
Option<E> Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C, D> Option <D> Binds the given function across the element of this optional value and the given optional value with a final join.final <B,
C> Option <C> Binds the given function across the element of this optional value and the given optional value with a final join.Option.bindProduct
(Option<B> ob) Option.bindProduct
(Option<B> ob, Option<C> oc) Option.bindProduct
(Option<B> ob, Option<C> oc, Option<D> od) Option.bindProduct
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe) Option.bindProduct
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, Option<G> og) Option.bindProduct
(Option<B> ob, Option<C> oc, Option<D> od, Option<E> oe, Option<F$> of, Option<G> og, Option<H> oh) static IO
<BufferedReader> IOFunctions.bufferedReader
(File f, Option<Charset> encoding) static <A> Enumerator
<A> Enumerator.enumerator
(F<A, Option<A>> successor, F<A, Option<A>> predecessor, Option<A> max, Option<A> min, Ord<A> order) Construct an enumerator.static <A> Enumerator
<A> Enumerator.enumerator
(F<A, Option<A>> successor, F<A, Option<A>> predecessor, Option<A> max, Option<A> min, Ord<A> order, F<A, F<Long, Option<A>>> plus) Construct an enumerator.static <A> IO
<Iteratee.IterV<char[], A>> IOFunctions.enumFileCharChunks
(File f, Option<Charset> encoding, Iteratee.IterV<char[], A> i) An IO monad that reads char chunks from the given file and passes them to the given iteratee.static <A> IO
<Iteratee.IterV<Character, A>> IOFunctions.enumFileChars
(File f, Option<Charset> encoding, Iteratee.IterV<Character, A> i) An IO monad that reads char chunks from the given file and passes single chars to the given iteratee.static <A> IO
<Iteratee.IterV<String, A>> IOFunctions.enumFileLines
(File f, Option<Charset> encoding, Iteratee.IterV<String, A> i) An IO monad that reads lines from the given file (using aBufferedReader
) and passes lines to the provided iteratee.IOFunctions.fileReader
(File f, Option<Charset> encoding) static <A> Option
<A> Joins the given optional value of optional value using a bind operation.final <B,
C> Option <C> Lift the function of arity-2 through options.static <A> Optional
<A> Java8.Option_Optional
(Option<A> o) Convert an Option toOptional
.Returns this optional value if there is one, otherwise, returns the argument optional value.final <B> Option
<B> Performs a bind across the optional value, but ignores the element value in the function.Sequence through the Stream monad.Option.sequenceEither
(Option<Either<L, B>> option) Sequence the given option and collect the output on the right side of an either.Option.sequenceEitherLeft
(Option<Either<B, R>> option) Sequence the given option and collect the output on the left side of an either.Option.sequenceEitherRight
(Option<Either<L, B>> option) Sequence the given option and collect the output on the right side of an either.Sequence the given option and collect the output as a function.Option.sequenceIO
(Option<IO<B>> option) Sequence the given option and collect the output as an IO.Option.sequenceList
(Option<List<B>> option) Sequence the given option and collect the output as an list.Option.sequenceOption
(Option<Option<B>> option) Sequence the given option and collect the output as an option.Option.sequenceP1
(Option<P1<B>> option) Sequence the given option and collect the output as a P1.Option.sequenceSeq
(Option<Seq<B>> option) Sequence the given option and collect the output as a seq.Option.sequenceSet
(Ord<B> ord, Option<Set<B>> option) Sequence the given option and collect the output as a set; use the given ord to order the set.Option.sequenceStream
(Option<Stream<B>> option) Sequence the given option and collect the output as a stream.static final <B> Trampoline
<Option<B>> Option.sequenceTrampoline
(Option<Trampoline<B>> option) Sequence the given option and collect the output as a trampoline.static final <E,
B> Validation <E, Option<B>> Option.sequenceValidation
(Option<Validation<E, B>> option) Sequence the given option and collect the output as a validation.Create a new enumerator with the given maximum value.Create a new enumerator with the given minimum value.Modifier and TypeMethodDescriptionfinal <B> Option
<B> Binds the given function across the element of this optional value with a final join.static <A> Enumerator
<A> Enumerator.enumerator
(F<A, Option<A>> successor, F<A, Option<A>> predecessor, Option<A> max, Option<A> min, Ord<A> order) Construct an enumerator.static <A> Enumerator
<A> Enumerator.enumerator
(F<A, Option<A>> successor, F<A, Option<A>> predecessor, Option<A> max, Option<A> min, Ord<A> order, F<A, F<Long, Option<A>>> plus) Construct an enumerator.static <A> Option
<A> Joins the given optional value of optional value using a bind operation.List.mapMOption
(F<A, Option<B>> f) Maps the given function across this list by binding through the Option monad.Returns this optional value if there is one, otherwise, returns the argument optional value.Sequence a list through the option monad.static <E,
A> Option <Validation<E, A>> Option.sequence
(Validation<E, Option<A>> a) Sequence a validation through the option monad.List.sequenceOption
(List<Option<B>> list) Sequence the given list and collect the output as an list.Option.sequenceOption
(Option<Option<B>> option) Sequence the given option and collect the output as an option.Seq.sequenceOption
(Seq<Option<B>> seq) Sequence the given seq and collect the output as an seq.Stream.sequenceOption
(Stream<Option<B>> stream) Sequence the given stream and collect the output as an stream.static final <E,
C> Option <Validation<E, C>> Validation.sequenceOption
(Validation<E, Option<C>> validation) Sequence the given validation and collect the output as an option.static <K,
V> TreeMap <K, V> TreeMap.setTreeMap
(Ord<K> ord, Set<P2<K, Option<V>>> s) Constructs a TreeMap from the given set.static <A> List
<A> Returns all the values in the given list.static <A> Stream
<A> Returns all the values in the given stream.Either.LeftProjection.traverseOption
(F<A, Option<C>> f) Either.RightProjection.traverseOption
(F<B, Option<C>> f) Traverse this right with the given function and collect the output as an option.Either3.LeftProjection.traverseOption
(F<A, Option<X>> f) Either3.MiddleProjection.traverseOption
(F<B, Option<X>> f) Either3.RightProjection.traverseOption
(F<C, Option<X>> f) List.traverseOption
(F<A, Option<B>> f) Traverses through the List with the given functionOption.traverseOption
(F<A, Option<B>> f) Traverse this option with the given function and collect the output as an option.Seq.traverseOption
(F<A, Option<B>> f) Traverses through the Seq with the given functionStream.traverseOption
(F<A, Option<B>> f) Traverses through the Seq with the given functionfinal <C> Option
<Validation<E, C>> Validation.traverseOption
(F<T, Option<C>> f) Traverse this validation with the given function and collect the output as an option.Either.traverseOptionLeft
(F<A, Option<C>> f) Traversable instance of LeftProjection of Either for Option.Either.traverseOptionRight
(F<B, Option<C>> f) Traversable instance of RightProjection of Either for Option.private Stream
<Tree<TreeZipper<A>>> TreeZipper.uf
(F<TreeZipper<A>, Option<TreeZipper<A>>> f) static <A,
B> List <A> Unfolds across the given function starting at the given value to produce a list.static <A,
B> Stream <A> Unfolds across the given function starting at the given value to produce a stream. -
Uses of Option in fj.data.fingertrees
Methods in fj.data.fingertrees that return OptionMethods in fj.data.fingertrees that return types with arguments of type OptionModifier and TypeMethodDescriptionMethods in fj.data.fingertrees with parameters of type OptionModifier and TypeMethodDescriptionprivate static <V,
A> FingerTree <V, A> Deep.deepL
(Measured<V, A> measured, Option<Digit<V, A>> lOpt, FingerTree<V, Node<V, A>> m, Digit<V, A> r) private static <V,
A> FingerTree <V, A> Deep.deepR
(Measured<V, A> measured, Option<Digit<V, A>> rOpt, FingerTree<V, Node<V, A>> m, Digit<V, A> l) -
Uses of Option in fj.data.hamt
Methods in fj.data.hamt that return OptionModifier and TypeMethodDescriptionReturns an optional value for the given key k.Returns an optional value for the given key k for those nodes between lowIndex (inclusive) and highIndex (exclusive). -
Uses of Option in fj.data.optic
Methods in fj.data.optic that return OptionModifier and TypeMethodDescriptionget the target of aPOptional
or nothing if there is no targetget the target of aPPrism
or nothing if there is no targetFold.headOption
(S s) get the first target of aFold
PTraversal.headOption
(S s) get the first target of aPTraversal
Methods in fj.data.optic that return types with arguments of type OptionModifier and TypeMethodDescriptionfind the first target of aFold
matching the predicatefind the first target of aPTraversal
matching the predicatePOptional.modifyOption
(F<A, B> f) modify polymorphically the target of aPOptional
with a function.PPrism.modifyOption
(F<A, B> f) modify polymorphically the target of aPPrism
with a function.Lens.modifyOptionF
(F<A, Option<A>> f) Optional.modifyOptionF
(F<A, Option<A>> f) PIso.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPIso
with an Applicative functionPLens.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPLens
with an Applicative functionPOptional.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPOptional
with an Applicative functionPPrism.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPPrism
with an Applicative functionPTraversal.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPTraversal
with an Applicative functionTraversal.modifyOptionF
(F<A, Option<A>> f) set polymorphically the target of aPOptional
with a value.set polymorphically the target of aPPrism
with a value.Method parameters in fj.data.optic with type arguments of type OptionModifier and TypeMethodDescriptionLens.modifyOptionF
(F<A, Option<A>> f) Optional.modifyOptionF
(F<A, Option<A>> f) PIso.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPIso
with an Applicative functionPLens.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPLens
with an Applicative functionPOptional.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPOptional
with an Applicative functionPPrism.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPPrism
with an Applicative functionPTraversal.modifyOptionF
(F<A, Option<B>> f) modify polymorphically the target of aPTraversal
with an Applicative functionTraversal.modifyOptionF
(F<A, Option<A>> f) static final <S,
A> Optional <S, A> static <S,
A> Prism <S, A> -
Uses of Option in fj.function
Methods in fj.function that return types with arguments of type OptionModifier and TypeMethodDescriptionDoubles.fromString()
A function that converts strings to doubles.Integers.fromString()
A function that converts strings to integers.Longs.fromString()
A function that converts strings to integers.TryEffect0.toF0()
Method parameters in fj.function with type arguments of type OptionModifier and TypeMethodDescriptionstatic <X> X
Returns the first value available in the given list of optional values.static <A,
B> B Returns the first value found in the list of visitors after application of the given value, otherwise returns the given default.