Class Bounded<A>

java.lang.Object

fj.Bounded<A>

public final class Bounded<A>
extends 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 final Bounded.Definition<A>	def

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Bounded(Bounded.Definition<A> definition)

Method Summary

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()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

def

private final Bounded.Definition<A> def

Constructor Details

Bounded

private Bounded(Bounded.Definition<A> definition)

Method Details

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)