Package fj
Class Bounded<A>
- java.lang.Object
-
- fj.Bounded<A>
-
public final class Bounded<A> extends java.lang.Object
The Bounded class is used to name the upper and lower limits of a type. Ord is not a superclass of Bounded since types that are not totally ordered may also have upper and lower bounds.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
Bounded.Definition<A>
Minimal definition of Bounded
-
Field Summary
Fields Modifier and Type Field Description private Bounded.Definition<A>
def
-
Constructor Summary
Constructors Modifier Constructor Description private
Bounded(Bounded.Definition<A> definition)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static <A> Bounded<A>
bounded(A min, A max)
static <A> Bounded<A>
boundedDef(Bounded.Definition<A> def)
A
max()
A
min()
-
-
-
Field Detail
-
def
private final Bounded.Definition<A> def
-
-
Constructor Detail
-
Bounded
private Bounded(Bounded.Definition<A> definition)
-
-
Method Detail
-
min
public A min()
-
max
public A max()
-
boundedDef
public static <A> Bounded<A> boundedDef(Bounded.Definition<A> def)
-
bounded
public static <A> Bounded<A> bounded(A min, A max)
-
-