Package fj

package fj
Types that set the premise for the existence of Functional Java.
  • Class
    Description
    Bottom
    Represents the bottom _|_ value.
    Bounded<A>
    The Bounded class is used to name the upper and lower limits of a type.
    Bounded.Definition<A>
    Minimal definition of Bounded
    Class<T>
    A wrapper for a Class that provides additional methods.
    Digit
    The digits zero to nine.
    Effect
    Represents a side-effect.
    Equal<A>
    Tests for equality between two objects.
    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.
    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.
    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<A>
    Tests for ordering between two objects.
    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.
    Ordering
    The comparison of two instances of a type may have one of three orderings; less than, equal or greater than.
    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 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.
    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.
    Show<A>
    Renders an object for display.
    Try
     
    TryEffect
     
    Unit
    The unit type which has only one value.
    Void
    A logically uninhabited data type.