Interface  Description 

F<A,B> 
A transformation or function from
A to B . 
F2<A,B,C> 
A transformation function of arity2 from
A and B to C . 
F3<A,B,C,D> 
A transformation function of arity3 from
A , B and C to
D . 
F4<A,B,C,D,E> 
A transformation function of arity4 from
A , B , C and
D to E . 
F5<A,B,C,D,E,F$> 
A transformation function of arity5 from
A , B , C ,
D and E to F$ . 
F6<A,B,C,D,E,F$,G> 
A transformation function of arity6 from
A , B , C ,
D , E and F$ to G . 
F7<A,B,C,D,E,F$,G,H> 
A transformation function of arity7 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 arity8 from
A , B , C ,
D , E , F$ , G and H to
I . 
P1<A> 
A product1.

Class  Description 

Bottom 
Represents the bottom __ value.

Class<T> 
A wrapper for a
Class that provides additional methods. 
Effect<A> 
Represents a sideeffect.

Equal<A> 
Tests for equality between two objects.

F1Functions 
Created by MarkPerry on 6/04/2014.

F2Functions 
Created by MarkPerry on 6/04/2014.

F3Functions 
Created by MarkPerry on 6/04/2014.

F4Functions 
Created by MarkPerry on 6/04/2014.

F5Functions 
Created by MarkPerry on 6/04/2014.

F6Functions 
Created by MarkPerry on 6/04/2014.

F7Functions 
Created by MarkPerry on 6/04/2014.

F8Functions 
Created by MarkPerry on 6/04/2014.

Function 
Transformations on functions.

Hash<A> 
Produces a hash code for an object which should attempt uniqueness.

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.

P1Functions  
P2<A,B> 
A product2.

P3<A,B,C> 
A product3.

P4<A,B,C,D> 
A product4.

P5<A,B,C,D,E> 
A product5.

P6<A,B,C,D,E,F> 
A product6.

P7<A,B,C,D,E,F,G> 
A product7.

P8<A,B,C,D,E,F,G,H> 
A product8.

Primitive 
Functions that convert between Java primitive types.

Semigroup<A> 
Implementations must satisfy the law of associativity:
Associativity; forall x.

Show<A> 
Renders an object for display.

Unit 
The unit type which has only one value.

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.
