Package fj


package fj
Types that set the premise for the existence of Functional Java.
  • Class
    Description
    Represents the bottom _|_ value.
    The Bounded class is used to name the upper and lower limits of a type.
    Minimal definition of Bounded
    A wrapper for a Class that provides additional methods.
    The digits zero to nine.
    Represents a side-effect.
    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 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.
    Transformations on functions.
    Hash<A>
    Produces a hash code for an object which should attempt uniqueness.
    https://en.wikipedia.org/wiki/Linear_congruential_generator
    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>
     
     
     
     
     
    P2<A,B>
    A product-2.
    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.
    Functions that convert between Java primitive types.
     
    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.