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 and Description
static interface	Bounded.Definition<A> Minimal definition of Bounded

Method Summary

Modifier and Type	Method and 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 java.lang.Object

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

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)