$ |
Function application, represented as a higher-order Fn2 that receives an Fn1 and its argument, and
applies it.
|
All |
Eagerly apply a predicate to each element in an Iterable , returning true if every element
satisfies the predicate, and false otherwise.
|
Alter |
Given an Effect <A>
and some A , produce an IO that, when run, performs
the effect on A and returns it.
|
Any |
Eagerly apply a predicate to each element in an Iterable , returning true if any element
satisfies the predicate, and false otherwise.
|
AutoBracket |
Given an IO yielding some AutoCloseable type A and a kleisli arrow from that type to a
new IO of type B , attempt to provision the A , applying the body operation if
provisioning was successful and ensuring that AutoCloseable.close() is called regardless of whether the body
succeeds or fails.
|
Both |
Given two functions f and g , produce a
Fn1 <A, Tuple2 <B, C>>
(the dual application of both functions).
|
CartesianProduct |
Lazily compute the cartesian product of an Iterable<A> and Iterable<B> ,
returning an Iterable<Tuple2<A, B>> , the products as tuples of
multiplicand A s and multiplier B s.
|
CmpEq |
Given two Comparable values of type A , return true if the first value is strictly
equal to the second value (according to Comparable.compareTo(Object) ; otherwise, return false.
|
Cons |
Prepend an element to an Iterable .
|
Difference |
Given two Iterables xs and ys , return the distinct
elements of xs that are not in ys .
|
Drop |
Lazily skip the first n elements from an Iterable by returning an Iterable
that begins iteration after the nth element.
|
DropWhile |
Lazily limit the Iterable by skipping the first contiguous group of elements that satisfy the predicate,
beginning iteration at the first element for which the predicate evaluates to false .
|
Eq |
Type-safe equality in function form; uses Object.equals(java.lang.Object) , not == .
|
Filter |
Lazily apply a predicate to each element in an Iterable , returning an Iterable of just the
elements for which the predicate evaluated to true .
|
Find |
Iterate the elements in an Iterable , applying a predicate to each one, returning the first element that
matches the predicate, wrapped in a Maybe .
|
GroupBy |
Given an Iterable<V> vs and a key function V -> K f ,
fold vs into a Map<K, List<V>> by applying f to each element of
vs , retaining values that map to the same key in a list, in the order they were iterated in.
|
GT |
Given two Comparable values of type A , return true if the second value is strictly
greater than the first value; otherwise, return false.
|
GTE |
Given two Comparable values of type A , return true if the second value is greater
than or equal to the first value according to Comparable.compareTo(Object) ; otherwise, return false.
|
InGroupsOf |
Lazily group the Iterable by returning an Iterable of smaller Iterable s of
size k .
|
Intersperse |
Lazily inject the provided separator value between each value in the supplied Iterable .
|
Into |
Given an Fn2 <A, B, C>
and a Map.Entry <A, B>
, destructure the
entry and apply the key and value as arguments to the function, returning the result.
|
Into1 |
Given an Fn1 <A, B>
and a SingletonHList <A>
, pop the head and
apply it to the function, returning the result.
|
Into3 |
Given an Fn3 <A, B, C, D>
and a Product3 <A, B, C>
, destructure
the product and apply the slots as arguments to the function, returning the result.
|
Into4 |
Given an Fn4 <A, B, C, D, E>
and a Product4 <A, B, C, D>
,
destructure the product and apply the slots as arguments to the function, returning the result.
|
Into5 |
Given an Fn5 <A, B, C, D, E, F>
and a Product5 <A, B, C, D, E>
,
destructure the product and apply the slots as arguments to the function, returning the result.
|
Into6 |
Given an Fn6 <A, B, C, D, E, F, G>
and a
Product6 <A, B, C, D, E, F>
, destructure the product and apply the slots as arguments to
the function, returning the result.
|
Into7 |
Given an Fn7 <A, B, C, D, E, F, G, H>
and a
Product7 <A, B, C, D, E, F, G>
, destructure the product and apply the slots as arguments to
the function, returning the result.
|
Into8 |
Given an Fn8 <A, B, C, D, E, F, G, H, I>
and a
Product8 <A, B, C, D, E, F, G, H>
, destructure the product and apply the slots as arguments
to the function, returning the result.
|
Iterate |
Lazily generate an infinite Iterable from the successive applications of the function first to the initial
seed value, then to the result, and so on; i.e., the result of iterate(x -> x + 1, 0) would produce
an infinite Iterable over the elements 0, 1, 2, 3, ...
|
LazyRec |
Given a Fn2 that receives a recursive function and an input and yields a lazy result, and an
input, produce a lazy result that, when forced, will recursively invoke the function until it terminates
in a stack-safe way.
|
LT |
Given two Comparable values of type A , return true if the second value is strictly
less than the first value; otherwise, return false.
|
LTE |
Given two Comparable values of type A , return true if the second value is less than
or equal to the first value according to Comparable.compareTo(Object) otherwise, return false.
|
MagnetizeBy |
Given a binary predicate and an Iterable <A> , return an Iterable <Iterable <A>> of the contiguous groups of elements that match the predicate pairwise.
|
Map |
Lazily apply a function to each element in an Iterable , producing an Iterable of the mapped
results.
|
Partition |
Given an Iterable<A> as and a disjoint mapping function a ->
CoProduct2<A, B> , return a Tuple2 over the lazily unwrapped left A and right
B values in the first and second slots, respectively.
|
Peek |
Deprecated.
|
Peek2 |
Deprecated.
|
PrependAll |
Lazily prepend each value with of the Iterable with the supplied separator value.
|
ReduceLeft |
Given an Iterable <A>
and a Fn2 <A, A, A>
, iteratively
accumulate over the Iterable , returning Maybe <A>
.
|
ReduceRight |
Given an Iterable <A>
and a Fn2 <A, A, A>
, iteratively
accumulate over the Iterable , returning Maybe <A>
.
|
Replicate |
Produce an Iterable of a value n times.
|
Sequence |
|
Slide |
Given an Iterable <A> , "slide" a window of k elements across the Iterable by one element at a time, returning an Iterable <Iterable <A>> .
|
Snoc |
Opposite of Cons : lazily append an element to the end of the given Iterable .
|
SortBy |
Given an Iterable and some mapping function from the Iterable element type to some
Comparable type, produce a sorted List of the original elements based on sorting applied to the
result of the mapping function.
|
SortWith |
Given an Iterable and a Comparator over the Iterable element type, produce a
sorted List of the original elements based on sorting applied by the Comparator .
|
Span |
Given a predicate, return a Tuple2 where the first slot is the front contiguous elements of an Iterable matching the predicate and the second slot is all the remaining elements.
|
Take |
Lazily limit the Iterable to n elements by returning an Iterable that stops
iteration after the nth element, or the last element of the Iterable , whichever comes
first.
|
TakeWhile |
Lazily limit the Iterable to the first group of contiguous elements that satisfy the predicate by
iterating up to, but not including, the first element for which the predicate evaluates to false .
|
ToArray |
Write all the elements of an Iterable directly into an array of the specified type.
|
ToCollection |
Given an Fn0 of some Collection C , create an instance of C and add all of
the elements in the provided Iterable to the instance.
|
ToMap |
Given an Fn0 of some Map M , create an instance of M and put all of the
entries in the provided Iterable into the instance.
|
Tupler2 |
Creates a Tuple2 from two values.
|
Unfoldr |
Given an initial seed value and a function that takes the seed type and produces an Maybe <Tuple2 <X, Seed>>
, where the tuple's first slot represents the next Iterable element,
and the second slot represents the next input to the unfolding function, unfold an Iterable of
X s.
|
Until |
Given a predicate function for a value of some type A and an IO that yields a value
of type A , produce an IO that repeatedly executes the original IO until the predicate
returns true when applied to the yielded value.
|
Zip |
Zip together two Iterable s into a single Iterable of Tuple2<A, B> .
|