Uses of Interface
fj.F0
Packages that use F0
Package
Description
Types that set the premise for the existence of Functional Java.
Functional control abstractions.
Parallelization strategies.
Common algebraic data types.
Fixed-length vectors
A prelude of commonly used first-class functions
Parser combinators.
-
Uses of F0 in fj
Modifier and TypeClassDescriptionclass
P1<A>
(package private) static final class
P1.Memo<A>
(package private) static class
(package private) static final class
(package private) static final class
Modifier and TypeMethodDescriptionstatic <A> boolean
Helper method to implementObject.equals(Object)
correctly.static <A> P1
<A> Convert a F0 into a P1, using call-by-need semantic: function f is evaluated at most once, at first toP1._1()
.static <A> P1
<A> Convert a F0 into a P1, using call-by-name semantic: function f is evaluated at each call toP1._1()
.static <A,
B> P2 <A, B> static <A,
B, C> P3 <A, B, C> static <A,
B, C, D>
P4<A, B, C, D> static <A,
B, C, D, E>
P5<A, B, C, D, E> static <A,
B, C, D, E, F>
P6<A, B, C, D, E, F> static <A,
B, C, D, E, F, G>
P7<A, B, C, D, E, F, G> static <A,
B, C, D, E, F, G, H>
P8<A, B, C, D, E, F, G, H> static <A,
B> P2 <A, B> P.lazyProduct
(F0<P2<A, B>> f) static <A> P1
<A> Convert a F0 into a P1, using weak call-by-need semantic usingP.weakMemo(F0)
.static <A> P1
<A> Convert a F0 into a P1, using soft call-by-need semantic: function f is evaluated at first call toP1._1()
and at each subsequent call if and only if the reference have been garbage collected due of shortage of memory (ie.default A
default A
default A
Sums the given values with left-fold, shortcutting the computation as early as possible.static <A> P1
<A> Convert a F0 into a P1, using weak call-by-need semantic: function f is evaluated at first call toP1._1()
and at each subsequent call if and only if the reference have been garbage collected.ModifierConstructorDescription(package private)
(package private)
ReferenceMemo
(F0<A> fa) (package private)
SoftReferenceMemo
(F0<A> self) (package private)
WeakReferenceMemo
(F0<A> fa) -
Uses of F0 in fj.control
Methods in fj.control with parameters of type F0Modifier and TypeMethodDescriptionstatic <A> Trampoline
<A> Trampoline.suspend
(F0<Trampoline<A>> a) Suspends the given computation in a thunk. -
Uses of F0 in fj.control.parallel
Methods in fj.control.parallel with parameters of type F0Modifier and TypeMethodDescriptionstatic <A> Callable
<A> Callables.fromEither
(F0<Either<Exception, A>> e) Turns a given Either value into the equivalent Callable.static <A> Callable
<A> Callables.fromOption
(F0<Option<A>> o) Turns an optional value into a Callable. -
Uses of F0 in fj.data
Modifier and TypeClassDescriptionfinal class
$<A,
B> The constant arrow, for attaching a new name to an existing type.Modifier and TypeMethodDescriptionstatic <A> Eval
<A> Constructs a lazy evaluation without caching.Appends the given stream to this stream.abstract <Z> Z
static <A> Stream
<A> Prepends the given head element to the given tail element to produce a new stream.static <A> Eval
<A> Returns the failing value or fails with the given error message.static <A> IO
<A> static <A,
B> Either <A, B> If the condition satisfies, return the given B in right, otherwise, return the given A in left.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> Eval
<A> Constructs a lazy evaluation with caching.static <A> IO
<A> static <A> SafeIO
<A> final <B> B
Performs a reduction on this optional value using the given arguments.Returns this optional value if there is one, otherwise, returns the argument optional value.Returns the failing value or the given value.final A
Returns the head of this list if there is one or the given argument if this list is empty.final A
Returns the head of this stream if there is one or the given argument if this stream is empty.final A
Returns the value of this optional value or the given argument.final T
Returns the success value or the given value.Returns the tail of this list if there is one or the given argument if this list is empty.Returns the tail of this stream if there is one or the given argument if this stream is empty.The value of this projection or the given argument.The value of this projection or the given argument.Sequence through the Stream monad.Append the given element to this stream to produce a new stream.final T
Returns the success value or fails with the given error message.Returns an either projection of this array; the given argument inLeft
if empty, or the first element inRight
.Returns an either projection of this array; the given argument inLeft
if empty, or the first element inRight
.Returns an either projection of this list; the given argument inLeft
if empty, or the first element inRight
.Returns an either projection of this optional value; the given argument inLeft
if no value, or the value inRight
.Returns an either projection of this stream; the given argument inLeft
if empty, or the first element inRight
.Returns the value of this projection or fails with the given error message.Returns the value of this projection or fails with the given error message.final A
Returns the value of this optional value or fails with the given message. -
Uses of F0 in fj.data.vector
Methods in fj.data.vector with parameters of type F0 -
Uses of F0 in fj.function
Methods in fj.function that return F0Modifier and TypeMethodDescriptionEffect0.toF0()
default F0
<Validation<Z, A>> Try0.toF0()
TryEffect0.toF0()
Methods in fj.function with parameters of type F0Modifier and TypeMethodDescriptionstatic <X> X
Returns the first value available in the given list of optional values.static <X> X
Visitor.nullablefindFirst
(List<X> values, F0<X> def) Returns the first non-null
value in the given list of optional values.static <A,
B> B Visitor.nullableVisitor
(List<F<A, B>> visitors, F0<B> def, A value) Returns the first non-null
value found in the list of visitors after application of the given value, otherwise returns the given default.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. -
Uses of F0 in fj.parser
Modifier and TypeMethodDescriptionReturns a parser that produces an alpha character.Returns a parser that produces an alpha-numeric character.Returns a parser that produces a character if one is available or fails with the given error.Returns a parser that produces the given character or fails otherwise.Parser.CharsParser.characters
(F0<E> missing, int n) Returns a parser that produces the given number of characters, or fails with the given error.Returns a parser that produces the given stream of characters or fails otherwise.Returns a parser that produces a defined character.Returns a parser that produces a digit (0 to 9).Returns a parser that produces an element from the stream if it is available and fails otherwise.Parser.CharsParser.highSurrogate
(F0<E> missing, F<Character, E> sat) Returns a parser that produces a high-surrogate character.Parser.CharsParser.identifierIgnorable
(F0<E> missing, F<Character, E> sat) Returns a parser that produces an identifier-ignorable character.Parser.CharsParser.isoControl
(F0<E> missing, F<Character, E> sat) Returns a parser that produces an ISO control character.Parser.CharsParser.javaIdentifierPart
(F0<E> missing, F<Character, E> sat) Returns a parser that produces a Java identifier part character.Parser.CharsParser.javaIdentifierStart
(F0<E> missing, F<Character, E> sat) Returns a parser that produces a Java identifier start character.Returns a parser that produces a lower-case character.Parser.CharsParser.lowSurrogate
(F0<E> missing, F<Character, E> sat) Returns a parser that produces a low-surrogate character.Returns a parser that produces a mirrored character.Returns a parser that negates this parser.Returns a parser that tries this parser and if it fails, then tries the given parser.Returns a parser that tries this parser and if it fails, then tries the given parser.Returns a parser that produces an element from the stream that satisfies the given predicate, or fails.Returns a parser that produces a space character.Returns a parser that produces the given string or fails otherwise.Returns a parser that produces a title-case character.Parser.CharsParser.unicodeIdentiferPart
(F0<E> missing, F<Character, E> sat) Returns a parser that produces a unicode identifier part character.Parser.CharsParser.unicodeIdentiferStart
(F0<E> missing, F<Character, E> sat) Returns a parser that produces a unicode identifier start character.Returns a parser that produces a upper-case character.Parser.CharsParser.whitespace
(F0<E> missing, F<Character, E> sat) Returns a parser that produces a white-space character.