Uses of Interface
fj.F2
Packages that use F2
Package
Description
Types that set the premise for the existence of Functional Java.
Functional control abstractions.
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.
Type-safe, extensible, heterogeneous lists
Fixed-length vectors
A prelude of commonly used first-class functions
-
Uses of F2 in fj
Modifier and TypeMethodDescriptionF2.arrayM()
Promotes this function to a function on Arrays.F2.contramapFirst
(F<Z, A> f) F2.contramapSecond
(F<Z, B> f) Equal.eq()
First-class equality check.static <A,
B, C, E extends Exception>
F2<A, B, Validation<E, C>> Promotes the Try2 to a Validation that returns an Exception on the failure side and its result on the success side.static <A,
B, Z extends Exception>
F2<A, B, Validation<Z, Unit>> TryEffect.f
(TryEffect2<A, B, Z> t) F2.flip()
Flips the arguments of this function.static <A,
B, C> F2 <B, A, C> Function argument flipping.F2.iterableM()
Promotes this function to a function on Iterables.F2.listM()
Promotes this function to a function on Lists.default F2
<NonEmptyList<A>, NonEmptyList<B>, NonEmptyList<C>> F2.nelM()
Promotes this function to a function on non-empty lists.F2.optionM()
Promotes this function to a function on Options.F2.promiseM()
Promotes this function to a function on Promises.Promotes this function to a function on Sets.F2.streamM()
Promotes this function to a function on Streams.F2.treeM()
Promotes this function to a function on Trees.static <A,
B, C> F2 <A, B, C> Uncurry a function of arity-2.static <A,
B, C> F2 <A, B, C> Transforms a function of a product-2 to an uncurried function or arity-2.F2.zipArrayM()
Promotes this function to zip two arrays, applying the function lock-step over both Arrays.F2.zipIterableM()
Promotes this function to zip two iterables, applying the function lock-step over both iterables.F2.zipListM()
Promotes this function to zip two lists, applying the function lock-step over both lists.default F2
<NonEmptyList<A>, NonEmptyList<B>, NonEmptyList<C>> F2.zipNelM()
Promotes this function to zip two non-empty lists, applying the function lock-step over both lists.Promotes this function to zip two sets, applying the function lock-step over both sets.F2.zipStreamM()
Promotes this function to zip two streams, applying the function lock-step over both streams.F2.zipTreeM()
Promotes this function to zip two trees, applying the function lock-step over both trees.default F2
<TreeZipper<A>, TreeZipper<B>, TreeZipper<C>> F2.zipTreeZipperM()
Promotes this function to zip two TreeZippers, applying the function lock-step over both zippers in all directions.F2.zipZipperM()
Promotes this function to zip two zippers, applying the function lock-step over both zippers in both directions.Modifier and TypeMethodDescriptionFunction.flip2()
Function argument flipping.Function.flip2()
Function argument flipping.Function.uncurryF2()
Uncurry a function of arity-2.Modifier and TypeMethodDescriptionstatic <A,
B, C> F <C, B> Performs function application within a higher-order function (applicative functor pattern).final <B,
C> P1 <C> Binds the given function to the values in the given P1s with a final join.<B,
C> Monoid <C> <B,
C> Semigroup <C> Curry a function of arity-2.static <A,
B, C> F <B, C> Curry a function of arity-2.static <A> Equal
<A> Constructs an equal instance from the given function.static <A,
B, C> F2 <B, A, C> Function argument flipping.final <B,
C> P1 <C> static <A> Monoid
<A> Constructs a monoid from the given sum function and zero value, which must follow the monoidal laws.static <A> Ord
<A> Returns an order instance that uses the given equality test and ordering function.static <A> Semigroup
<A> Constructs a semigroup from the given function.Transforms an uncurried function of arity-2 to a function of a product-2 -
Uses of F2 in fj.control
Methods in fj.control with parameters of type F2Modifier and TypeMethodDescriptionfinal <B,
C> Trampoline <C> Trampoline.zipWith
(Trampoline<B> b, F2<A, B, C> f) Combines two trampolines so they run cooperatively. -
Uses of F2 in fj.control.parallel
Methods in fj.control.parallel that return F2Modifier and TypeMethodDescriptionStrategy.parZipArrayWith
(F2<B, C, A> f) Lifts a given function of arity-2 so that it zips together two arrays in parallel, using this strategy, calling the function once for each corresponding pair in the arrays, position-wise.Strategy.parZipListWith
(F2<B, C, A> f) Lifts a given function of arity-2 so that it zips together two lists in parallel, using this strategy, calling the function once for each corresponding pair in the lists, position-wise.Promotes the given function to a concurrent function that returns a Promise.Methods in fj.control.parallel with parameters of type F2Modifier and TypeMethodDescriptionPromotes a function of arity-2 to a concurrent function.Strategy.parZipArrayWith
(F2<B, C, A> f) Lifts a given function of arity-2 so that it zips together two arrays in parallel, using this strategy, calling the function once for each corresponding pair in the arrays, position-wise.Strategy.parZipListWith
(F2<B, C, A> f) Lifts a given function of arity-2 so that it zips together two lists in parallel, using this strategy, calling the function once for each corresponding pair in the lists, position-wise.Strategy.parZipWith
(F2<B, C, A> f, Array<B> bs, Array<C> cs) Zips together two arrays in parallel using a given function, with this strategy.Strategy.parZipWith
(F2<B, C, A> f, List<B> bs, List<C> cs) Zips together two lists in parallel using a given function, with this strategy.Promotes the given function to a concurrent function that returns a Promise. -
Uses of F2 in fj.data
Modifier and TypeMethodDescriptionstatic <A,
B, C> F2 <A, B, C> Java8.BiFunction_F2
(BiFunction<A, B, C> f) List.cons_()
static <A> F2
<F<Tree<A>, Boolean>, TreeZipper<A>, Option<TreeZipper<A>>> TreeZipper.findChild()
A first-class version of the findChild function.Option.iif()
First-class version of the iif function.Returns a partially applied version ofList.lookup(Equal, List, Object)
.Option.traverseSet()
Modifier and TypeMethodDescriptionstatic <A,
B, C> F <BiFunction<A, B, C>, F2<A, B, C>> Java8.BiFunction_F2()
static <A,
B, C> F <F2<A, B, C>, BiFunction<A, B, C>> Java8.F2_BiFunction()
Modifier and TypeMethodDescriptionfinal <B,
C> Validation <List<E>, C> Validation.accumulate
(Validation<E, B> v2, F2<T, B, C> f) final <A,
B> Validation <E, B> Validation.accumulate
(Semigroup<E> s, Validation<E, A> va, F2<T, A, B> f) Accumulates errors on the failing side of this or any given validation if one or more are encountered, or applies the given function if all succeeded and returns that value on the successful side.<B,
C> Array <C> Binds the given function across each element of this array and the given array with a final join.final <B,
C> List <C> Binds the given function across each element of this list and the given list with a final join.final <B,
C> Stream <C> Binds the given function across each element of this stream and the given stream with a final join.static <A,
B, C> BiFunction <A, B, C> Java8.F2_BiFunction
(F2<A, B, C> f) <B> B
Performs a left-fold reduction across this array.final <B> B
Performs a left-fold reduction across this list.<B> B
final <B> B
Performs a left-fold reduction across this stream.Takes the first 2 elements of the iterable and applies the function to them, then applies the function to the result and the third element and so on.final A
Takes the first 2 elements of the list and applies the function to them, then applies the function to the result and the third element and so on.final A
Performs a left-fold reduction across this list.final A
Takes the first 2 elements of the stream and applies the function to them, then applies the function to the result and the third element and so on.<B> B
Performs a right-fold reduction across this array.<B> B
The catamorphism for Iterables, implemented as a right fold.final <B> B
Performs a right-fold reduction across this list.<B> B
final <B> B
Performs a right-fold reduction across this stream.final A
NonEmptyList.foldRight1
(F2<A, A, A> f) Performs a right-fold reduction across this list.final <B> B
Stream.foldRight1
(F2<A, B, B> f, B b) Performs a right-fold reduction across this stream.final <B> Trampoline
<B> List.foldRightC
(F2<A, B, B> f, B b) Performs a right-fold reduction across this list in O(1) stack space.final <B,
C, D> TreeMap <B, D> List.groupBy
(F<A, B> keyFunction, F<A, C> valueFunction, D groupingIdentity, F2<C, D, D> groupingAcc, Ord<B> keyOrd) Groups the elements of this list by a given keyFunction, applies the valueFunction and accumulates the mapped values with the given grouping accumulator function on the grouping identity.static <A,
B, C> IO <C> final <B,
C> Option <C> Lift the function of arity-2 through options.<B> Array
<B> Performs a left-fold accummulating and returns an array of the intermediate results.Performs a left-fold accummulating using first array element as a starting value and returns an array of the intermediate results.<B> Array
<B> Performs a right-fold accummulating and returns an array of the intermediate results.Array.scanRight1
(F2<A, A, A> f) Performs a right-fold accummulating using last array element as a starting value and returns an array of the intermediate results.final <B> B
<B> B
Performs a reduction on this priority queue using the given arguments.<B,
C> Array <C> Zips this array with the given array using the given function to produce a new array.<B,
C> Iterable <C> Zips this iterable with the given iterable using the given function to produce a new iterable.final <B,
C> List <C> Zips this list with the given list using the given function to produce a new list.<B,
C> NonEmptyList <C> Zips this non empty list with the given non empty list using the given function to produce a new list.final <B,
C> Stream <C> Zips this stream with the given stream using the given function to produce a new stream.<B,
C> Tree <C> Zips this tree with another, using the given function.<B,
C> TreeZipper <C> TreeZipper.zipWith
(TreeZipper<B> bs, F2<A, B, C> f) Zips this TreeZipper with another, applying the given function lock-step over both zippers in all directions.<B,
C> Zipper <C> Zips this Zipper with another, applying the given function lock-step over both zippers in both directions. -
Uses of F2 in fj.data.fingertrees
Methods in fj.data.fingertrees with parameters of type F2 -
Uses of F2 in fj.data.hamt
Methods in fj.data.hamt with parameters of type F2Modifier and TypeMethodDescription<A> A
<B> B
Performs a left-fold reduction across this trie.<B> B
Performs a left-fold reduction across this trie.<B> B
HashArrayMappedTrie.foldLeftOnNode
(F2<B, Node<K, V>, B> f, B b) Performs a left-fold reduction across this trie.<A> A
-
Uses of F2 in fj.data.hlist
Fields in fj.data.hlist declared as F2Constructors in fj.data.hlist with parameters of type F2 -
Uses of F2 in fj.data.vector
Methods in fj.data.vector that return F2 -
Uses of F2 in fj.function
Methods in fj.function that return F2 -
Uses of F2 in fj.java.util
Methods in fj.java.util with parameters of type F2