Data.Ord
| Авторские права | (c) Университет Глазго 2005 |
|---|---|
| Лицензия | BSD-стиль (см. файл libraries/base/LICENSE) |
| Поддержка | libraries@haskell.org |
| Устойчивость | стабильная |
| Переносимость | переносимая |
| Безопасный Haskell | Безопасный |
| Язык | Haskell2010 |
Описание
Порядки
class Eq a => Ord a where Исходный код
Класс Ord используется для полностью упорядоченных типов данных.
Примеры Ord могут быть получены для любого пользовательского типа данных, составные типы которого находятся в Ord. Заявленный порядок конструкторов в объявлении данных определяет порядок в выведенных Ord примерах. Тип Ordering позволяет определить точный порядок двух объектов с помощью одного сравнения.
Ord, как определено в отчете Haskell, реализует полное упорядочение и обладает следующими свойствами:
- Сравнимость
-
x <= y || y <= x=True - Транзитивность
- если
x <= y && y <= z=True, тоx <= z=True - Рефлексивность
-
x <= x=True - Антисимметричность
- если
x <= y && y <= x=True, тоx == y=True
Ожидается, что следующие взаимодействия операторов будут выполняться:
-
x >= y=y <= x -
x < y=x <= y && x /= y -
x > y=y < x -
x < y=compare x y == LT -
x > y=compare x y == GT -
x == y=compare x y == EQ -
min x y == if x <= y then x else y=True -
max x y == if x >= y then x else y=True
Обратите внимание, что (7.) и (8.) не требуют, чтобы min и max возвращали любой из своих аргументов. Результат просто должен равняться одному из аргументов с точки зрения (==). Пользователям, которые ожидают более сильной гарантии, рекомендуется написать свои собственные функции min и/или max.
Оттенки различия выше не всегда полностью усваиваются разработчиками, и в прошлом (прослеживаясь до отчета Haskell 1.4) спецификация для Ord утверждала более сильное свойство, что (min x y, max x
y) = (x, y) или (y, x), или другими словами, что min и max будут возвращать один из своих аргументов, используя порядок аргументов как решающий фактор, если аргументы равны по сравнению. Несколько функций списков и Foldable имеют поведение, которое лучше всего понимается с учетом этого предположения: все варианты minimumBy и maximumBy (которые не могут использовать min и max в своих реализациях) написаны таким образом, что minimumBy compare и maximumBy compare соответственно эквивалентны minimum и maximum (которые используют min и max) только если min и max следуют этой схеме приоритетов. В противном случае, если в контейнере есть несколько наименьших или наибольших элементов, minimum и maximum могут не вернуть тот же элемент, что и minimumBy compare и maximumBy compare (хотя они должны вернуть что-то равное). (Это актуально для типов с неэкстенсиональной эквивалентностью, как Arg, но также в тех случаях, когда важна точная ссылка из-за управления памятью). Если нет причины отклоняться, для реализаторов Ord менее запутанно соблюдать ту же конвенцию (как и делают определения по умолчанию для min и max).
Минимальное полное определение: либо compare или <=. Использование compare может быть более эффективным для сложных типов.
Методы
compare :: a -> a -> Ordering Исходный код
(<) :: a -> a -> Bool infix 4 Исходный код
(<=) :: a -> a -> Bool infix 4 Исходный код
(>) :: a -> a -> Bool infix 4 Исходный код
(>=) :: a -> a -> Bool infix 4 Исходный код
max :: a -> a -> a Исходный код
min :: a -> a -> a Исходный код
Примеры
Определено в GHC.Internal.ByteOrder Методыcompare :: ByteOrder -> ByteOrder -> Ordering Источник (<) :: ByteOrder -> ByteOrder -> Bool Источник (<=) :: ByteOrder -> ByteOrder -> Bool Источник (>) :: ByteOrder -> ByteOrder -> Bool Источник (>=) :: ByteOrder -> ByteOrder -> Bool Источник | |
| Ord ClosureType Источник | |
Определено в GHC.Internal.ClosureTypes Методыcompare :: ClosureType -> ClosureType -> Ordering Источник (<) :: ClosureType -> ClosureType -> Bool Источник (<=) :: ClosureType -> ClosureType -> Bool Источник (>) :: ClosureType -> ClosureType -> Bool Источник (>=) :: ClosureType -> ClosureType -> Bool Источник max :: ClosureType -> ClosureType -> ClosureType Источник min :: ClosureType -> ClosureType -> ClosureType Источник | |
| Ord BlockReason Источник | С момента: base-4.3.0.0 |
Определено в GHC.Internal.Data.Unique | |
| Ord Version Источник | С момента: base-2.1 |
Определено в GHC.Internal.Data.Version | |
| Ord TimeoutKey Источник | |
Определено в GHC.Internal.Event.TimeOut Методыcompare :: TimeoutKey -> TimeoutKey -> Ordering Источник (<) :: TimeoutKey -> TimeoutKey -> Bool Источник (<=) :: TimeoutKey -> TimeoutKey -> Bool Источник (>) :: TimeoutKey -> TimeoutKey -> Bool Источник (>=) :: TimeoutKey -> TimeoutKey -> Bool Источник max :: TimeoutKey -> TimeoutKey -> TimeoutKey Источник min :: TimeoutKey -> TimeoutKey -> TimeoutKey Источник | |
| Ord Unique Источник | С момента: base-4.4.0.0 |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CDouble Источник | |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CFloat Источник | |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CInt Источник | |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CLong Источник | |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CPtrdiff Источник | |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CSChar Источник | |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CUInt Источник | |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CUIntMax Источник | |
Определено в GHC.Internal.Foreign.C.Types | |
| Ord CUIntPtr Источник | |
Определено в GHC.Internal.Foreign.Ptr | |
| Ord WordPtr Источник | |
Определено в GHC.Internal.Foreign.Ptr | |
| Ord Associativity Источник | С версии: base-4.6.0.0 |
Определено в GHC.Internal.Generics Методыcompare :: Associativity -> Associativity -> Ordering Источник (<) :: Associativity -> Associativity -> Bool Источник (<=) :: Associativity -> Associativity -> Bool Источник (>) :: Associativity -> Associativity -> Bool Источник (>=) :: Associativity -> Associativity -> Bool Источник max :: Associativity -> Associativity -> Associativity Источник min :: Associativity -> Associativity -> Associativity Источник | |
| Ord DecidedStrictness Источник | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Int Методыcompare :: Int8 -> Int8 -> Ordering Исходный код (<) :: Int8 -> Int8 -> Bool Исходный код (<=) :: Int8 -> Int8 -> Bool Исходный код (>) :: Int8 -> Int8 -> Bool Исходный код (>=) :: Int8 -> Int8 -> Bool Исходный код max :: Int8 -> Int8 -> Int8 Исходный код min :: Int8 -> Int8 -> Int8 Исходный код | |
| Ord Расширение Исходный код | |
Определено в GHC.Internal.LanguageExtensions Методыcompare :: Расширение -> Расширение -> Ordering Исходный код (<) :: Расширение -> Расширение -> Bool Исходный код (<=) :: Расширение -> Расширение -> Bool Исходный код (>) :: Расширение -> Расширение -> Bool Исходный код (>=) :: Расширение -> Расширение -> Bool Исходный код max :: Расширение -> Расширение -> Расширение Исходный код min :: Расширение -> Расширение -> Расширение Исходный код | |
| Ord CBlkCnt Исходный код | |
Определено в GHC.Internal.System.Posix.Types | |
| Ord CBlkSize Источник | |
Определено в GHC.Internal.System.Posix.Types | |
| Ord CCc Источник | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CCc -> CCc -> Порядок Исходный код (<) :: CCc -> CCc -> Булево Исходный код (<=) :: CCc -> CCc -> Булево Исходный код (>) :: CCc -> CCc -> Булево Исходный код (>=) :: CCc -> CCc -> Булево Исходный код max :: CCc -> CCc -> CCc Исходный код min :: CCc -> CCc -> CCc Исходный код | |
| Ord CClockId Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CClockId -> CClockId -> Порядок Исходный код (<) :: CClockId -> CClockId -> Булево Исходный код (<=) :: CClockId -> CClockId -> Булево Исходный код (>) :: CClockId -> CClockId -> Булево Исходный код (>=) :: CClockId -> CClockId -> Булево Исходный код max :: CClockId -> CClockId -> CClockId Исходный код min :: CClockId -> CClockId -> CClockId Исходный код | |
| Ord CDev Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CDev -> CDev -> Порядок Исходный код (<) :: CDev -> CDev -> Булево Исходный код (<=) :: CDev -> CDev -> Булево Исходный код (>) :: CDev -> CDev -> Булево Исходный код (>=) :: CDev -> CDev -> Булево Исходный код max :: CDev -> CDev -> CDev Исходный код min :: CDev -> CDev -> CDev Исходный код | |
| Ord CFsBlkCnt Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CFsBlkCnt -> CFsBlkCnt -> Порядок Исходный код (<) :: CFsBlkCnt -> CFsBlkCnt -> Булево Исходный код (<=) :: CFsBlkCnt -> CFsBlkCnt -> Булево Исходный код (>) :: CFsBlkCnt -> CFsBlkCnt -> Булево Исходный код (>=) :: CFsBlkCnt -> CFsBlkCnt -> Булево Исходный код max :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Исходный код min :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Исходный код | |
| Ord CFsFilCnt Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CFsFilCnt -> CFsFilCnt -> Ordering Исходный код (<) :: CFsFilCnt -> CFsFilCnt -> Bool Исходный код (<=) :: CFsFilCnt -> CFsFilCnt -> Bool Исходный код (>) :: CFsFilCnt -> CFsFilCnt -> Bool Исходный код (>=) :: CFsFilCnt -> CFsFilCnt -> Bool Исходный код max :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Исходный код min :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Исходный код | |
| Ord CGid Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CGid -> CGid -> Ordering Исходный код (<) :: CGid -> CGid -> Bool Исходный код (<=) :: CGid -> CGid -> Bool Исходный код (>) :: CGid -> CGid -> Bool Исходный код (>=) :: CGid -> CGid -> Bool Исходный код max :: CGid -> CGid -> CGid Исходный код min :: CGid -> CGid -> CGid Исходный код | |
| Ord CId Исходный код | |
Определено в GHC.Internal.System.Posix.Types | |
| Ord CIno Источник | |
Определено в GHC.Internal.System.Posix.Types | |
| Ord CKey Источник | |
Определено в GHC.Internal.System.Posix.Types | |
| Ord CMode Источник | |
Определено в GHC.Internal.System.Posix.Types | |
| Ord CNfds Источник | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CNfds -> CNfds -> Ordering Исходный код (<) :: CNfds -> CNfds -> Bool Исходный код (<=) :: CNfds -> CNfds -> Bool Исходный код (>) :: CNfds -> CNfds -> Bool Исходный код (>=) :: CNfds -> CNfds -> Bool Исходный код max :: CNfds -> CNfds -> CNfds Исходный код min :: CNfds -> CNfds -> CNfds Исходный код | |
| Ord CNlink Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CNlink -> CNlink -> Ordering Исходный код (<) :: CNlink -> CNlink -> Bool Исходный код (<=) :: CNlink -> CNlink -> Bool Исходный код (>) :: CNlink -> CNlink -> Bool Исходный код (>=) :: CNlink -> CNlink -> Bool Исходный код max :: CNlink -> CNlink -> CNlink Исходный код min :: CNlink -> CNlink -> CNlink Исходный код | |
| Ord COff Исходный код | |
Определено в GHC.Internal.System.Posix.Types | |
| Ord CPid Источник | |
Определено в GHC.Internal.System.Posix.Types | |
| Ord CRLim Источник | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CRLim -> CRLim -> Порядок Исходный код (<) :: CRLim -> CRLim -> Булево Исходный код (<=) :: CRLim -> CRLim -> Булево Исходный код (>) :: CRLim -> CRLim -> Булево Исходный код (>=) :: CRLim -> CRLim -> Булево Исходный код max :: CRLim -> CRLim -> CRLim Исходный код min :: CRLim -> CRLim -> CRLim Исходный код | |
| Ord CSocklen Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CSocklen -> CSocklen -> Порядок Исходный код (<) :: CSocklen -> CSocklen -> Булево Исходный код (<=) :: CSocklen -> CSocklen -> Булево Исходный код (>) :: CSocklen -> CSocklen -> Булево Исходный код (>=) :: CSocklen -> CSocklen -> Булево Исходный код max :: CSocklen -> CSocklen -> CSocklen Исходный код min :: CSocklen -> CSocklen -> CSocklen Исходный код | |
| Ord CSpeed Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CSpeed -> CSpeed -> Порядок Исходный код (<) :: CSpeed -> CSpeed -> Булево Исходный код (<=) :: CSpeed -> CSpeed -> Булево Исходный код (>) :: CSpeed -> CSpeed -> Булево Исходный код (>=) :: CSpeed -> CSpeed -> Булево Исходный код max :: CSpeed -> CSpeed -> CSpeed Исходный код min :: CSpeed -> CSpeed -> CSpeed Исходный код | |
| Ord CSsize Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CSsize -> CSsize -> Порядок Исходный код (<) :: CSsize -> CSsize -> Булево Исходный код (<=) :: CSsize -> CSsize -> Булево Исходный код (>) :: CSsize -> CSsize -> Булево Исходный код (>=) :: CSsize -> CSsize -> Булево Исходный код max :: CSsize -> CSsize -> CSsize Исходный код min :: CSsize -> CSsize -> CSsize Исходный код | |
| Ord CTcflag Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CTcflag -> CTcflag -> Порядок Исходный код (<) :: CTcflag -> CTcflag -> Булево Исходный код (<=) :: CTcflag -> CTcflag -> Булево Исходный код (>) :: CTcflag -> CTcflag -> Булево Исходный код (>=) :: CTcflag -> CTcflag -> Булево Исходный код max :: CTcflag -> CTcflag -> CTcflag Исходный код min :: CTcflag -> CTcflag -> CTcflag Исходный код | |
| Ord CTimer Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CTimer -> CTimer -> Порядок Исходный код (<) :: CTimer -> CTimer -> Булево Исходный код (<=) :: CTimer -> CTimer -> Булево Исходный код (>) :: CTimer -> CTimer -> Булево Исходный код (>=) :: CTimer -> CTimer -> Булево Исходный код max :: CTimer -> CTimer -> CTimer Исходный код min :: CTimer -> CTimer -> CTimer Исходный код | |
| Ord CUid Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: CUid -> CUid -> Порядок Исходный код (<) :: CUid -> CUid -> Булево Исходный код (<=) :: CUid -> CUid -> Булево Исходный код (>) :: CUid -> CUid -> Булево Исходный код (>=) :: CUid -> CUid -> Булево Исходный код max :: CUid -> CUid -> CUid Исходный код min :: CUid -> CUid -> CUid Исходный код | |
| Ord Fd Исходный код | |
Определено в GHC.Internal.System.Posix.Types Методыcompare :: Fd -> Fd -> Порядок Исходный код (<) :: Fd -> Fd -> Булево Исходный код (<=) :: Fd -> Fd -> Булево Исходный код (>) :: Fd -> Fd -> Булево Исходный код (>=) :: Fd -> Fd -> Булево Исходный код max :: Fd -> Fd -> Fd Исходный код min :: Fd -> Fd -> Fd Исходный код | |
| Ord AnnLookup Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: AnnLookup -> AnnLookup -> Порядок Исходный код (<) :: AnnLookup -> AnnLookup -> Булево Исходный код (<=) :: AnnLookup -> AnnLookup -> Булево Исходный код (>) :: AnnLookup -> AnnLookup -> Булево Исходный код (>=) :: AnnLookup -> AnnLookup -> Булево Исходный код max :: AnnLookup -> AnnLookup -> AnnLookup Исходный код min :: AnnLookup -> AnnLookup -> AnnLookup Исходный код | |
| Ord AnnTarget Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: AnnTarget -> AnnTarget -> Порядок Исходный код (<) :: AnnTarget -> AnnTarget -> Булево Исходный код (<=) :: AnnTarget -> AnnTarget -> Булево Исходный код (>) :: AnnTarget -> AnnTarget -> Булево Исходный код (>=) :: AnnTarget -> AnnTarget -> Булево Исходный код max :: AnnTarget -> AnnTarget -> AnnTarget Исходный код min :: AnnTarget -> AnnTarget -> AnnTarget Исходный код | |
| Ord Bang Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Bang -> Bang -> Порядок Исходный код (<) :: Bang -> Bang -> Булево Исходный код (<=) :: Bang -> Bang -> Булево Исходный код (>) :: Bang -> Bang -> Булево Исходный код (>=) :: Bang -> Bang -> Булево Исходный код max :: Bang -> Bang -> Bang Исходный код min :: Bang -> Bang -> Bang Исходный код | |
| Ord BndrVis Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: BndrVis -> BndrVis -> Порядок Исходный код (<) :: BndrVis -> BndrVis -> Булево Исходный код (<=) :: BndrVis -> BndrVis -> Булево Исходный код (>) :: BndrVis -> BndrVis -> Булево Исходный код (>=) :: BndrVis -> BndrVis -> Булево Исходный код max :: BndrVis -> BndrVis -> BndrVis Исходный код min :: BndrVis -> BndrVis -> BndrVis Исходный код | |
| Ord Body Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Body -> Body -> Ordering Исходный код (<) :: Body -> Body -> Bool Исходный код (<=) :: Body -> Body -> Bool Исходный код (>) :: Body -> Body -> Bool Исходный код (>=) :: Body -> Body -> Bool Исходный код max :: Body -> Body -> Body Исходный код min :: Body -> Body -> Body Исходный код | |
| Ord Bytes Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Bytes -> Bytes -> Ordering Исходный код (<) :: Bytes -> Bytes -> Bool Исходный код (<=) :: Bytes -> Bytes -> Bool Исходный код (>) :: Bytes -> Bytes -> Bool Исходный код (>=) :: Bytes -> Bytes -> Bool Исходный код max :: Bytes -> Bytes -> Bytes Исходный код min :: Bytes -> Bytes -> Bytes Исходный код | |
| Ord Callconv Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Callconv -> Callconv -> Порядок Исходный код (<) :: Callconv -> Callconv -> Булево Исходный код (<=) :: Callconv -> Callconv -> Булево Исходный код (>) :: Callconv -> Callconv -> Булево Исходный код (>=) :: Callconv -> Callconv -> Булево Исходный код max :: Callconv -> Callconv -> Callconv Исходный код min :: Callconv -> Callconv -> Callconv Исходный код | |
| Ord Clause Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Clause -> Clause -> Порядок Исходный код (<) :: Clause -> Clause -> Булево Исходный код (<=) :: Clause -> Clause -> Булево Исходный код (>) :: Clause -> Clause -> Булево Исходный код (>=) :: Clause -> Clause -> Булево Исходный код max :: Clause -> Clause -> Clause Исходный код min :: Clause -> Clause -> Clause Исходный код | |
| Ord Con Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: DerivStrategy -> DerivStrategy -> Порядок Источник (<) :: DerivStrategy -> DerivStrategy -> Булево Источник (<=) :: DerivStrategy -> DerivStrategy -> Булево Источник (>) :: DerivStrategy -> DerivStrategy -> Булево Источник (>=) :: DerivStrategy -> DerivStrategy -> Булево Источник max :: DerivStrategy -> DerivStrategy -> DerivStrategy Источник min :: DerivStrategy -> DerivStrategy -> DerivStrategy Источник | |
| Ord DocLoc Источник | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Exp Источник | |
| Ord FamilyResultSig Источник | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: FamilyResultSig -> FamilyResultSig -> Ordering Источник (<) :: FamilyResultSig -> FamilyResultSig -> Bool Источник (<=) :: FamilyResultSig -> FamilyResultSig -> Bool Источник (>) :: FamilyResultSig -> FamilyResultSig -> Bool Источник (>=) :: FamilyResultSig -> FamilyResultSig -> Bool Источник max :: FamilyResultSig -> FamilyResultSig -> FamilyResultSig Источник min :: FamilyResultSig -> FamilyResultSig -> FamilyResultSig Источник | |
| Ord Fixity Источник | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Fixity -> Fixity -> Ordering Исходный код (<) :: Fixity -> Fixity -> Bool Исходный код (<=) :: Fixity -> Fixity -> Bool Исходный код (>) :: Fixity -> Fixity -> Bool Исходный код (>=) :: Fixity -> Fixity -> Bool Исходный код max :: Fixity -> Fixity -> Fixity Исходный код min :: Fixity -> Fixity -> Fixity Исходный код | |
| Ord FixityDirection Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: FixityDirection -> FixityDirection -> Ordering Исходный код (<) :: FixityDirection -> FixityDirection -> Bool Исходный код (<=) :: FixityDirection -> FixityDirection -> Bool Исходный код (>) :: FixityDirection -> FixityDirection -> Bool Исходный код (>=) :: FixityDirection -> FixityDirection -> Bool Исходный код max :: FixityDirection -> FixityDirection -> FixityDirection Исходный код min :: FixityDirection -> FixityDirection -> FixityDirection Исходный код | |
| Ord Foreign Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Foreign -> Foreign -> Порядок Исходный код (<) :: Foreign -> Foreign -> Bool Исходный код (<=) :: Foreign -> Foreign -> Bool Исходный код (>) :: Foreign -> Foreign -> Bool Исходный код (>=) :: Foreign -> Foreign -> Bool Исходный код max :: Foreign -> Foreign -> Foreign Исходный код min :: Foreign -> Foreign -> Foreign Исходный код | |
| Ord FunDep Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: FunDep -> FunDep -> Порядок Исходный код (<) :: FunDep -> FunDep -> Bool Исходный код (<=) :: FunDep -> FunDep -> Bool Исходный код (>) :: FunDep -> FunDep -> Bool Исходный код (>=) :: FunDep -> FunDep -> Bool Исходный код max :: FunDep -> FunDep -> FunDep Исходный код min :: FunDep -> FunDep -> FunDep Исходный код | |
| Ord Guard Исходный код | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Info Источник | |
Определено в GHC.Internal.TH.Syntax | |
| Ord InjectivityAnn Источник | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: InjectivityAnn -> InjectivityAnn -> Ordering Источник (<) :: InjectivityAnn -> InjectivityAnn -> Bool Источник (<=) :: InjectivityAnn -> InjectivityAnn -> Bool Источник (>) :: InjectivityAnn -> InjectivityAnn -> Bool Источник (>=) :: InjectivityAnn -> InjectivityAnn -> Bool Источник max :: InjectivityAnn -> InjectivityAnn -> InjectivityAnn Источник min :: InjectivityAnn -> InjectivityAnn -> InjectivityAnn Источник | |
| Ord Inline Источник | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Lit Источник | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Lit -> Lit -> Ordering Исходный код (<) :: Lit -> Lit -> Bool Исходный код (<=) :: Lit -> Lit -> Bool Исходный код (>) :: Lit -> Lit -> Bool Исходный код (>=) :: Lit -> Lit -> Bool Исходный код max :: Lit -> Lit -> Lit Исходный код min :: Lit -> Lit -> Lit Исходный код | |
| Ord Loc Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Loc -> Loc -> Ordering Исходный код (<) :: Loc -> Loc -> Bool Исходный код (<=) :: Loc -> Loc -> Bool Исходный код (>) :: Loc -> Loc -> Bool Исходный код (>=) :: Loc -> Loc -> Bool Исходный код max :: Loc -> Loc -> Loc Исходный код min :: Loc -> Loc -> Loc Исходный код | |
| Ord Match Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Match -> Match -> Ordering Исходный код (<) :: Match -> Match -> Bool Исходный код (<=) :: Match -> Match -> Bool Исходный код (>) :: Match -> Match -> Bool Исходный код (>=) :: Match -> Match -> Bool Исходный код max :: Match -> Match -> Match Исходный код min :: Match -> Match -> Match Исходный код | |
| Ord ModName Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: ModName -> ModName -> Ordering Исходный код (<) :: ModName -> ModName -> Bool Исходный код (<=) :: ModName -> ModName -> Bool Исходный код (>) :: ModName -> ModName -> Bool Исходный код (>=) :: ModName -> ModName -> Bool Исходный код max :: ModName -> ModName -> ModName Исходный код min :: ModName -> ModName -> ModName Исходный код | |
| Ord Module Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Модуль -> Модуль -> Порядок Исходный код (<) :: Модуль -> Модуль -> Булево Исходный код (<=) :: Модуль -> Модуль -> Булево Исходный код (>) :: Модуль -> Модуль -> Булево Исходный код (>=) :: Модуль -> Модуль -> Булево Исходный код max :: Модуль -> Модуль -> Модуль Исходный код min :: Модуль -> Модуль -> Модуль Исходный код | |
| Ord ModuleInfo Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: ModuleInfo -> ModuleInfo -> Порядок Исходный код (<) :: ModuleInfo -> ModuleInfo -> Булево Исходный код (<=) :: ModuleInfo -> ModuleInfo -> Булево Исходный код (>) :: ModuleInfo -> ModuleInfo -> Булево Исходный код (>=) :: ModuleInfo -> ModuleInfo -> Булево Исходный код max :: ModuleInfo -> ModuleInfo -> ModuleInfo Исходный код min :: ModuleInfo -> ModuleInfo -> ModuleInfo Исходный код | |
| Ord Имя Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Name -> Name -> Ordering Исходный код (<) :: Name -> Name -> Bool Исходный код (<=) :: Name -> Name -> Bool Исходный код (>) :: Name -> Name -> Bool Исходный код (>=) :: Name -> Name -> Bool Исходный код max :: Name -> Name -> Name Исходный код min :: Name -> Name -> Name Исходный код | |
| Ord NameFlavour Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: NameFlavour -> NameFlavour -> Ordering Исходный код (<) :: NameFlavour -> NameFlavour -> Bool Исходный код (<=) :: NameFlavour -> NameFlavour -> Bool Исходный код (>) :: NameFlavour -> NameFlavour -> Bool Исходный код (>=) :: NameFlavour -> NameFlavour -> Bool Исходный код max :: NameFlavour -> NameFlavour -> NameFlavour Исходный код min :: NameFlavour -> NameFlavour -> NameFlavour Исходный код | |
| Ord NameSpace Исходный код | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Overlap Источник | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Pat Источник | |
| Ord PatSynArgs Источник | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: PatSynArgs -> PatSynArgs -> Ordering Источник (<) :: PatSynArgs -> PatSynArgs -> Bool Источник (<=) :: PatSynArgs -> PatSynArgs -> Bool Источник (>) :: PatSynArgs -> PatSynArgs -> Bool Источник (>=) :: PatSynArgs -> PatSynArgs -> Bool Источник max :: PatSynArgs -> PatSynArgs -> PatSynArgs Источник min :: PatSynArgs -> PatSynArgs -> PatSynArgs Источник | |
| Ord PatSynDir Источник | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: PatSynDir -> PatSynDir -> Ordering Исходный код (<) :: PatSynDir -> PatSynDir -> Bool Исходный код (<=) :: PatSynDir -> PatSynDir -> Bool Исходный код (>) :: PatSynDir -> PatSynDir -> Bool Исходный код (>=) :: PatSynDir -> PatSynDir -> Bool Исходный код max :: PatSynDir -> PatSynDir -> PatSynDir Исходный код min :: PatSynDir -> PatSynDir -> PatSynDir Исходный код | |
| Ord Phases Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Phases -> Phases -> Ordering Исходный код (<) :: Phases -> Phases -> Bool Исходный код (<=) :: Phases -> Phases -> Bool Исходный код (>) :: Phases -> Phases -> Bool Исходный код (>=) :: Phases -> Phases -> Bool Исходный код max :: Phases -> Phases -> Phases Исходный код min :: Phases -> Phases -> Phases Исходный код | |
| Ord PkgName Исходный код | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Pragma Источник | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Range Источник | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Range -> Range -> Ordering Исходный код (<) :: Range -> Range -> Bool Исходный код (<=) :: Range -> Range -> Bool Исходный код (>) :: Range -> Range -> Bool Исходный код (>=) :: Range -> Range -> Bool Исходный код max :: Range -> Range -> Range Исходный код min :: Range -> Range -> Range Исходный код | |
| Ord Role Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Role -> Role -> Ordering Исходный код (<) :: Role -> Role -> Bool Исходный код (<=) :: Role -> Role -> Bool Исходный код (>) :: Role -> Role -> Bool Исходный код (>=) :: Role -> Role -> Bool Исходный код max :: Role -> Role -> Role Исходный код min :: Role -> Role -> Role Исходный код | |
| Ord RuleBndr Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: RuleBndr -> RuleBndr -> Ordering Исходный код (<) :: RuleBndr -> RuleBndr -> Bool Исходный код (<=) :: RuleBndr -> RuleBndr -> Bool Исходный код (>) :: RuleBndr -> RuleBndr -> Bool Исходный код (>=) :: RuleBndr -> RuleBndr -> Bool Исходный код max :: RuleBndr -> RuleBndr -> RuleBndr Исходный код min :: RuleBndr -> RuleBndr -> RuleBndr Исходный код | |
| Ord RuleMatch Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: RuleMatch -> RuleMatch -> Ordering Исходный код (<) :: RuleMatch -> RuleMatch -> Bool Исходный код (<=) :: RuleMatch -> RuleMatch -> Bool Исходный код (>) :: RuleMatch -> RuleMatch -> Bool Исходный код (>=) :: RuleMatch -> RuleMatch -> Bool Исходный код max :: RuleMatch -> RuleMatch -> RuleMatch Исходный код min :: RuleMatch -> RuleMatch -> RuleMatch Исходный код | |
| Ord Safety Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Safety -> Safety -> Ordering Исходный код (<) :: Safety -> Safety -> Bool Исходный код (<=) :: Safety -> Safety -> Bool Исходный код (>) :: Safety -> Safety -> Bool Исходный код (>=) :: Safety -> Safety -> Bool Исходный код max :: Safety -> Safety -> Safety Исходный код min :: Safety -> Safety -> Safety Исходный код | |
| Ord SourceStrictness Исходный код | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: SourceStrictness -> SourceStrictness -> Ordering Исходный код (<) :: SourceStrictness -> SourceStrictness -> Bool Исходный код (<=) :: SourceStrictness -> SourceStrictness -> Bool Исходный код (>) :: SourceStrictness -> SourceStrictness -> Bool Исходный код (>=) :: SourceStrictness -> SourceStrictness -> Bool Исходный код max :: SourceStrictness -> SourceStrictness -> SourceStrictness Исходный код min :: SourceStrictness -> SourceStrictness -> SourceStrictness Исходный код | |
| Ord SourceUnpackedness Исходный код | |
Определено в GHC.Internal.TH.Syntax | |
| Ord TyLit Источник | |
Определено в GHC.Internal.TH.Syntax | |
| Ord TySynEqn Источник | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Тип Источник | |
| Ord Заголовок типа-семейства Источник | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: TypeFamilyHead -> TypeFamilyHead -> Ordering Источник (<) :: TypeFamilyHead -> TypeFamilyHead -> Bool Источник (<=) :: TypeFamilyHead -> TypeFamilyHead -> Bool Источник (>) :: TypeFamilyHead -> TypeFamilyHead -> Bool Источник (>=) :: TypeFamilyHead -> TypeFamilyHead -> Bool Источник max :: TypeFamilyHead -> TypeFamilyHead -> TypeFamilyHead Источник min :: TypeFamilyHead -> TypeFamilyHead -> TypeFamilyHead Источник | |
| Ord SomeChar Источник | |
Определено в GHC.Internal.TypeLits | |
| Ord SomeSymbol Источник | С момента: base-4.7.0.0 |
| Ord Word32 Источник | С версии: base-2.1 |
| Ord Word64 Источник | С версии: base-2.1 |
| Ord Word8 Источник | С версии: base-2.1 |
Определено в GHC.Num.Integer | |
| Ord Natural | |
Определено в GHC.Num.Natural | |
| Ord () Source | |
| Ord Bool Source | |
Определено в GHC.Classes | |
| Ord Символ Источник | |
| Ord Double Источник |
Тип IEEE 754 IEEE 754-2008, раздел 5.11 требует, чтобы если по крайней мере один из аргументов IEEE 754-2008, раздел 5.10 определяет предикат Таким образом, пользователи должны быть крайне осторожны при использовании Далее, поведение IEEE 754-2008 совместимые |
| Ord Float Источник | См. |
Определено в Data.Semigroup | |
| Ord a => Ord (Last a) Source | С версии: base-4.9.0.0 |
| Ord a => Ord (Max a) Source | С версии: base-4.9.0.0 |
Определено в Data.Semigroup | |
| Ord a => Ord (Min a) Source | С версии: base-4.9.0.0 |
Определено в Data.Semigroup | |
| Ord m => Ord (WrappedMonoid m) Источник | С момента: base-4.9.0.0 |
Определено в Data.Semigroup Методыcompare :: WrappedMonoid m -> WrappedMonoid m -> Ordering Источник (<) :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник (<=) :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник (>) :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник (>=) :: WrappedMonoid m -> WrappedMonoid m -> Bool Источник max :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Источник min :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Источник | |
| Ord a => Ord (NonEmpty a) Источник | С момента: base-4.9.0.0 |
Определено в GHC.Internal.Base Методыcompare :: NonEmpty a -> NonEmpty a -> Ordering Источник (<) :: NonEmpty a -> NonEmpty a -> Bool Источник (<=) :: NonEmpty a -> NonEmpty a -> Bool Источник (>) :: NonEmpty a -> NonEmpty a -> Bool Источник (>=) :: NonEmpty a -> NonEmpty a -> Bool Источник | |
| Ord a => Ord (Identity a) Источник | С момента: base-4.8.0.0 |
Определено в GHC.Internal.Data.Functor.Identity Методыcompare :: Identity a -> Identity a -> Ordering Источник (<) :: Identity a -> Identity a -> Bool Источник (<=) :: Identity a -> Identity a -> Bool Источник (>) :: Identity a -> Identity a -> Bool Источник (>=) :: Identity a -> Identity a -> Bool Источник | |
| Ord a => Ord (First a) Источник | С момента: base-2.1 |
Определено в GHC.Internal.Data.Monoid | |
| Ord a => Ord (Last a) Источник | С момента: base-2.1 |
Определено в GHC.Internal.Data.Monoid | |
| Ord a => Ord (Down a) Источник | С момента: base-4.6.0.0 |
Определено в GHC.Internal.Data.Ord | |
| Ord a => Ord (Dual a) Source | С версии: base-2.1 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
| Ord a => Ord (Product a) Source | С версии: base-2.1 |
Определено в GHC.Internal.Data.Semigroup.Internal | |
| Ord a => Ord (Sum a) Source | С версии: base-2.1 |
Определено в GHC.Internal.TH.Syntax Методыcompare :: TyVarBndr flag -> TyVarBndr flag -> Ordering Источник (<) :: TyVarBndr flag -> TyVarBndr flag -> Bool Источник (<=) :: TyVarBndr flag -> TyVarBndr flag -> Bool Источник (>) :: TyVarBndr flag -> TyVarBndr flag -> Bool Источник (>=) :: TyVarBndr flag -> TyVarBndr flag -> Bool Источник max :: TyVarBndr flag -> TyVarBndr flag -> TyVarBndr flag Источник min :: TyVarBndr flag -> TyVarBndr flag -> TyVarBndr flag Источник | |
| Ord (SChar c) Источник | С момента: base-4.19.0.0 |
Определено в GHC.Internal.TypeLits | |
| Ord (SSymbol s) Источник | С момента: base-4.19.0.0 |
Определено в GHC.Internal.TypeLits Методыcompare :: SSymbol s -> SSymbol s -> Порядок Источник (<) :: SSymbol s -> SSymbol s -> Булево Источник (<=) :: SSymbol s -> SSymbol s -> Булево Источник (>) :: SSymbol s -> SSymbol s -> Булево Источник (>=) :: SSymbol s -> SSymbol s -> Булево Источник | |
| Ord (SNat n) Источник | С: base-4.19.0.0 |
Определено в GHC.Internal.TypeNats | |
| Ord a => Ord (Может быть a) Источник | С: base-2.1 |
Определено в GHC.Internal.Maybe Методыcompare :: Может быть a -> Может быть a -> Порядок Источник (<) :: Может быть a -> Может быть a -> Булево Источник (<=) :: Может быть a -> Может быть a -> Булево Источник (>) :: Может быть a -> Может быть a -> Булево Источник (>=) :: Может быть a -> Может быть a -> Булево Источник max :: Может быть a -> Может быть a -> Может быть a Источник min :: Может быть a -> Может быть a -> Может быть a Источник | |
| Ord a => Ord (Solo a) Источник | |
Определено в GHC.Classes Методыcompare :: Solo a -> Solo a -> Ordering Исходный код (<) :: Solo a -> Solo a -> Bool Исходный код (<=) :: Solo a -> Solo a -> Bool Исходный код (>) :: Solo a -> Solo a -> Bool Исходный код (>=) :: Solo a -> Solo a -> Bool Исходный код max :: Solo a -> Solo a -> Solo a Исходный код min :: Solo a -> Solo a -> Solo a Исходный код | |
| Ord a => Ord [a] Исходный код | |
Определено в GHC.Classes Методыcompare :: [a] -> [a] -> Ordering Исходный код (<) :: [a] -> [a] -> Bool Исходный код (<=) :: [a] -> [a] -> Bool Исходный код (>) :: [a] -> [a] -> Bool Исходный код (>=) :: [a] -> [a] -> Bool Исходный код max :: [a] -> [a] -> [a] Исходный код min :: [a] -> [a] -> [a] Исходный код | |
| Ord (Fixed a) Исходный код | С момента: base-2.1 |
Определено в Data.Fixed Методыcompare :: Fixed a -> Fixed a -> Ordering Исходный код (<) :: Fixed a -> Fixed a -> Bool Исходный код (<=) :: Fixed a -> Fixed a -> Bool Исходный код (>) :: Fixed a -> Fixed a -> Bool Исходный код (>=) :: Fixed a -> Fixed a -> Bool Исходный код max :: Fixed a -> Fixed a -> Fixed a Исходный код min :: Fixed a -> Fixed a -> Fixed a Исходный код | |
| Ord a => Ord (Arg a b) Исходный код |
Обратите внимание, что экземпляр С момента: base-4.9.0.0 |
Определено в Data.Semigroup | |
| (Ix i, Ord e) => Ord (Array i e) Источник | С момента: base-2.1 |
Определено в GHC.Internal.Arr Методыcompare :: Array i e -> Array i e -> Ordering Источник (<) :: Array i e -> Array i e -> Bool Источник (<=) :: Array i e -> Array i e -> Bool Источник (>) :: Array i e -> Array i e -> Bool Источник (>=) :: Array i e -> Array i e -> Bool Источник | |
| (Ord a, Ord b) => Ord (Either a b) Источник | С момента: base-2.1 |
Определено в GHC.Internal.Data.Either Методыcompare :: Either a b -> Either a b -> Ordering Источник (<) :: Either a b -> Either a b -> Bool Источник (<=) :: Either a b -> Either a b -> Bool Источник (>) :: Either a b -> Either a b -> Bool Источник (>=) :: Either a b -> Either a b -> Bool Источник | |
| Ord (Proxy s) Источник | С момента: base-4.7.0.0 |
Определено в Data.Functor.Product Методыcompare :: Product f g a -> Product f g a -> Ordering Источник (<) :: Product f g a -> Product f g a -> Bool Источник (<=) :: Product f g a -> Product f g a -> Bool Источник (>) :: Product f g a -> Product f g a -> Bool Источник (>=) :: Product f g a -> Product f g a -> Bool Источник max :: Product f g a -> Product f g a -> Product f g a Источник min :: Product f g a -> Product f g a -> Product f g a Источник | |
| (Ord (f a), Ord (g a)) => Ord (Sum f g a) Источник | С момента: base-4.18.0.0 |
Определено в Data.Functor.Sum Методыcompare :: Sum f g a -> Sum f g a -> Ordering Источник (<) :: Sum f g a -> Sum f g a -> Bool Источник (<=) :: Sum f g a -> Sum f g a -> Bool Источник (>) :: Sum f g a -> Sum f g a -> Bool Источник (>=) :: Sum f g a -> Sum f g a -> Bool Источник | |
| Ord (a :~~: b) Источник | С момента: base-4.10.0.0 |
Определено в GHC.Internal.Data.Type.Equality Методыcompare :: (a :~~: b) -> (a :~~: b) -> Ordering Источник (<) :: (a :~~: b) -> (a :~~: b) -> Bool Источник (<=) :: (a :~~: b) -> (a :~~: b) -> Bool Источник (>) :: (a :~~: b) -> (a :~~: b) -> Bool Источник (>=) :: (a :~~: b) -> (a :~~: b) -> Bool Источник | |
| (Ord (f p), Ord (g p)) => Ord ((f :*: g) p) Источник | С момента: base-4.7.0.0 |
Определено в GHC.Internal.Generics Методыcompare :: (f :*: g) p -> (f :*: g) p -> Ordering Исходный код (<) :: (f :*: g) p -> (f :*: g) p -> Bool Исходный код (<=) :: (f :*: g) p -> (f :*: g) p -> Bool Исходный код (>) :: (f :*: g) p -> (f :*: g) p -> Bool Исходный код (>=) :: (f :*: g) p -> (f :*: g) p -> Bool Исходный код max :: (f :*: g) p -> (f :*: g) p -> (f :*: g) p Исходный код min :: (f :*: g) p -> (f :*: g) p -> (f :*: g) p Исходный код | |
| (Ord (f p), Ord (g p)) => Ord ((f :+: g) p) Исходный код | С версии: base-4.7.0.0 |
Определено в GHC.Internal.Generics Методыcompare :: (f :+: g) p -> (f :+: g) p -> Ordering Исходный код (<) :: (f :+: g) p -> (f :+: g) p -> Bool Исходный код (<=) :: (f :+: g) p -> (f :+: g) p -> Bool Исходный код (>) :: (f :+: g) p -> (f :+: g) p -> Bool Исходный код (>=) :: (f :+: g) p -> (f :+: g) p -> Bool Исходный код max :: (f :+: g) p -> (f :+: g) p -> (f :+: g) p Исходный код min :: (f :+: g) p -> (f :+: g) p -> (f :+: g) p Исходный код | |
| Ord c => Ord (K1 i c p) Исходный код | С версии: base-4.7.0.0 |
Определено в GHC.Internal.Generics Методыcompare :: K1 i c p -> K1 i c p -> Ordering Исходный код (<) :: K1 i c p -> K1 i c p -> Bool Исходный код (<=) :: K1 i c p -> K1 i c p -> Bool Исходный код (>) :: K1 i c p -> K1 i c p -> Bool Исходный код (>=) :: K1 i c p -> K1 i c p -> Bool Исходный код max :: K1 i c p -> K1 i c p -> K1 i c p Исходный код min :: K1 i c p -> K1 i c p -> K1 i c p Исходный код | |
| (Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d) Исходный код | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d) -> (a, b, c, d) -> Порядок Исходный код (<) :: (a, b, c, d) -> (a, b, c, d) -> Булево Исходный код (<=) :: (a, b, c, d) -> (a, b, c, d) -> Булево Исходный код (>) :: (a, b, c, d) -> (a, b, c, d) -> Булево Исходный код (>=) :: (a, b, c, d) -> (a, b, c, d) -> Булево Исходный код max :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Исходный код min :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Исходный код | |
| Ord (f (g a)) => Ord (Compose f g a) Исходный код | С момента: base-4.18.0.0 |
Определено в Data.Functor.Compose Методыcompare :: Compose f g a -> Compose f g a -> Порядок Исходный код (<) :: Compose f g a -> Compose f g a -> Булево Исходный код (<=) :: Compose f g a -> Compose f g a -> Булево Исходный код (>) :: Compose f g a -> Compose f g a -> Булево Исходный код (>=) :: Compose f g a -> Compose f g a -> Булево Исходный код max :: Compose f g a -> Compose f g a -> Compose f g a Исходный код min :: Compose f g a -> Compose f g a -> Compose f g a Исходный код | |
| Ord (f (g p)) => Ord ((f :.: g) p) Исходный код | С момента: base-4.7.0.0 |
Определено в GHC.Internal.Generics Методыcompare :: (f :.: g) p -> (f :.: g) p -> Порядок Исходный код (<) :: (f :.: g) p -> (f :.: g) p -> Булево Исходный код (<=) :: (f :.: g) p -> (f :.: g) p -> Булево Исходный код (>) :: (f :.: g) p -> (f :.: g) p -> Булево Исходный код (>=) :: (f :.: g) p -> (f :.: g) p -> Булево Исходный код max :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Исходный код min :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Исходный код | |
| Ord (f p) => Ord (M1 i c f p) Исходный код | С момента: base-4.7.0.0 |
Определено в GHC.Internal.Generics Методыcompare :: M1 i c f p -> M1 i c f p -> Ordering Исходный код (<) :: M1 i c f p -> M1 i c f p -> Bool Исходный код (<=) :: M1 i c f p -> M1 i c f p -> Bool Исходный код (>) :: M1 i c f p -> M1 i c f p -> Bool Исходный код (>=) :: M1 i c f p -> M1 i c f p -> Bool Исходный код max :: M1 i c f p -> M1 i c f p -> M1 i c f p Исходный код min :: M1 i c f p -> M1 i c f p -> M1 i c f p Исходный код | |
| (Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (a, b, c, d, e) Исходный код | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d, e) -> (a, b, c, d, e) -> Ordering Исходный код (<) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Исходный код (<=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Исходный код (>) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Исходный код (>=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Исходный код max :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) Исходный код min :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) Исходный код | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (a, b, c, d, e, f) Исходный код | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Ordering Исходный код (<) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Исходный код (<=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Исходный код (>) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Исходный код (>=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Исходный код max :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> (a, b, c, d, e, f) Исходный код min :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> (a, b, c, d, e, f) Исходный код | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (a, b, c, d, e, f, g) Исходный код | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Ordering Источник (<) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Источник (<=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Источник (>) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Источник (>=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Источник max :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) Источник min :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) Источник | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h) => Ord (a, b, c, d, e, f, g, h) Источник | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Ordering Источник (<) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Источник (<=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Источник (>) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Источник (>=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Источник max :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) Источник min :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) Источник | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i) => Ord (a, b, c, d, e, f, g, h, i) Источник | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Ordering Источник (<) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Источник (<=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Источник (>) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Источник (>=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Источник max :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) Источник min :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) Источник | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j) => Ord (a, b, c, d, e, f, g, h, i, j) Источник | |
Определено в GHC.Classes Краткое описание методовcompare :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Ordering Source (<) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool Source (<=) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool Source (>) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool Source (>=) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool Source max :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) Source min :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) Source | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k) => Ord (a, b, c, d, e, f, g, h, i, j, k) Source | |
Определено в GHC.Classes Краткое описание методовcompare :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Ordering Source (<) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool Source (<=) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool Source (>) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool Source (>=) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool Source max :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) Source min :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) Source | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l) => Ord (a, b, c, d, e, f, g, h, i, j, k, l) Source | |
Определено в GHC.Classes Краткое описание методовcompare :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Ordering Source (<) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool Source (<=) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool Source (>) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool Source (>=) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool Source max :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) Source min :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) Source | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m) Source | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Ordering Исходный код (<) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool Исходный код (<=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool Исходный код (>) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool Исходный код (>=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool Исходный код max :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) Исходный код min :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) Исходный код | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Исходный код | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Ordering Исходный код (<) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool Исходный код (<=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool Исходный код (>) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool Исходный код (>=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool Исходный код max :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Исходный код min :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Исходный код | |
| (Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Исходный код | |
Определено в GHC.Classes Методыcompare :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Ordering Исходный код (<) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool Исходный код (<=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool Исходный код (>) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool Исходный код (>=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool Исходный код max :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Исходный код min :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Исходный код | |
data Ordering Исходный код
Экземпляры
| Monoid Ordering Источник | С версии: base-2.1 |
| Semigroup Ordering Источник | С версии: base-4.9.0.0 |
| Data Ordering Источник | С версии: base-4.0.0.0 |
Определено в GHC.Internal.Data.Data Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ordering -> c Ordering Источник gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ordering Источник toConstr :: Ordering -> Constr Источник dataTypeOf :: Ordering -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ordering) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ordering) Источник gmapT :: (forall b. Data b => b -> b) -> Ordering -> Ordering Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ordering -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ordering -> r Источник gmapQ :: (forall d. Data d => d -> u) -> Ordering -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> Ordering -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ordering -> m Ordering Источник | |
| Bounded Ordering Источник | С версии: base-2.1 |
| Перечисление Порядок Источник | С момента: base-2.1 |
Определено в GHC.Internal.Enum Методыsucc :: Порядок -> Порядок Источник pred :: Порядок -> Порядок Источник toEnum :: Целое -> Порядок Источник fromEnum :: Порядок -> Целое Источник enumFrom :: Порядок -> [Порядок] Источник enumFromThen :: Порядок -> Порядок -> [Порядок] Источник enumFromTo :: Порядок -> Порядок -> [Порядок] Источник enumFromThenTo :: Порядок -> Порядок -> Порядок -> [Порядок] Источник | |
| Обобщённый Порядок Источник | |
Определено в GHC.Internal.Generics | |
| Индекс Порядок Источник | С момента: base-2.1 |
Определено в GHC.Internal.Ix Методыrange :: (Порядок, Порядок) -> [Порядок] Источник index :: (Порядок, Порядок) -> Порядок -> Целое Источник unsafeIndex :: (Порядок, Порядок) -> Порядок -> Целое Источник inRange :: (Порядок, Порядок) -> Порядок -> Булево Источник rangeSize :: (Порядок, Порядок) -> Целое Источник unsafeRangeSize :: (Порядок, Порядок) -> Целое Источник | |
| Read Ordering Source | Since: base-2.1 |
| Show Ordering Source | Since: base-2.1 |
| Eq Ordering Source | |
| Ord Ordering Source | |
Определено в GHC.Classes | |
| type Rep Ordering Source | Since: base-4.6.0.0 |
Тип Down позволяет удобно изменять порядок сортировки. Значение типа Down a содержит значение типа a (представленное как Down a).
Если a имеет связанный с ним экземпляр Ord, то сравнение двух обернутых таким образом значений даст обратный порядок их обычной сортировки. Это особенно полезно при сортировке в обобщенных списочных выражениях, как в: then sortWith by Down x.
>>> compare True False GT
>>> compare (Down True) (Down False) LT
Если у a есть экземпляр Bounded, то обернутый экземпляр также соблюдает обратный порядок, меняя местами значения minBound и maxBound.
>>> minBound :: Int -9223372036854775808
>>> minBound :: Down Int Down 9223372036854775807
Все остальные экземпляры Down a ведут себя так же, как и для a.
С момента: base-4.6.0.0
Примеры
| Applicative Down Source | Since: base-4.11.0.0 |
| Functor Down Source | Since: base-4.11.0.0 |
| Monad Down Source | Since: base-4.11.0.0 |
| MonadFix Down Source | Since: base-4.12.0.0 |
Определено в GHC.Internal.Control.Monad.Fix | |
| MonadZip Down Source | Since: ghc-internal-4.12.0.0 |
| Foldable Down Source | Since: base-4.12.0.0 |
Определено в GHC.Internal.Data.Ord Методы(.&.) :: Down a -> Down a -> Down a Источник (.|.) :: Down a -> Down a -> Down a Источник xor :: Down a -> Down a -> Down a Источник complement :: Down a -> Down a Источник shift :: Down a -> Int -> Down a Источник rotate :: Down a -> Int -> Down a Источник setBit :: Down a -> Int -> Down a Источник clearBit :: Down a -> Int -> Down a Источник complementBit :: Down a -> Int -> Down a Источник testBit :: Down a -> Int -> Bool Источник bitSizeMaybe :: Down a -> Maybe Int Источник bitSize :: Down a -> Int Источник isSigned :: Down a -> Bool Источник shiftL :: Down a -> Int -> Down a Источник unsafeShiftL :: Down a -> Int -> Down a Источник shiftR :: Down a -> Int -> Down a Источник unsafeShiftR :: Down a -> Int -> Down a Источник rotateL :: Down a -> Int -> Down a Источник | |
| FiniteBits a => FiniteBits (Down a) Источник | С версии: base-4.14.0.0 |
Определено в GHC.Internal.Data.Ord МетодыfiniteBitSize :: Down a -> Int Источник countLeadingZeros :: Down a -> Int Источник countTrailingZeros :: Down a -> Int Источник | |
| Data a => Data (Down a) Источник | С версии: base-4.12.0.0 |
Определено в GHC.Internal.Data.Data Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Down a -> c (Down a) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Down a) Исходный код toConstr :: Down a -> Constr Исходный код dataTypeOf :: Down a -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Down a)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Down a)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Down a -> Down a Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Down a -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Down a -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Down a -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Down a -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Down a -> m (Down a) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Down a -> m (Down a) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Down a -> m (Down a) Исходный код | |
| Bounded a => Bounded (Down a) Исходный код |
Меняет местами С версии: base-4.14.0.0 |
Определено в GHC.Internal.Data.Ord | |
| (Enum a, Bounded a, Eq a) => Enum (Down a) Исходный код |
Меняет местами С версии: base-4.18.0.0 |
Определено в GHC.Internal.Data.Ord Методыsucc :: Down a -> Down a Source pred :: Down a -> Down a Source toEnum :: Int -> Down a Source fromEnum :: Down a -> Int Source enumFrom :: Down a -> [Down a] Source enumFromThen :: Down a -> Down a -> [Down a] Source enumFromTo :: Down a -> Down a -> [Down a] Source enumFromThenTo :: Down a -> Down a -> Down a -> [Down a] Source | |
| Floating a => Floating (Down a) Source | Since: base-4.14.0.0 |
Определено в GHC.Internal.Data.Ord Методыexp :: Down a -> Down a Source log :: Down a -> Down a Source sqrt :: Down a -> Down a Source (**) :: Down a -> Down a -> Down a Source logBase :: Down a -> Down a -> Down a Source sin :: Down a -> Down a Source cos :: Down a -> Down a Source tan :: Down a -> Down a Source asin :: Down a -> Down a Source acos :: Down a -> Down a Source atan :: Down a -> Down a Source sinh :: Down a -> Down a Source cosh :: Down a -> Down a Source tanh :: Down a -> Down a Source asinh :: Down a -> Down a Source acosh :: Down a -> Down a Source atanh :: Down a -> Down a Source log1p :: Down a -> Down a Source expm1 :: Down a -> Down a Source | |
| RealFloat a => RealFloat (Down a) Source | Since: base-4.14.0.0 |
Определено в GHC.Internal.Data.Ord МетодыfloatRadix :: Down a -> Целое Исходный код floatDigits :: Down a -> Целое Исходный код floatRange :: Down a -> (Целое, Целое) Исходный код decodeFloat :: Down a -> (Целое, Целое) Исходный код encodeFloat :: Целое -> Целое -> Down a Исходный код exponent :: Down a -> Целое Исходный код significand :: Down a -> Down a Исходный код scaleFloat :: Целое -> Down a -> Down a Исходный код isNaN :: Down a -> Булево Исходный код isInfinite :: Down a -> Булево Исходный код isDenormalized :: Down a -> Булево Исходный код isNegativeZero :: Down a -> Булево Исходный код isIEEE :: Down a -> Булево Исходный код atan2 :: Down a -> Down a -> Down a Исходный код | |
| Storable a => Storable (Down a) Исходный код | С: base-4.14.0.0 |
Определено в GHC.Internal.Data.Ord МетодыsizeOf :: Down a -> Целое Исходный код alignment :: Down a -> Целое Исходный код peekElemOff :: Указатель (Down a) -> Целое -> IO (Down a) Исходный код pokeElemOff :: Указатель (Down a) -> Целое -> Down a -> IO () Исходный код peekByteOff :: Указатель b -> Целое -> IO (Down a) Исходный код pokeByteOff :: Указатель b -> Целое -> Down a -> IO () Исходный код | |
| Generic (Down a) Исходный код | |
Определено в GHC.Internal.Generics Связанные типы
| |||||
| Ix a => Ix (Down a) Исходный код | С момента: base-4.14.0.0 |
||||
Определено в GHC.Internal.Data.Ord Методыrange :: (Down a, Down a) -> [Down a] Исходный код index :: (Down a, Down a) -> Down a -> Int Исходный код unsafeIndex :: (Down a, Down a) -> Down a -> Int Исходный код inRange :: (Down a, Down a) -> Down a -> Bool Исходный код rangeSize :: (Down a, Down a) -> Int Исходный код unsafeRangeSize :: (Down a, Down a) -> Int Исходный код | |||||
| Num a => Num (Down a) Исходный код | С момента: base-4.11.0.0 |
||||
Определено в GHC.Internal.Data.Ord Методы(+) :: Down a -> Down a -> Down a Исходный код (-) :: Down a -> Down a -> Down a Исходный код (*) :: Down a -> Down a -> Down a Исходный код negate :: Down a -> Down a Исходный код abs :: Down a -> Down a Исходный код signum :: Down a -> Down a Исходный код fromInteger :: Integer -> Down a Исходный код | |||||
| Read a => Read (Down a) Исходный код |
Этот экземпляр был бы эквивалентен производным экземплярам С момента: base-4.7.0.0 |
||||
Определено в GHC.Internal.Data.Ord МетодыreadsPrec :: Int -> ReadS (Down a) Исходный код readList :: ReadS [Down a] Исходный код readPrec :: ReadPrec (Down a) Исходный код readListPrec :: ReadPrec [Down a] Исходный код | |||||
| Fractional a => Fractional (Down a) Источник | С момента: base-4.14.0.0 |
| Real a => Real (Down a) Источник | С момента: base-4.14.0.0 |
Определено в GHC.Internal.Data.Ord МетодыtoRational :: Down a -> Rational Источник | |
| RealFrac a => RealFrac (Down a) Источник | С момента: base-4.14.0.0 |
| Show a => Show (Down a) Источник |
Этот экземпляр был бы эквивалентен производным экземплярам типа С момента: base-4.7.0.0 |
| Eq a => Eq (Down a) Источник | С момента: base-4.6.0.0 |
| Ord a => Ord (Down a) Источник | С момента: base-4.6.0.0 |
Определено в GHC.Internal.Data.Ord Методыcompare :: Down a -> Down a -> Ordering Исходный код (<) :: Down a -> Down a -> Bool Исходный код (<=) :: Down a -> Down a -> Bool Исходный код (>) :: Down a -> Down a -> Bool Исходный код (>=) :: Down a -> Down a -> Bool Исходный код max :: Down a -> Down a -> Down a Исходный код min :: Down a -> Down a -> Down a Исходный код | |
| type Rep1 Down Исходный код | С момента: base-4.12.0.0 |
Определено в GHC.Internal.Generics | |
| type Rep (Down a) Исходный код | С момента: base-4.12.0.0 |
Определено в GHC.Internal.Generics | |
comparing :: Ord a => (b -> a) -> b -> b -> Ordering Исходный код
comparing p x y = compare (p x) (p y)
Полезный комбинатор для использования совместно с семейством функций xxxBy из Data.List, например:
... sortBy (comparing fst) ...
clamp :: Ord a => (a, a) -> a -> a Исходный код
clamp (low, high) a = min high (max a low)
Функция, гарантирующая, что значение a находится в пределах включительно заданных границ low и high. Если это так, a возвращается без изменений. В противном случае результат — low если a <= low, или high если high <= a.
При использовании clamp с Double и Float она имеет семантику распространения NaN в её втором аргументе. То есть, clamp (l,h) NaN = NaN, но clamp (NaN, NaN)
x = x.
>>> clamp (0, 10) 2 2
>>> clamp ('a', 'm') 'x'
'm'
С момента: base-4.16.0.0
© 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-Ord.html