Package fj

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

See: Description

Interface Summary

Interface	Description
Bounded.Definition<A>	Minimal definition of Bounded
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>
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.
Bounded<A>	The Bounded class is used to name the upper and lower limits of a type.
Class<T>	A wrapper for a Class that provides additional methods.
Effect	Represents a side-effect.
Equal<A>	Tests for equality between two objects.
Function	Transformations on functions.
Hash<A>	Produces a hash code for an object which should attempt uniqueness.
LcgRng	https://en.wikipedia.org/wiki/Linear_congruential_generator
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
Semigroup<A>	Implementations must satisfy the law of associativity: Associativity; forall x.
Show<A>	Renders an object for display.
Try
TryEffect
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.