Scalaz

The strict identity type constructor. Can be thought of as Tuple1, but with no runtime representation.

Returns f applied to the contents of as if non-empty, otherwise, the zero element of the Monoid for the type B.

[(as(0), as(1)), (as(1), as(2)), ... (as(size-2), as(size-1))]

Combinations of as and as, excluding same-element pairs.

Vary the value of m get k.

Vary the value of m get k.

spanM with p's complement.

Catamorphism over the option. Returns the provided function some applied to item contained in the Option if it is defined, otherwise, the provided value none.

Constructs a non-empty list with the given string if it is not empty, otherwise, returns the second argument.

Constructs a non-empty list with the value if it is not empty, otherwise, throws an error.

Conditional.

p q  p --> q
0 0  1
0 1  1
1 0  0
1 1  1

Conjunction. (AND)

p q  p ∧ q
0 0  0
0 1  0
1 0  0
1 1  1

Disjunction. (OR)

p q  p ∨ q
0 0  0
0 1  1
1 0  1
1 1  1

Returns the value a lifted into the context M if cond is false, otherwise, the empty value for M.

emptyOrPoint curried into a natural transformation.

Run p(a)s left-to-right until it yields a true value, answering Maybe.Just(that), or Maybe.empty if nothing matched p.

f(f(f(... for referentially transparent f.

Alias for cata

Returns the given value if None, otherwise lifts the Some value and passes it to the given function.

Returns the given value if None, otherwise lifts the Some value to Option and passes it to the given function.

Requires explicit usage as the use of Await.result. Can throw an exception, which is inherently bad.

Grab a value out of SortedMap if it's present. Otherwise evaluate a value to be placed at that key in the SortedMap.

Grab a value out of Map if it's present. Otherwise evaluate a value to be placed at that key in the Map.

Returns the item contained in the Option wrapped in type F if the Option is defined, otherwise, returns the supplied action.

As with the standard library groupBy but preserving the fact that the values in the Map must be non-empty

groupWhenM specialized to scalaz.Id.Id.

Split at each point where p(as(n), as(n+1)) yields false.

[as take 1, as take 2, ..., as]

[Nil, as take 1, as take 2, ..., as]

As with SortedMap.updated, but resolve a collision with f. The first argument is guaranteed to be from m1.

As with Map.updated, but resolve a collision with f. The first argument is guaranteed to be from m1.

Collect only elements with matching keys, joining their associated values with f.

Collect only elements with matching keys, joining their associated values with f.

Like intersectWith, but tell f about the key.

Like intersectWith, but tell f about the key.

Intersperse the element a between each adjacent pair of elements in as

Intersperse the element a between each adjacent pair of elements in as

Inverse Conditional.

p q  p <-- q
0 0  1
0 1  0
1 0  1
1 1  1

All of the Bs, in order, and the final C acquired by a stateful left fold over as.

All of the Bs, in order as-wise, and the final C acquired by a stateful right fold over as.

Exchange keys of m according to f. Result may be smaller if f maps two or more Ks to the same K2, in which case the resulting associated value is an arbitrary choice.

Exchange keys of m according to f. Result may be smaller if f maps two or more Ks to the same K2, in which case the resulting associated value is an arbitrary choice.

Negation of Conjunction. (NAND)

p q  p !&& q
0 0  1
0 1  1
1 0  1
1 1  0

Negational of Conditional.

p q  p ⇏ q
0 0  0
0 1  0
1 0  1
1 1  0

Negation of Inverse Conditional.

p q  p <\- q
0 0  0
0 1  1
1 0  0
1 1  0

scala.Nil with a sometimes more convenient type

scala.None with a sometimes more convenient type.

Negation of Disjunction. (NOR)

p q  p !|| q
0 0  1
0 1  0
1 0  0
1 1  0

Returns the given argument in Some if cond is true, None otherwise.

Returns the item contained in the Option wrapped in type M if the Option is defined, otherwise, the empty value for type M.

A pair of passing and failing values of as against p.

Returns the same String value if the given value is 1 otherwise pluralises this String by appending an "s" unless this String ends with "y" and not one of ["ay", "ey", "iy", "oy", "uy"] in which case the 'y' character is chopped and "ies" is appended.

Returns the value a lifted into the context M if cond is true, otherwise, the empty value for M.

pointOrEmpty curried into a natural transformation.

scala.Some.apply with a sometimes more convenient type.

A pair of the longest prefix of passing as against p, and the remainder.

[as, as.tail, as.tail.tail, ..., LazyList(as.last)]

[as, as.tail, as.tail.tail, ..., Nil]

Run p(a)s and collect as while p yields false. Don't run any ps after the first true.

Run p(a)s and collect as while p yields true. Don't run any ps after the first false.

Returns 1 if p is true, or 0 otherwise.

Union, resolving collisions with f, where the first arg is guaranteed to be from m1, the second from m2.

Union, resolving collisions with f, where the first arg is guaranteed to be from m1, the second from m2.

Like unionWith, but telling f about the key.

Like unionWith, but telling f about the key.

Executes the given side-effect if cond is false

Returns the given argument if cond is false, otherwise, unit lifted into M.

A version of unlessM that infers the type constructor M.

Returns the given argument if cond is true, otherwise, the zero element for the type of the given argument.

Executes the given side-effect if cond is true

Returns the given argument if cond is true, otherwise, unit lifted into M.

A version of whenM that infers the type constructor M.

Returns the given argument if cond is false, otherwise, the zero element for the type of the given argument.