Package fj
package fj
Types that set the premise for the existence of Functional Java.
-
ClassDescriptionRepresents the bottom _|_ value.Bounded<A>The Bounded class is used to name the upper and lower limits of a type.Minimal definition of BoundedClass<T>A wrapper for a
Class
that provides additional methods.The digits zero to nine.Represents a side-effect.Equal<A>Tests for equality between two objects.Primitives functions of Equal: alternative minimal definition and overridable methods.Primitives functions of Equal: minimal definition and overridable methods.F<A,B> A transformation or function fromA
toB
.F0<A>F2<A,B, C> A transformation function of arity-2 fromA
andB
toC
.F3<A,B, C, D> A transformation function of arity-3 fromA
,B
andC
toD
.F4<A,B, C, D, E> A transformation function of arity-4 fromA
,B
,C
andD
toE
.F5<A,B, C, D, E, F$> A transformation function of arity-5 fromA
,B
,C
,D
andE
toF$
.F6<A,B, C, D, E, F$, G> A transformation function of arity-6 fromA
,B
,C
,D
,E
andF$
toG
.F7<A,B, C, D, E, F$, G, H> A transformation function of arity-7 fromA
,B
,C
,D
,E
,F$
andG
toH
.F8<A,B, C, D, E, F$, G, H, I> A transformation function of arity-8 fromA
,B
,C
,D
,E
,F$
,G
andH
toI
.Transformations on functions.Hash<A>Produces a hash code for an object which should attempt uniqueness.https://en.wikipedia.org/wiki/Linear_congruential_generatorMonoid<A>A monoid abstraction to be defined across types of the given type argument.Primitives functions of Monoid: alternative minimal definition and overridable methods.Primitives functions of Monoid: minimal definition and overridable methods.Ord<A>Tests for ordering between two objects.Primitives functions of Ord: alternative minimal definition and overridable methods.Primitives functions of Ord: minimal definition and overridable methods.The comparison of two instances of a type may have one of three orderings; less than, equal or greater than.Functions across products.P1<A>P1.Memo<A>P2<A,B> A product-2.Optic factory methods for a P2P3<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.Functions that convert between Java primitive types.Semigroup<A>Implementations must satisfy the law of associativity: Associativity; forall x.Primitives functions of Semigroup: alternative minimal definition and overridable methods.Primitives functions of Semigroup: minimal definition and overridable methods.Show<A>Renders an object for display.The unit type which has only one value.A logically uninhabited data type.