Data.Enum
| Авторские права | (c) Университет Глазго 1992-2002 |
|---|---|
| Лицензия | см. libraries/base/LICENSE |
| Поддерживающий | ghc-devs@haskell.org |
| Стабильность | стабильно |
| Переносимость | непереносимый (расширения GHC) |
| Безопасный Haskell | Безопасный |
| Язык | Haskell2010 |
class Enum a where Исходный код
Класс Enum определяет операции над последовательно упорядоченными типами.
Методы enumFrom... используются в переводах Haskell арифметических последовательностей.
Экземпляры Enum могут быть получены для любого типа перечисления (типов, у конструкторов которых нет полей). Предполагается, что нульарные конструкторы пронумерованы слева направо fromEnum от 0 до n-1. Дополнительные сведения см. в главе 10 Отчета о Haskell.
Для любого типа, являющегося экземпляром класса Bounded а также Enum, должны соблюдаться следующие условия:
- Вызовы
succ maxBoundиpred minBoundдолжны привести к ошибке во время выполнения. -
fromEnumиtoEnumдолжны выдать ошибку во время выполнения, если значение результата не может быть представлено в целевом типе. Например,toEnum 7 :: Bool— это ошибка. -
enumFromиenumFromThenдолжны быть определены с явным ограничением, таким образом:
enumFrom x = enumFromTo x maxBound
enumFromThen x y = enumFromThenTo x y bound
where
bound | fromEnum y >= fromEnum x = maxBound
| otherwise = minBound
Методы
succ :: a -> a Исходный код
Последующее значение. Для числовых типов, succ добавляет 1.
pred :: a -> a Исходный код
Предыдущее значение. Для числовых типов, pred вычитает 1.
toEnum :: Int -> a Исходный код
Преобразование из Int.
fromEnum :: a -> Int Исходный код
Преобразование в Int. Результат применения fromEnum к значению, которое слишком велико для хранения в Int, зависит от реализации.
enumFrom :: a -> [a] Исходный код
Используется в переводах Haskell [n..] с [n..] = enumFrom n, возможной реализацией является enumFrom n = n : enumFrom (succ n).
Примеры
enumFrom 4 :: [Integer] = [4,5,6,7,...]
enumFrom 6 :: [Int] = [6,7,8,9,...,maxBound :: Int]
enumFromThen :: a -> a -> [a] Исходный код
Используется в переводах Haskell [n,n'..] с [n,n'..] = enumFromThen n n', возможной реализацией является enumFromThen n n' = n : n' : worker (f x) (f x n'), worker s v = v : worker s (s v), x = fromEnum n' - fromEnum n и
f n y
| n > 0 = f (n - 1) (succ y)
| n < 0 = f (n + 1) (pred y)
| otherwise = y
Примеры
enumFromThen 4 6 :: [Integer] = [4,6,8,10...]
enumFromThen 6 2 :: [Int] = [6,2,-2,-6,...,minBound :: Int]
enumFromTo :: a -> a -> [a] Исходный код
Используется в переводах Haskell [n..m] с [n..m] = enumFromTo n m, возможной реализацией является
enumFromTo n m
| n <= m = n : enumFromTo (succ n) m
| otherwise = []
Примеры
enumFromTo 6 10 :: [Int] = [6,7,8,9,10]
enumFromTo 42 1 :: [Integer] = []
enumFromThenTo :: a -> a -> a -> [a] Исходный код
Используется в переводах Haskell [n,n'..m] с [n,n'..m] = enumFromThenTo n n' m, возможной реализацией является enumFromThenTo n n' m = worker (f x) (c x) n m, x = fromEnum n' - fromEnum n, c x = bool (>=) ((x 0)
f n y
| n > 0 = f (n - 1) (succ y)
| n < 0 = f (n + 1) (pred y)
| otherwise = y
и
worker s c v m
| c v m = v : worker s c (s v) m
| otherwise = []
Примеры
enumFromThenTo 4 2 -6 :: [Integer] = [4,2,0,-2,-4,-6]
enumFromThenTo 6 8 2 :: [Int] = []
Примеры
| Enum CSize Source | |
| Enum CTime Source | |
| Enum CUChar Source | |
Определено в GHC.Internal.Foreign.C.Types Методыsucc :: CUChar -> CUChar Source pred :: CUChar -> CUChar Source toEnum :: Int -> CUChar Source fromEnum :: CUChar -> Int Source enumFrom :: CUChar -> [CUChar] Source enumFromThen :: CUChar -> CUChar -> [CUChar] Source enumFromTo :: CUChar -> CUChar -> [CUChar] Source enumFromThenTo :: CUChar -> CUChar -> CUChar -> [CUChar] Source | |
| Enum CUInt Source | |
| Enum CUIntMax Source | |
Определено в GHC.Internal.Foreign.C.Types Методыsucc :: CUIntMax -> CUIntMax Source pred :: CUIntMax -> CUIntMax Source toEnum :: Int -> CUIntMax Source fromEnum :: CUIntMax -> Int Source enumFrom :: CUIntMax -> [CUIntMax] Source enumFromThen :: CUIntMax -> CUIntMax -> [CUIntMax] Source enumFromTo :: CUIntMax -> CUIntMax -> [CUIntMax] Source enumFromThenTo :: CUIntMax -> CUIntMax -> CUIntMax -> [CUIntMax] Source | |
| Enum CUIntPtr Source | |
Определено в GHC.Internal.Foreign.C.Types Методыsucc :: CUIntPtr -> CUIntPtr Source pred :: CUIntPtr -> CUIntPtr Source toEnum :: Int -> CUIntPtr Source fromEnum :: CUIntPtr -> Int Source enumFrom :: CUIntPtr -> [CUIntPtr] Source enumFromThen :: CUIntPtr -> CUIntPtr -> [CUIntPtr] Source enumFromTo :: CUIntPtr -> CUIntPtr -> [CUIntPtr] Source enumFromThenTo :: CUIntPtr -> CUIntPtr -> CUIntPtr -> [CUIntPtr] Source | |
Определено в GHC.Internal.Int Методыsucc :: Int64 -> Int64 Исходный код pred :: Int64 -> Int64 Исходный код toEnum :: Int -> Int64 Исходный код fromEnum :: Int64 -> Int Исходный код enumFrom :: Int64 -> [Int64] Исходный код enumFromThen :: Int64 -> Int64 -> [Int64] Исходный код enumFromTo :: Int64 -> Int64 -> [Int64] Исходный код enumFromThenTo :: Int64 -> Int64 -> Int64 -> [Int64] Исходный код | |
| Enum Int8 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int Методыsucc :: Int8 -> Int8 Исходный код pred :: Int8 -> Int8 Исходный код toEnum :: Int -> Int8 Исходный код fromEnum :: Int8 -> Int Исходный код enumFrom :: Int8 -> [Int8] Исходный код enumFromThen :: Int8 -> Int8 -> [Int8] Исходный код enumFromTo :: Int8 -> Int8 -> [Int8] Исходный код enumFromThenTo :: Int8 -> Int8 -> Int8 -> [Int8] Исходный код | |
| Enum Расширение Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CBlkSize -> CBlkSize Исходный код pred :: CBlkSize -> CBlkSize Исходный код toEnum :: Int -> CBlkSize Исходный код fromEnum :: CBlkSize -> Int Исходный код enumFrom :: CBlkSize -> [CBlkSize] Исходный код enumFromThen :: CBlkSize -> CBlkSize -> [CBlkSize] Исходный код enumFromTo :: CBlkSize -> CBlkSize -> [CBlkSize] Исходный код enumFromThenTo :: CBlkSize -> CBlkSize -> CBlkSize -> [CBlkSize] Исходный код | |
| Enum CCc Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CCc -> CCc Исходный код pred :: CCc -> CCc Исходный код toEnum :: Int -> CCc Исходный код fromEnum :: CCc -> Int Исходный код enumFrom :: CCc -> [CCc] Исходный код enumFromThen :: CCc -> CCc -> [CCc] Исходный код enumFromTo :: CCc -> CCc -> [CCc] Исходный код enumFromThenTo :: CCc -> CCc -> CCc -> [CCc] Исходный код | |
| Enum CClockId Source | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CClockId -> CClockId Source pred :: CClockId -> CClockId Source toEnum :: Int -> CClockId Source fromEnum :: CClockId -> Int Source enumFrom :: CClockId -> [CClockId] Source enumFromThen :: CClockId -> CClockId -> [CClockId] Source enumFromTo :: CClockId -> CClockId -> [CClockId] Source enumFromThenTo :: CClockId -> CClockId -> CClockId -> [CClockId] Source | |
| Enum CDev Source | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CDev -> CDev Исходный код pred :: CDev -> CDev Исходный код toEnum :: Int -> CDev Исходный код fromEnum :: CDev -> Int Исходный код enumFrom :: CDev -> [CDev] Исходный код enumFromThen :: CDev -> CDev -> [CDev] Исходный код enumFromTo :: CDev -> CDev -> [CDev] Исходный код enumFromThenTo :: CDev -> CDev -> CDev -> [CDev] Исходный код | |
| Enum CFsBlkCnt Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CFsBlkCnt -> CFsBlkCnt Исходный код pred :: CFsBlkCnt -> CFsBlkCnt Исходный код toEnum :: Int -> CFsBlkCnt Исходный код fromEnum :: CFsBlkCnt -> Int Исходный код enumFrom :: CFsBlkCnt -> [CFsBlkCnt] Исходный код enumFromThen :: CFsBlkCnt -> CFsBlkCnt -> [CFsBlkCnt] Исходный код enumFromTo :: CFsBlkCnt -> CFsBlkCnt -> [CFsBlkCnt] Исходный код enumFromThenTo :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt -> [CFsBlkCnt] Исходный код | |
| Enum CFsFilCnt Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CFsFilCnt -> CFsFilCnt Исходный код pred :: CFsFilCnt -> CFsFilCnt Исходный код toEnum :: Int -> CFsFilCnt Исходный код fromEnum :: CFsFilCnt -> Int Исходный код enumFrom :: CFsFilCnt -> [CFsFilCnt] Исходный код enumFromThen :: CFsFilCnt -> CFsFilCnt -> [CFsFilCnt] Исходный код enumFromTo :: CFsFilCnt -> CFsFilCnt -> [CFsFilCnt] Исходный код enumFromThenTo :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt -> [CFsFilCnt] Исходный код | |
| Enum CGid Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CGid -> CGid Исходный код pred :: CGid -> CGid Исходный код toEnum :: Int -> CGid Исходный код fromEnum :: CGid -> Int Исходный код enumFrom :: CGid -> [CGid] Исходный код enumFromThen :: CGid -> CGid -> [CGid] Исходный код enumFromTo :: CGid -> CGid -> [CGid] Исходный код enumFromThenTo :: CGid -> CGid -> CGid -> [CGid] Исходный код | |
| Enum CId Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CId -> CId Исходный код pred :: CId -> CId Исходный код toEnum :: Int -> CId Исходный код fromEnum :: CId -> Int Исходный код enumFrom :: CId -> [CId] Исходный код enumFromThen :: CId -> CId -> [CId] Исходный код enumFromTo :: CId -> CId -> [CId] Исходный код enumFromThenTo :: CId -> CId -> CId -> [CId] Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CKey -> CKey Исходный код pred :: CKey -> CKey Исходный код toEnum :: Int -> CKey Исходный код fromEnum :: CKey -> Int Исходный код enumFrom :: CKey -> [CKey] Исходный код enumFromThen :: CKey -> CKey -> [CKey] Исходный код enumFromTo :: CKey -> CKey -> [CKey] Исходный код enumFromThenTo :: CKey -> CKey -> CKey -> [CKey] Исходный код | |
| Enum CMode Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CMode -> CMode Исходный код pred :: CMode -> CMode Исходный код toEnum :: Int -> CMode Исходный код fromEnum :: CMode -> Int Исходный код enumFrom :: CMode -> [CMode] Исходный код enumFromThen :: CMode -> CMode -> [CMode] Исходный код enumFromTo :: CMode -> CMode -> [CMode] Исходный код enumFromThenTo :: CMode -> CMode -> CMode -> [CMode] Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CNlink -> CNlink Исходный код pred :: CNlink -> CNlink Исходный код toEnum :: Int -> CNlink Исходный код fromEnum :: CNlink -> Int Исходный код enumFrom :: CNlink -> [CNlink] Исходный код enumFromThen :: CNlink -> CNlink -> [CNlink] Исходный код enumFromTo :: CNlink -> CNlink -> [CNlink] Исходный код enumFromThenTo :: CNlink -> CNlink -> CNlink -> [CNlink] Исходный код | |
| Enum COff Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: COff -> COff Исходный код pred :: COff -> COff Исходный код toEnum :: Int -> COff Исходный код fromEnum :: COff -> Int Исходный код enumFrom :: COff -> [COff] Исходный код enumFromThen :: COff -> COff -> [COff] Исходный код enumFromTo :: COff -> COff -> [COff] Исходный код enumFromThenTo :: COff -> COff -> COff -> [COff] Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CRLim -> CRLim Исходный код pred :: CRLim -> CRLim Исходный код toEnum :: Int -> CRLim Исходный код fromEnum :: CRLim -> Int Исходный код enumFrom :: CRLim -> [CRLim] Исходный код enumFromThen :: CRLim -> CRLim -> [CRLim] Исходный код enumFromTo :: CRLim -> CRLim -> [CRLim] Исходный код enumFromThenTo :: CRLim -> CRLim -> CRLim -> [CRLim] Исходный код | |
| Enum CSocklen Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CSocklen -> CSocklen Исходный код pred :: CSocklen -> CSocklen Исходный код toEnum :: Int -> CSocklen Исходный код fromEnum :: CSocklen -> Int Исходный код enumFrom :: CSocklen -> [CSocklen] Исходный код enumFromThen :: CSocklen -> CSocklen -> [CSocklen] Исходный код enumFromTo :: CSocklen -> CSocklen -> [CSocklen] Исходный код enumFromThenTo :: CSocklen -> CSocklen -> CSocklen -> [CSocklen] Исходный код | |
| Enum CSpeed Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CSpeed -> CSpeed Исходный код pred :: CSpeed -> CSpeed Исходный код toEnum :: Int -> CSpeed Исходный код fromEnum :: CSpeed -> Int Исходный код enumFrom :: CSpeed -> [CSpeed] Исходный код enumFromThen :: CSpeed -> CSpeed -> [CSpeed] Исходный код enumFromTo :: CSpeed -> CSpeed -> [CSpeed] Исходный код enumFromThenTo :: CSpeed -> CSpeed -> CSpeed -> [CSpeed] Исходный код | |
| Enum CSsize Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CSsize -> CSsize Исходный код pred :: CSsize -> CSsize Исходный код toEnum :: Int -> CSsize Исходный код fromEnum :: CSsize -> Int Исходный код enumFrom :: CSsize -> [CSsize] Исходный код enumFromThen :: CSsize -> CSsize -> [CSsize] Исходный код enumFromTo :: CSsize -> CSsize -> [CSsize] Исходный код enumFromThenTo :: CSsize -> CSsize -> CSsize -> [CSsize] Исходный код | |
| Enum CTcflag Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CTcflag -> CTcflag Исходный код pred :: CTcflag -> CTcflag Исходный код toEnum :: Int -> CTcflag Исходный код fromEnum :: CTcflag -> Int Исходный код enumFrom :: CTcflag -> [CTcflag] Исходный код enumFromThen :: CTcflag -> CTcflag -> [CTcflag] Исходный код enumFromTo :: CTcflag -> CTcflag -> [CTcflag] Исходный код enumFromThenTo :: CTcflag -> CTcflag -> CTcflag -> [CTcflag] Исходный код | |
| Enum CUid Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыsucc :: CUid -> CUid Исходный код pred :: CUid -> CUid Исходный код toEnum :: Int -> CUid Исходный код fromEnum :: CUid -> Int Исходный код enumFrom :: CUid -> [CUid] Исходный код enumFromThen :: CUid -> CUid -> [CUid] Исходный код enumFromTo :: CUid -> CUid -> [CUid] Исходный код enumFromThenTo :: CUid -> CUid -> CUid -> [CUid] Исходный код | |
| Enum Fd Source | |
Определено в GHC.Internal.System.Posix.Types | |
| Enum GeneralCategory Source | С момента: base-2.1 |
Определено в GHC.Internal.Unicode Методыsucc :: GeneralCategory -> GeneralCategory Source pred :: GeneralCategory -> GeneralCategory Source toEnum :: Int -> GeneralCategory Source fromEnum :: GeneralCategory -> Int Source enumFrom :: GeneralCategory -> [GeneralCategory] Source enumFromThen :: GeneralCategory -> GeneralCategory -> [GeneralCategory] Source enumFromTo :: GeneralCategory -> GeneralCategory -> [GeneralCategory] Source enumFromThenTo :: GeneralCategory -> GeneralCategory -> GeneralCategory -> [GeneralCategory] Source | |
| Enum Word16 Source | С момента: base-2.1 |
| Enum a => Enum (WrappedMonoid a) Source | Since: base-4.9.0.0 |
Определено в Data.Semigroup Методыsucc :: WrappedMonoid a -> WrappedMonoid a Source pred :: WrappedMonoid a -> WrappedMonoid a Source toEnum :: Int -> WrappedMonoid a Source fromEnum :: WrappedMonoid a -> Int Source enumFrom :: WrappedMonoid a -> [WrappedMonoid a] Source enumFromThen :: WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] Source enumFromTo :: WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] Source enumFromThenTo :: WrappedMonoid a -> WrappedMonoid a -> WrappedMonoid a -> [WrappedMonoid a] Source | |
| Enum a => Enum (And a) Source | Since: base-4.16 |
| Enum a => Enum (Iff a) Source | Since: base-4.16 |
| Enum a => Enum (Solo a) Source | |
Определено в GHC.Internal.Enum Методыsucc :: Solo a -> Solo a Source pred :: Solo a -> Solo a Source toEnum :: Int -> Solo a Source fromEnum :: Solo a -> Int Source enumFrom :: Solo a -> [Solo a] Source enumFromThen :: Solo a -> Solo a -> [Solo a] Source enumFromTo :: Solo a -> Solo a -> [Solo a] Source enumFromThenTo :: Solo a -> Solo a -> Solo a -> [Solo a] Source | |
| Enum (Fixed a) Source |
Обратите внимание, что для числовых типов >>> succ (0.000 :: Milli) 0.001 и аналогично >>> pred (0.000 :: Milli) -0.001 Другими словами, >>> succ (0.000000000000 :: Pico) 0.000000000001 и аналогично >>> pred (0.000000000000 :: Pico) -0.000000000001 Это следует учитывать при определении арифметических последовательностей [1..10] :: [Pico] равна Однако это не так. Напротив, аналогично вышеуказанным реализациям [1.000000000000, 1.00000000001, 1.00000000002, ..., 10.000000000000] и содержит С момента: base-2.1 |
Определено в Data.Fixed Методыsucc :: Fixed a -> Fixed a Source pred :: Fixed a -> Fixed a Source toEnum :: Int -> Fixed a Source fromEnum :: Fixed a -> Int Source enumFrom :: Fixed a -> [Fixed a] Source enumFromThen :: Fixed a -> Fixed a -> [Fixed a] Source enumFromTo :: Fixed a -> Fixed a -> [Fixed a] Source enumFromThenTo :: Fixed a -> Fixed a -> Fixed a -> [Fixed a] Source | |
| Enum (Proxy s) Source | С момента: base-4.7.0.0 |
| a ~~ b => Enum (a :~~: b) Source | Since: base-4.10.0.0 |
Определено в GHC.Internal.Data.Type.Equality Методыsucc :: (a :~~: b) -> a :~~: b Source pred :: (a :~~: b) -> a :~~: b Source toEnum :: Int -> a :~~: b Source fromEnum :: (a :~~: b) -> Int Source enumFrom :: (a :~~: b) -> [a :~~: b] Source enumFromThen :: (a :~~: b) -> (a :~~: b) -> [a :~~: b] Source enumFromTo :: (a :~~: b) -> (a :~~: b) -> [a :~~: b] Source enumFromThenTo :: (a :~~: b) -> (a :~~: b) -> (a :~~: b) -> [a :~~: b] Source | |
| Enum (f (g a)) => Enum (Compose f g a) Source | Since: base-4.19.0.0 |
Определено в Data.Functor.Compose Методыsucc :: Compose f g a -> Compose f g a Source pred :: Compose f g a -> Compose f g a Source toEnum :: Int -> Compose f g a Source fromEnum :: Compose f g a -> Int Source enumFrom :: Compose f g a -> [Compose f g a] Source enumFromThen :: Compose f g a -> Compose f g a -> [Compose f g a] Source enumFromTo :: Compose f g a -> Compose f g a -> [Compose f g a] Source enumFromThenTo :: Compose f g a -> Compose f g a -> Compose f g a -> [Compose f g a] Source | |
Класс Bounded используется для именования верхних и нижних пределов типа. Ord не является суперклассом Bounded, так как типы, которые не являются полностью упорядоченными, также могут иметь верхние и нижние границы.
Класс Bounded может быть выведен для любого типа перечисления; minBound — это первый конструктор, указанный в объявлении data, а maxBound — последний. Bounded также может быть выведен для типов данных с одним конструктором, составные типы которых находятся в Bounded.
Определено в GHC.Internal.Generics | |
| Bounded Определённая жёсткость Исходный код | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Generics | |
| Bounded Строгость исходного кода Исходный код | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Generics | |
| Bounded Неупакованность исходного кода Исходный код | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Generics | |
| Bounded Int16 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int | |
| Bounded Int32 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int | |
| Bounded Int64 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int | |
| Bounded Int8 Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Int | |
| Bounded Расширение Исходный код | |
| Bounded Fd Source | |
| Bounded GeneralCategory Source | Since: base-2.1 |
Определено в 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 Ordering Source | Since: base-2.1 |
| Bounded () Source | Since: base-2.1 |
Определено в GHC.Internal.Enum | |
| Bounded Bool Source | Since: base-2.1 |
| Bounded Char Источник | С версии: base-2.1 |
| Bounded Int Источник | С версии: base-2.1 |
| Bounded Levity Источник | С версии: base-4.16.0.0 |
| Bounded VecCount Источник | С версии: base-4.10.0.0 |
| Bounded VecElem Источник | С версии: base-4.10.0.0 |
| Bounded Word Источник | С версии: base-2.1 |
| Bounded a => Bounded (First a) Источник | С версии: base-4.9.0.0 |
| Bounded a => Bounded (Last a) Источник | С версии: base-4.9.0.0 |
| Bounded a => Bounded (Max a) Источник | С версии: 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 |
Определено в 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 |
Меняет местами Since: base-4.14.0.0 |
| Bounded a => Bounded (Dual a) Источник | С момента выпуска: base-2.1 |
| Bounded a => Bounded (Product a) Источник | С момента выпуска: base-2.1 |
| Bounded a => Bounded (Sum a) Источник | С момента выпуска: base-2.1 |
| Bounded a => Bounded (Solo a) Источник | |
| Bounded (Proxy t) Источник | С момента выпуска: base-4.7.0.0 |
| (Bounded a, Bounded b) => Bounded (a, b) Источник | С момента выпуска: base-2.1 |
Определено в GHC.Internal.Enum | |
| Bounded a => Bounded (Const a b) Источник | С момента выпуска: base-4.9.0.0 |
| (Applicative f, Bounded a) => Bounded (Ap f a) Источник | С момента выпуска: base-4.12.0.0 |
Определено в GHC.Internal.Data.Monoid | |
| Coercible a b => Bounded (Coercion a b) Исходный код | С версии: base-4.7.0.0 |
Определено в GHC.Internal.Data.Type.Coercion Краткое описание методовminBound :: Coercion a b Исходный код maxBound :: Coercion a b Исходный код | |
| a ~ b => Bounded (a :~: b) Исходный код | С версии: base-4.7.0.0 |
Определено в GHC.Internal.Data.Type.Equality | |
| (Bounded a, Bounded b, Bounded c) => Bounded (a, b, c) Исходный код | С версии: base-2.1 |
Определено в GHC.Internal.Enum | |
| a ~~ b => Bounded (a :~~: b) Исходный код | С версии: base-4.10.0.0 |
Определено в GHC.Internal.Data.Type.Equality | |
| (Bounded a, Bounded b, Bounded c, Bounded d) => Bounded (a, b, c, d) Исходный код | С версии: base-2.1 |
Определено в GHC.Internal.Enum Краткое описание методовminBound :: (a, b, c, d) Исходный код maxBound :: (a, b, c, d) Исходный код | |
| Bounded (f (g a)) => Bounded (Compose f g a) Исходный код | С версии: base-4.19.0.0 |
Определено в Data.Functor.Compose Краткое описание методовminBound :: Compose f g a Исходный код maxBound :: Compose f g a Исходный код | |
| (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e) => Bounded (a, b, c, d, e) Исходный код | С версии: base-2.1 |
Определено в GHC.Internal.Enum Краткое описание методовminBound :: (a, b, c, d, e) Исходный код maxBound :: (a, b, c, d, e) Исходный код | |
| (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f) => Bounded (a, b, c, d, e, f) Исходный код | С версии: base-2.1 |
Определено в GHC.Internal.Enum | |
| (Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g) => Bounded (a, b, c, d, e, f, g) Источник | С версии: base-2.1 |
Определено в GHC.Internal.Enum | |
| (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) Источник | С версии: base-2.1 |
Определено в GHC.Internal.Enum | |
| (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) Источник | С версии: base-2.1 |
Определено в GHC.Internal.Enum | |
| (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) Источник | С версии: base-2.1 |
Определено в GHC.Internal.Enum | |
| (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) Источник | С версии: base-2.1 |
Определено в GHC.Internal.Enum | |
| (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) Источник | С версии: base-2.1 |
Определено в GHC.Internal.Enum | |
| (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 | С момента: base-2.1 |
Определено в GHC.Internal.Enum | |
| (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 | С момента: base-2.1 |
Определено в GHC.Internal.Enum | |
| (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 | С момента: base-2.1 |
Определено в GHC.Internal.Enum | |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Data-Enum.html