| Copyright | (c) The University of Glasgow 1992-2002 |
|---|---|
| License | see libraries/base/LICENSE |
| Maintainer | cvs-ghc@haskell.org |
| Stability | stable |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Data.Bounded
Description
The Bounded class.
Since: base-4.21.0.0
Documentation
class Bounded a where Source #
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.
Instances
| Bounded ByteOrder Source # | Since: base-4.11.0.0 |
| Bounded All Source # | Since: base-2.1 |
| Bounded Any Source # | Since: base-2.1 |
| Bounded CBool Source # | |
| Bounded CChar Source # | |
| Bounded CInt Source # | |
| Bounded CIntMax Source # | |
| Bounded CIntPtr Source # | |
| Bounded CLLong Source # | |
| Bounded CLong Source # | |
| Bounded CPtrdiff Source # | |
| Bounded CSChar Source # | |
| Bounded CShort Source # | |
| Bounded CSigAtomic Source # | |
Defined in GHC.Internal.Foreign.C.Types | |
| Bounded CSize Source # | |
| Bounded CUChar Source # | |
| Bounded CUInt Source # | |
| Bounded CUIntMax Source # | |
| Bounded CUIntPtr Source # | |
| Bounded CULLong Source # | |
| Bounded CULong Source # | |
| Bounded CUShort Source # | |
| Bounded CWchar Source # | |
| Bounded IntPtr Source # | |
| Bounded WordPtr Source # | |
| Bounded Associativity Source # | Since: base-4.9.0.0 |
Defined in GHC.Internal.Generics | |
| Bounded DecidedStrictness Source # | Since: base-4.9.0.0 |
Defined in GHC.Internal.Generics | |
| Bounded SourceStrictness Source # | Since: base-4.9.0.0 |
Defined in GHC.Internal.Generics | |
| Bounded SourceUnpackedness Source # | Since: base-4.9.0.0 |
Defined in GHC.Internal.Generics | |
| Bounded Int16 Source # | Since: base-2.1 |
| Bounded Int32 Source # | Since: base-2.1 |
| Bounded Int64 Source # | Since: base-2.1 |
| Bounded Int8 Source # | Since: base-2.1 |
| Bounded Extension Source # | |
| Bounded CBlkCnt Source # | |
| Bounded CBlkSize Source # | |
| Bounded CClockId Source # | |
| Bounded CDev Source # | |
| Bounded CFsBlkCnt Source # | |
| Bounded CFsFilCnt Source # | |
| Bounded CGid Source # | |
| Bounded CId Source # | |
| Bounded CIno Source # | |
| Bounded CKey Source # | |
| Bounded CMode Source # | |
| Bounded CNfds Source # | |
| Bounded CNlink Source # | |
| Bounded COff Source # | |
| Bounded CPid Source # | |
| Bounded CRLim Source # | |
| Bounded CSocklen Source # | |
| Bounded CSsize Source # | |
| Bounded CTcflag Source # | |
| Bounded CUid Source # | |
| Bounded Fd Source # | |
| Bounded Ordering Source # | Since: base-2.1 |
| Bounded GeneralCategory Source # | Since: base-2.1 |
Defined in GHC.Internal.Unicode | |
| Bounded Word16 Source # | Since: base-2.1 |
| Bounded Word32 Source # | Since: base-2.1 |
| Bounded Word64 Source # | Since: base-2.1 |
| Bounded Word8 Source # | Since: base-2.1 |
| Bounded () Source # | Since: base-2.1 |
| Bounded Bool Source # | Since: base-2.1 |
| Bounded Char Source # | Since: base-2.1 |
| Bounded Int Source # | Since: base-2.1 |
| Bounded Levity Source # | Since: base-4.16.0.0 |
| Bounded VecCount Source # | Since: base-4.10.0.0 |
| Bounded VecElem Source # | Since: base-4.10.0.0 |
| Bounded Word Source # | Since: base-2.1 |
| Bounded a => Bounded (First a) Source # | Since: base-4.9.0.0 |
| Bounded a => Bounded (Last a) Source # | Since: base-4.9.0.0 |
| Bounded a => Bounded (Max a) Source # | Since: base-4.9.0.0 |
| Bounded a => Bounded (Min a) Source # | Since: base-4.9.0.0 |
| Bounded m => Bounded (WrappedMonoid m) Source # | Since: base-4.9.0.0 |
Defined in Data.Semigroup | |
| Bounded a => Bounded (And a) Source # | Since: base-4.16 |
| Bounded a => Bounded (Iff a) Source # | Since: base-4.16 |
| Bounded a => Bounded (Ior a) Source # | Since: base-4.16 |
| Bounded a => Bounded (Xor a) Source # | Since: base-4.16 |
| Bounded a => Bounded (Identity a) Source # | Since: base-4.9.0.0 |
| Bounded a => Bounded (Down a) Source # | Swaps Since: base-4.14.0.0 |
| Bounded a => Bounded (Dual a) Source # | Since: base-2.1 |
| Bounded a => Bounded (Product a) Source # | Since: base-2.1 |
| Bounded a => Bounded (Sum a) Source # | Since: base-2.1 |
| Bounded a => Bounded (Solo a) Source # | |
| Bounded (Proxy t) Source # | Since: base-4.7.0.0 |
| (Bounded a, Bounded b) => Bounded (a, b) Source # | Since: base-2.1 |
| Bounded a => Bounded (Const a b) Source # | Since: base-4.9.0.0 |
| (Applicative f, Bounded a) => Bounded (Ap f a) Source # | Since: base-4.12.0.0 |
| Coercible a b => Bounded (Coercion a b) Source # | Since: base-4.7.0.0 |
| a ~ b => Bounded (a :~: b) Source # | Since: base-4.7.0.0 |
| (Bounded a, Bounded b, Bounded c) => Bounded (a, b, c) Source # | Since: base-2.1 |
| a ~~ b => Bounded (a :~~: b) Source # | Since: base-4.10.0.0 |
| (Bounded a, Bounded b, Bounded c, Bounded d) => Bounded (a, b, c, d) Source # | Since: base-2.1 |
| Bounded (f (g a)) => Bounded (Compose f g a) Source # | Since: base-4.19.0.0 |
| (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e) => Bounded (a, b, c, d, e) Source # | Since: base-2.1 |
| (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f) => Bounded (a, b, c, d, e, f) Source # | Since: base-2.1 |
| (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g) => Bounded (a, b, c, d, e, f, g) Source # | Since: base-2.1 |
| (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) Source # | Since: base-2.1 |
| (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) Source # | Since: base-2.1 |
| (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) Source # | Since: base-2.1 |
| (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) Source # | Since: base-2.1 |
| (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) Source # | Since: base-2.1 |
| (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) Source # | Since: base-2.1 |
| (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) Source # | Since: base-2.1 |
| (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) Source # | Since: base-2.1 |