| Interface | Description |
|---|---|
| F<A,B> |
A transformation or function from
A to B. |
| F0<A> |
Created by MarkPerry on 21/01/2015.
|
| F2<A,B,C> |
A transformation function of arity-2 from
A and B to C. |
| F3<A,B,C,D> |
A transformation function of arity-3 from
A, B and C to
D. |
| F4<A,B,C,D,E> |
A transformation function of arity-4 from
A, B, C and
D to E. |
| F5<A,B,C,D,E,F$> |
A transformation function of arity-5 from
A, B, C,
D and E to F$. |
| F6<A,B,C,D,E,F$,G> |
A transformation function of arity-6 from
A, B, C,
D, E and F$ to G. |
| F7<A,B,C,D,E,F$,G,H> |
A transformation function of arity-7 from
A, B, C,
D, E, F$ and G to H. |
| F8<A,B,C,D,E,F$,G,H,I> |
A transformation function of arity-8 from
A, B, C,
D, E, F$, G and H to
I. |
| Class | Description |
|---|---|
| Bottom |
Represents the bottom _|_ value.
|
| Class<T> |
A wrapper for a
Class that provides additional methods. |
| Effect |
Represents a side-effect.
|
| Equal<A> |
Tests for equality between two objects.
|
| F1Functions |
Created by MarkPerry on 6/04/2014.
|
| F1W<A,B> |
Created by MarkPerry on 22/01/2015.
|
| F1W.F1WFunc<A,B> | |
| F2Functions |
Created by MarkPerry on 6/04/2014.
|
| F2W<A,B,C> |
Created by MarkPerry on 22/01/2015.
|
| F2W.F2WFunc<A,B,C> | |
| F3Functions |
Created by MarkPerry on 6/04/2014.
|
| F3W<A,B,C,D> |
Created by MarkPerry on 22/01/2015.
|
| F4Functions |
Created by MarkPerry on 6/04/2014.
|
| F4W<A,B,C,D,E> |
Created by MarkPerry on 22/01/2015.
|
| F5Functions |
Created by MarkPerry on 6/04/2014.
|
| F5W<A,B,C,D,E,$F> |
Created by MarkPerry on 22/01/2015.
|
| F6Functions |
Created by MarkPerry on 6/04/2014.
|
| F6W<A,B,C,D,E,$F,G> |
Created by MarkPerry on 22/01/2015.
|
| F7Functions |
Created by MarkPerry on 6/04/2014.
|
| F7W<A,B,C,D,E,$F,G,H> |
Created by MarkPerry on 22/01/2015.
|
| F8Functions |
Created by MarkPerry on 6/04/2014.
|
| F8W<A,B,C,D,E,$F,G,H,I> |
Created by MarkPerry on 22/01/2015.
|
| Function |
Transformations on functions.
|
| Hash<A> |
Produces a hash code for an object which should attempt uniqueness.
|
| LcgRng |
Created by MarkPerry on 7/07/2014.
|
| Monoid<A> |
A monoid abstraction to be defined across types of the given type argument.
|
| Ord<A> |
Tests for ordering between two objects.
|
| P |
Functions across products.
|
| P1<A> | |
| P2<A,B> |
A product-2.
|
| P2.Optic |
Optic factory methods for a P2
|
| P3<A,B,C> |
A product-3.
|
| P4<A,B,C,D> |
A product-4.
|
| P5<A,B,C,D,E> |
A product-5.
|
| P6<A,B,C,D,E,F> |
A product-6.
|
| P7<A,B,C,D,E,F,G> |
A product-7.
|
| P8<A,B,C,D,E,F,G,H> |
A product-8.
|
| Primitive |
Functions that convert between Java primitive types.
|
| Rng |
Created by MarkPerry on 7/07/2014.
|
| Semigroup<A> |
Implementations must satisfy the law of associativity:
Associativity; forall x.
|
| Show<A> |
Renders an object for display.
|
| Try |
Created by mperry on 24/07/2014.
|
| TryEffect |
Created by mperry on 29/08/2014.
|
| Unit |
The unit type which has only one value.
|
| Void |
A logically uninhabited data type.
|
| Enum | Description |
|---|---|
| Digit |
The digits zero to nine.
|
| Ordering |
The comparison of two instances of a type may have one of three orderings; less than, equal or
greater than.
|