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.
The Bounded class may be derived for any enumeration type;
minBound is the first constructor listed in the data declaration
and maxBound is the last.
Bounded may also be derived for single-constructor datatypes whose
constituent types are in Bounded.
| | Methods | minBound :: a | | maxBound :: a |
| | Instances | Bounded Bool | Bounded Char | Bounded Int | Bounded Int8 | Bounded Int16 | Bounded Int32 | Bounded Int64 | Bounded Ordering | Bounded Word | Bounded Word8 | Bounded Word16 | Bounded Word32 | Bounded Word64 | Bounded () | Bounded CChar | Bounded CSChar | Bounded CUChar | Bounded CShort | Bounded CUShort | Bounded CInt | Bounded CUInt | Bounded CLong | Bounded CULong | Bounded CLLong | Bounded CULLong | Bounded CPtrdiff | Bounded CSize | Bounded CWchar | Bounded CSigAtomic | Bounded CIntPtr | Bounded CUIntPtr | Bounded CIntMax | Bounded CUIntMax | Bounded GeneralCategory | Bounded IntPtr | Bounded WordPtr | Bounded CSsize | Bounded CTcflag | Bounded CRLim | Bounded Fd | Bounded CNlink | Bounded CUid | Bounded CGid | Bounded CIno | Bounded CMode | Bounded COff | Bounded CPid | Bounded All | Bounded Any | Bounded a => Bounded (Dual a) | Bounded a => Bounded (Sum a) | Bounded a => Bounded (Product a) | (Bounded a, Bounded b) => Bounded ((,) a b) | (Bounded a, Bounded b, Bounded c) => Bounded ((,,) a b c) | (Bounded a, Bounded b, Bounded c, Bounded d) => Bounded ((,,,) a b c d) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e) => Bounded ((,,,,) a b c d e) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f) => Bounded ((,,,,,) a b c d e f) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g) => Bounded ((,,,,,,) a b c d e f g) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h) => Bounded ((,,,,,,,) a b c d e f g h) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i) => Bounded ((,,,,,,,,) a b c d e f g h i) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j) => Bounded ((,,,,,,,,,) a b c d e f g h i j) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k) => Bounded ((,,,,,,,,,,) a b c d e f g h i j k) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l) => Bounded ((,,,,,,,,,,,) a b c d e f g h i j k l) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m) => Bounded ((,,,,,,,,,,,,) a b c d e f g h i j k l m) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n) => Bounded ((,,,,,,,,,,,,,) a b c d e f g h i j k l m n) | (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n, Bounded o) => Bounded ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o) |
|
|