Package fj
Types that set the premise for the existence of Functional Java.
-
Interface Summary Interface Description Bounded.Definition<A> Minimal definition of BoundedEqual.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 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
.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 aClass
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_generatorMonoid<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> P1.Memo<A> P1.ReferenceMemo<A> P1.SoftReferenceMemo<A> P1.WeakReferenceMemo<A> P2<A,B> A product-2.P2.Optic 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.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.