Data.Ord (original) (raw)

Ord ByteArray Source #

Non-lexicographic ordering. This compares the lengths of the byte arrays first and uses a lexicographic ordering if the lengths are equal. Subject to change between major versions.

Since: base-4.17.0.0

Instance details

Defined in Data.Array.Byte

Ord BigNat #

Instance details

Defined in GHC.Num.BigNat

Ord Void Source #

Since: base-4.8.0.0

Instance details

Defined in GHC.Internal.Base

Ord ByteOrder Source #

Since: base-4.11.0.0

Instance details

Defined in GHC.Internal.ByteOrder

Ord ClosureType Source #

Instance details

Defined in GHC.Internal.ClosureTypes

Ord BlockReason Source #

Since: base-4.3.0.0

Instance details

Defined in GHC.Internal.Conc.Sync

Ord ThreadId Source #

Since: base-4.2.0.0

Instance details

Defined in GHC.Internal.Conc.Sync

Ord ThreadStatus Source #

Since: base-4.3.0.0

Instance details

Defined in GHC.Internal.Conc.Sync

Ord All Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Semigroup.Internal

Ord Any Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Semigroup.Internal

Ord SomeTypeRep Source #

Instance details

Defined in GHC.Internal.Data.Typeable.Internal

Ord Unique Source #

Instance details

Defined in GHC.Internal.Data.Unique

Ord Version Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Version

Ord TimeoutKey Source #

Instance details

Defined in GHC.Internal.Event.TimeOut

Ord Unique Source #

Since: base-4.4.0.0

Instance details

Defined in GHC.Internal.Event.Unique

Ord ErrorCall Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Exception

Ord ArithException Source #

Since: base-3.0

Instance details

Defined in GHC.Internal.Exception.Type

Ord Fingerprint Source #

Since: base-4.4.0.0

Instance details

Defined in GHC.Internal.Fingerprint.Type

Ord CBool Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CChar Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CClock Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CDouble Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CFloat Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CInt Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CIntMax Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CIntPtr Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CLLong Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CLong Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CPtrdiff Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CSChar Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CSUSeconds Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CShort Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CSigAtomic Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CSize Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CTime Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CUChar Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CUInt Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CUIntMax Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CUIntPtr Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CULLong Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CULong Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CUSeconds Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CUShort Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord CWchar Source #

Instance details

Defined in GHC.Internal.Foreign.C.Types

Ord IntPtr Source #

Instance details

Defined in GHC.Internal.Foreign.Ptr

Ord WordPtr Source #

Instance details

Defined in GHC.Internal.Foreign.Ptr

Ord Associativity Source #

Since: base-4.6.0.0

Instance details

Defined in GHC.Internal.Generics

Ord DecidedStrictness Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Ord Fixity Source #

Since: base-4.6.0.0

Instance details

Defined in GHC.Internal.Generics

Ord SourceStrictness Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Ord SourceUnpackedness Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Ord SeekMode Source #

Since: base-4.2.0.0

Instance details

Defined in GHC.Internal.IO.Device

Ord ArrayException Source #

Since: base-4.2.0.0

Instance details

Defined in GHC.Internal.IO.Exception

Ord AsyncException Source #

Since: base-4.2.0.0

Instance details

Defined in GHC.Internal.IO.Exception

Ord ExitCode Source #

Instance details

Defined in GHC.Internal.IO.Exception

Ord BufferMode Source #

Since: base-4.2.0.0

Instance details

Defined in GHC.Internal.IO.Handle.Types

Ord Newline Source #

Since: base-4.3.0.0

Instance details

Defined in GHC.Internal.IO.Handle.Types

Ord NewlineMode Source #

Since: base-4.3.0.0

Instance details

Defined in GHC.Internal.IO.Handle.Types

Ord IOMode Source #

Since: base-4.2.0.0

Instance details

Defined in GHC.Internal.IO.IOMode

Ord Int16 Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Int

Ord Int32 Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Int

Ord Int64 Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Int

Ord Int8 Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Int

Ord Extension Source #

Instance details

Defined in GHC.Internal.LanguageExtensions

Ord CBlkCnt Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CBlkSize Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CCc Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CClockId Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CDev Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CFsBlkCnt Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CFsFilCnt Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CGid Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CId Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CIno Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CKey Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CMode Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CNfds Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CNlink Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord COff Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CPid Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CRLim Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CSocklen Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CSpeed Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CSsize Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CTcflag Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CTimer Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord CUid Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord Fd Source #

Instance details

Defined in GHC.Internal.System.Posix.Types

Ord AnnLookup Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord AnnTarget Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Bang Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord BndrVis Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Body Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Bytes Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Callconv Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Clause Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Con Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Dec Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord DecidedStrictness Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord DerivClause Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord DerivStrategy Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord DocLoc Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Exp Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord FamilyResultSig Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Fixity Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord FixityDirection Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Foreign Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord FunDep Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Guard Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Info Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord InjectivityAnn Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Inline Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Lit Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Loc Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Match Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord ModName Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Module Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord ModuleInfo Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Name Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord NameFlavour Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord NameSpace Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord NamespaceSpecifier Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord OccName Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Overlap Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Pat Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord PatSynArgs Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord PatSynDir Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Phases Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord PkgName Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Pragma Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Range Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Role Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord RuleBndr Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord RuleMatch Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Safety Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord SourceStrictness Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord SourceUnpackedness Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Specificity Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Stmt Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord TyLit Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord TySynEqn Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord Type Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord TypeFamilyHead Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord SomeChar Source #

Instance details

Defined in GHC.Internal.TypeLits

Ord SomeSymbol Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.TypeLits

Ord SomeNat Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.TypeNats

Ord GeneralCategory Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Unicode

Ord Word16 Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Word

Ord Word32 Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Word

Ord Word64 Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Word

Ord Word8 Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Word

Ord Ordering Source #

Instance details

Defined in GHC.Classes

Ord TyCon Source #

Instance details

Defined in GHC.Classes

Ord Integer #

Instance details

Defined in GHC.Num.Integer

Ord Natural #

Instance details

Defined in GHC.Num.Natural

Ord () Source #

Instance details

Defined in GHC.Classes

Ord Bool Source #

Instance details

Defined in GHC.Classes

Ord Char Source #

Instance details

Defined in GHC.Classes

Ord Double Source #

IEEE 754 [Double](GHC-Exts.html#t:Double "GHC.Exts")-precision type includes not only numbers, but also positive and negative infinities and a special element called NaN (which can be quiet or signal).

IEEE 754-2008, section 5.11 requires that if at least one of arguments of[<=](Data-Ord.html#v:-60--61- "Data.Ord"), [<](Data-Ord.html#v:-60- "Data.Ord"), [>](Data-Ord.html#v:-62- "Data.Ord"), [>=](Data-Ord.html#v:-62--61- "Data.Ord") is NaN then the result of the comparison is [False](Data-Bool.html#v:False "Data.Bool"), and instance [Ord](Data-Ord.html#t:Ord "Data.Ord") [Double](GHC-Exts.html#t:Double "GHC.Exts") complies with this requirement. This violates the reflexivity: both NaN [<=](Data-Ord.html#v:-60--61- "Data.Ord") NaN and NaN [>=](Data-Ord.html#v:-62--61- "Data.Ord") NaN are [False](Data-Bool.html#v:False "Data.Bool").

IEEE 754-2008, section 5.10 defines totalOrder predicate. Unfortunately,[compare](Data-Ord.html#v:compare "Data.Ord") on [Double](GHC-Exts.html#t:Double "GHC.Exts")s violates the IEEE standard and does not define a total order. More specifically, both [compare](Data-Ord.html#v:compare "Data.Ord") NaN x and [compare](Data-Ord.html#v:compare "Data.Ord") x NaN always return [GT](Data-Ord.html#v:GT "Data.Ord").

Thus, users must be extremely cautious when using instance [Ord](Data-Ord.html#t:Ord "Data.Ord") [Double](GHC-Exts.html#t:Double "GHC.Exts"). For instance, one should avoid ordered containers with keys represented by [Double](GHC-Exts.html#t:Double "GHC.Exts"), because data loss and corruption may happen. An IEEE-compliant [compare](Data-Ord.html#v:compare "Data.Ord") is available in fp-ieee package as TotallyOrdered newtype.

Moving further, the behaviour of [min](Data-Ord.html#v:min "Data.Ord") and [max](Data-Ord.html#v:max "Data.Ord") with regards to NaN is also non-compliant. IEEE 754-2008, section 5.3.1 defines that quiet NaN should be treated as a missing data by minNum and maxNum functions, for example, minNum(NaN, 1) = minNum(1, NaN) = 1. Some languages such as Java deviate from the standard implementing minNum(NaN, 1) = minNum(1, NaN) = NaN. However, [min](Data-Ord.html#v:min "Data.Ord") / [max](Data-Ord.html#v:max "Data.Ord") in base are even worse: [min](Data-Ord.html#v:min "Data.Ord") NaN 1 is 1, but [min](Data-Ord.html#v:min "Data.Ord") 1 NaN is NaN.

IEEE 754-2008 compliant [min](Data-Ord.html#v:min "Data.Ord") / [max](Data-Ord.html#v:max "Data.Ord") can be found in ieee754 package underminNum / maxNum names. Implementations compliant withminimumNumber / maximumNumber from a newerIEEE 754-2019, section 9.6 are available from fp-ieee package.

Instance details

Defined in GHC.Classes

Ord Float Source #

See instance [Ord](Data-Ord.html#t:Ord "Data.Ord") [Double](GHC-Exts.html#t:Double "GHC.Exts") for discussion of deviations from IEEE 754 standard.

Instance details

Defined in GHC.Classes

Ord Int Source #

Instance details

Defined in GHC.Classes

Ord Word Source #

Instance details

Defined in GHC.Classes

Ord a => Ord (First a) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Ord a => Ord (Last a) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Ord a => Ord (Max a) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Ord a => Ord (Min a) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Ord m => Ord (WrappedMonoid m) Source #

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Ord a => Ord (NonEmpty a) Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Base

Ord a => Ord (Identity a) Source #

Since: base-4.8.0.0

Instance details

Defined in GHC.Internal.Data.Functor.Identity

Ord a => Ord (First a) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Monoid

Ord a => Ord (Last a) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Monoid

Ord a => Ord (Down a) Source #

Since: base-4.6.0.0

Instance details

Defined in GHC.Internal.Data.Ord

Ord a => Ord (Dual a) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Semigroup.Internal

Ord a => Ord (Product a) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Semigroup.Internal

Ord a => Ord (Sum a) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Semigroup.Internal

Ord (ConstPtr a) Source #

Instance details

Defined in GHC.Internal.Foreign.C.ConstPtr

Ord (ForeignPtr a) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.ForeignPtr

Ord a => Ord (ZipList a) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Functor.ZipList

Ord p => Ord (Par1 p) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (FunPtr a) Source #

Instance details

Defined in GHC.Internal.Ptr

Ord (Ptr a) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Ptr

Integral a => Ord (Ratio a) Source #

Since: base-2.0.1

Instance details

Defined in GHC.Internal.Real

Ord flag => Ord (TyVarBndr flag) Source #

Instance details

Defined in GHC.Internal.TH.Syntax

Ord (SChar c) Source #

Since: base-4.19.0.0

Instance details

Defined in GHC.Internal.TypeLits

Ord (SSymbol s) Source #

Since: base-4.19.0.0

Instance details

Defined in GHC.Internal.TypeLits

Ord (SNat n) Source #

Since: base-4.19.0.0

Instance details

Defined in GHC.Internal.TypeNats

Ord a => Ord (Maybe a) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Maybe

Ord a => Ord (Solo a) Source #

Instance details

Defined in GHC.Classes

Ord a => Ord [a] Source #

Instance details

Defined in GHC.Classes

Ord (Fixed a) Source #

Since: base-2.1

Instance details

Defined in Data.Fixed

Ord a => Ord (Arg a b) Source #

Note that [Arg](Data-Semigroup.html#t:Arg "Data.Semigroup")'s [Ord](Data-Ord.html#t:Ord "Data.Ord") instance has [min](Data-Ord.html#v:min "Data.Ord") and [max](Data-Ord.html#v:max "Data.Ord") implementations that differ from the tie-breaking conventions of the default implementation of[min](Data-Ord.html#v:min "Data.Ord") and [max](Data-Ord.html#v:max "Data.Ord") in class [Ord](Data-Ord.html#t:Ord "Data.Ord"); [Arg](Data-Semigroup.html#t:Arg "Data.Semigroup") breaks ties by favoring the first argument in both functions.

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

(Ix i, Ord e) => Ord (Array i e) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Arr

(Ord a, Ord b) => Ord (Either a b) Source #

Since: base-2.1

Instance details

Defined in GHC.Internal.Data.Either

Ord (Proxy s) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Proxy

Ord (TypeRep a) Source #

Since: base-4.4.0.0

Instance details

Defined in GHC.Internal.Data.Typeable.Internal

Ord (U1 p) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (V1 p) Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

(Ord a, Ord b) => Ord (a, b) Source #

Instance details

Defined in GHC.Classes

Methods

compare :: (a, b) -> (a, b) -> Ordering Source #

(<) :: (a, b) -> (a, b) -> Bool Source #

(<=) :: (a, b) -> (a, b) -> Bool Source #

(>) :: (a, b) -> (a, b) -> Bool Source #

(>=) :: (a, b) -> (a, b) -> Bool Source #

max :: (a, b) -> (a, b) -> (a, b) Source #

min :: (a, b) -> (a, b) -> (a, b) Source #

Ord a => Ord (Const a b) Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Functor.Const

Ord (f a) => Ord (Ap f a) Source #

Since: base-4.12.0.0

Instance details

Defined in GHC.Internal.Data.Monoid

Ord (f a) => Ord (Alt f a) Source #

Since: base-4.8.0.0

Instance details

Defined in GHC.Internal.Data.Semigroup.Internal

Ord (Coercion a b) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Type.Coercion

Ord (a :~: b) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Data.Type.Equality

(Generic1 f, Ord (Rep1 f a)) => Ord (Generically1 f a) Source #

Since: base-4.18.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (f p) => Ord (Rec1 f p) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (URec (Ptr ()) p) Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (URec Char p) Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (URec Double p) Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (URec Float p) Source #

Instance details

Defined in GHC.Internal.Generics

Ord (URec Int p) Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (URec Word p) Source #

Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

(Ord a, Ord b, Ord c) => Ord (a, b, c) Source #

Instance details

Defined in GHC.Classes

Methods

compare :: (a, b, c) -> (a, b, c) -> Ordering Source #

(<) :: (a, b, c) -> (a, b, c) -> Bool Source #

(<=) :: (a, b, c) -> (a, b, c) -> Bool Source #

(>) :: (a, b, c) -> (a, b, c) -> Bool Source #

(>=) :: (a, b, c) -> (a, b, c) -> Bool Source #

max :: (a, b, c) -> (a, b, c) -> (a, b, c) Source #

min :: (a, b, c) -> (a, b, c) -> (a, b, c) Source #

(Ord (f a), Ord (g a)) => Ord (Product f g a) Source #

Since: base-4.18.0.0

Instance details

Defined in Data.Functor.Product

(Ord (f a), Ord (g a)) => Ord (Sum f g a) Source #

Since: base-4.18.0.0

Instance details

Defined in Data.Functor.Sum

Ord (a :~~: b) Source #

Since: base-4.10.0.0

Instance details

Defined in GHC.Internal.Data.Type.Equality

(Ord (f p), Ord (g p)) => Ord ((f :*: g) p) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Generics

(Ord (f p), Ord (g p)) => Ord ((f :+: g) p) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Generics

Ord c => Ord (K1 i c p) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Generics

(Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d) Source #

Instance details

Defined in GHC.Classes

Methods

compare :: (a, b, c, d) -> (a, b, c, d) -> Ordering Source #

(<) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(<=) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(>) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(>=) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

max :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #

min :: (a, b, c, d) -> (a, b, c, d) -> (a, b, c, d) Source #

Ord (f (g a)) => Ord (Compose f g a) Source #

Since: base-4.18.0.0

Instance details

Defined in Data.Functor.Compose

Ord (f (g p)) => Ord ((f :.: g) p) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Generics

Ord (f p) => Ord (M1 i c f p) Source #

Since: base-4.7.0.0

Instance details

Defined in GHC.Internal.Generics

(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (a, b, c, d, e) Source #

Instance details

Defined in GHC.Classes

Methods

compare :: (a, b, c, d, e) -> (a, b, c, d, e) -> Ordering Source #

(<) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

(<=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

(>) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

(>=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

max :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) Source #

min :: (a, b, c, d, e) -> (a, b, c, d, e) -> (a, b, c, d, e) Source #

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (a, b, c, d, e, f) Source #

Instance details

Defined in GHC.Classes

Methods

compare :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Ordering Source #

(<) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Source #

(<=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Source #

(>) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Source #

(>=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Source #

max :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> (a, b, c, d, e, f) Source #

min :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> (a, b, c, d, e, f) Source #

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (a, b, c, d, e, f, g) Source #

Instance details

Defined in GHC.Classes

Methods

compare :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Ordering Source #

(<) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Source #

(<=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Source #

(>) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Source #

(>=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Source #

max :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) Source #

min :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) Source #

(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) Source #

Instance details

Defined in GHC.Classes

Methods

compare :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Ordering Source #

(<) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Source #

(<=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Source #

(>) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Source #

(>=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Source #

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) Source #

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) Source #

(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) Source #

Instance details

Defined in GHC.Classes

Methods

compare :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Ordering Source #

(<) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Source #

(<=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Source #

(>) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Source #

(>=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Source #

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) Source #

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) Source #

(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) Source #

Instance details

Defined in GHC.Classes

Methods

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 #

Instance details

Defined in GHC.Classes

Methods

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 #

Instance details

Defined in GHC.Classes

Methods

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 #

Instance details

Defined in GHC.Classes

Methods

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 Source #

(<) :: (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 Source #

(<=) :: (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 Source #

(>) :: (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 Source #

(>=) :: (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 Source #

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) Source #

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) 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 n) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #

Instance details

Defined in GHC.Classes

Methods

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 Source #

(<) :: (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 Source #

(<=) :: (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 Source #

(>) :: (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 Source #

(>=) :: (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 Source #

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) Source #

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) 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 n, Ord o) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #

Instance details

Defined in GHC.Classes

Methods

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 Source #

(<) :: (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 Source #

(<=) :: (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 Source #

(>) :: (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 Source #

(>=) :: (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 Source #

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) Source #

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) Source #