Package fj

Types that set the premise for the existence of Functional Java.

See:
Description

Class Summary

Bottom	Represents the bottom _|_ value.
Class<T>	A wrapper for a Class that provides additional methods.
Effect<A>	Represents a side-effect.
Equal<A>	Tests for equality between two objects.
F<A,B>	A transformation or function from A to B.
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.
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.
P1<A>	A product-1.
P2<A,B>	A product-2.
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.
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 Summary

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.

Package fj Description

Types that set the premise for the existence of Functional Java.