Package fj

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

See: Description

Interface Summary

Interface	Description
Equal.AltDefinition<A>	Primitives functions of Equal: alternative minimal definition and overridable methods.
Equal.Definition<A>	Primitives functions of Equal: minimal definition and overridable methods.
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.
Monoid.AltDefinition<A>	Primitives functions of Monoid: alternative minimal definition and overridable methods.
Monoid.Definition<A>	Primitives functions of Monoid: minimal definition and overridable methods.
Ord.AltDefinition<A>	Primitives functions of Ord: alternative minimal definition and overridable methods.
Ord.Definition<A>	Primitives functions of Ord: minimal definition and overridable methods.
Semigroup.AltDefinition<A>	Primitives functions of Semigroup: alternative minimal definition and overridable methods.
Semigroup.Definition<A>	Primitives functions of Semigroup: minimal definition and overridable methods.

Class Summary

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. forall y. forall z. sum(sum(x, y), z) == sum(x, sum(y, z))
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 Summary

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.

Package fj Description

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