Movatterモバイル変換


[0]ホーム

URL:


base-4.12.0.0: Basic libraries

Copyright(c) The University of Glasgow 2005
LicenseBSD-style (see the file libraries/base/LICENSE)
Maintainerlibraries@haskell.org
Stabilitystable
Portabilityportable
Safe HaskellTrustworthy
LanguageHaskell2010

Data.Ord

Description

Orderings

Synopsis

Documentation

classEq a =>Ord awhere#

TheOrd class is used for totally ordered datatypes.

Instances ofOrd can be derived for any user-defined datatype whose constituent types are inOrd. The declared order of the constructors in the data declaration determines the ordering in derivedOrd instances. TheOrdering datatype allows a single comparison to determine the precise ordering of two objects.

The Haskell Report defines no laws forOrd. However,<= is customarily expected to implement a non-strict partial order and have the following properties:

Transitivity
ifx <= y && y <= z =True, thenx <= z =True
Reflexivity
x <= x =True
Antisymmetry
ifx <= y && y <= x =True, thenx == y =True

Note that the following operator interactions are expected to hold:

  1. x >= y =y <= x
  2. x < y =x <= y && x /= y
  3. x > y =y < x
  4. x < y =compare x y == LT
  5. x > y =compare x y == GT
  6. x == y =compare x y == EQ
  7. min x y == if x <= y then x else y =True
  8. max x y == if x >= y then x else y =True

Minimal complete definition: eithercompare or<=. Usingcompare can be more efficient for complex types.

Minimal complete definition

compare |(<=)

Methods

compare :: a -> a ->Ordering#

(<) :: a -> a ->Boolinfix 4#

(<=) :: a -> a ->Boolinfix 4#

(>) :: a -> a ->Boolinfix 4#

(>=) :: a -> a ->Boolinfix 4#

max :: a -> a -> a#

min :: a -> a -> a#

Instances
OrdBool 
Instance details

Defined inGHC.Classes

OrdChar 
Instance details

Defined inGHC.Classes

OrdDouble

Note that due to the presence ofNaN,Double'sOrd instance does not satisfy reflexivity.

>>>0/0 <= (0/0 :: Double)False

Also note that, due to the same,Ord's operator interactions are not respected byDouble's instance:

>>>(0/0 :: Double) > 1False>>>compare (0/0 :: Double) 1GT
Instance details

Defined inGHC.Classes

OrdFloat

Note that due to the presence ofNaN,Float'sOrd instance does not satisfy reflexivity.

>>>0/0 <= (0/0 :: Float)False

Also note that, due to the same,Ord's operator interactions are not respected byFloat's instance:

>>>(0/0 :: Float) > 1False>>>compare (0/0 :: Float) 1GT
Instance details

Defined inGHC.Classes

OrdInt 
Instance details

Defined inGHC.Classes

OrdInt8Source#

Since: 2.1

Instance details

Defined inGHC.Int

OrdInt16Source#

Since: 2.1

Instance details

Defined inGHC.Int

OrdInt32Source#

Since: 2.1

Instance details

Defined inGHC.Int

OrdInt64Source#

Since: 2.1

Instance details

Defined inGHC.Int

OrdInteger 
Instance details

Defined inGHC.Integer.Type

OrdNaturalSource#

Since: 4.8.0.0

Instance details

Defined inGHC.Natural

OrdOrdering 
Instance details

Defined inGHC.Classes

OrdWord 
Instance details

Defined inGHC.Classes

OrdWord8Source#

Since: 2.1

Instance details

Defined inGHC.Word

OrdWord16Source#

Since: 2.1

Instance details

Defined inGHC.Word

OrdWord32Source#

Since: 2.1

Instance details

Defined inGHC.Word

OrdWord64Source#

Since: 2.1

Instance details

Defined inGHC.Word

OrdSomeTypeRepSource# 
Instance details

Defined inData.Typeable.Internal

Ord () 
Instance details

Defined inGHC.Classes

Methods

compare :: () -> () ->Ordering#

(<) :: () -> () ->Bool#

(<=) :: () -> () ->Bool#

(>) :: () -> () ->Bool#

(>=) :: () -> () ->Bool#

max :: () -> () -> ()#

min :: () -> () -> ()#

OrdTyCon 
Instance details

Defined inGHC.Classes

OrdBigNat 
Instance details

Defined inGHC.Integer.Type

OrdGeneralCategorySource#

Since: 2.1

Instance details

Defined inGHC.Unicode

OrdFingerprintSource#

Since: 4.4.0.0

Instance details

Defined inGHC.Fingerprint.Type

OrdIOModeSource#

Since: 4.2.0.0

Instance details

Defined inGHC.IO.IOMode

OrdIntPtrSource# 
Instance details

Defined inForeign.Ptr

OrdWordPtrSource# 
Instance details

Defined inForeign.Ptr

OrdCUIntMaxSource# 
Instance details

Defined inForeign.C.Types

OrdCIntMaxSource# 
Instance details

Defined inForeign.C.Types

OrdCUIntPtrSource# 
Instance details

Defined inForeign.C.Types

OrdCIntPtrSource# 
Instance details

Defined inForeign.C.Types

OrdCSUSecondsSource# 
Instance details

Defined inForeign.C.Types

OrdCUSecondsSource# 
Instance details

Defined inForeign.C.Types

OrdCTimeSource# 
Instance details

Defined inForeign.C.Types

OrdCClockSource# 
Instance details

Defined inForeign.C.Types

OrdCSigAtomicSource# 
Instance details

Defined inForeign.C.Types

OrdCWcharSource# 
Instance details

Defined inForeign.C.Types

OrdCSizeSource# 
Instance details

Defined inForeign.C.Types

OrdCPtrdiffSource# 
Instance details

Defined inForeign.C.Types

OrdCDoubleSource# 
Instance details

Defined inForeign.C.Types

OrdCFloatSource# 
Instance details

Defined inForeign.C.Types

OrdCBoolSource# 
Instance details

Defined inForeign.C.Types

OrdCULLongSource# 
Instance details

Defined inForeign.C.Types

OrdCLLongSource# 
Instance details

Defined inForeign.C.Types

OrdCULongSource# 
Instance details

Defined inForeign.C.Types

OrdCLongSource# 
Instance details

Defined inForeign.C.Types

OrdCUIntSource# 
Instance details

Defined inForeign.C.Types

OrdCIntSource# 
Instance details

Defined inForeign.C.Types

OrdCUShortSource# 
Instance details

Defined inForeign.C.Types

OrdCShortSource# 
Instance details

Defined inForeign.C.Types

OrdCUCharSource# 
Instance details

Defined inForeign.C.Types

OrdCSCharSource# 
Instance details

Defined inForeign.C.Types

OrdCCharSource# 
Instance details

Defined inForeign.C.Types

OrdSomeNatSource#

Since: 4.7.0.0

Instance details

Defined inGHC.TypeNats

OrdSomeSymbolSource#

Since: 4.7.0.0

Instance details

Defined inGHC.TypeLits

OrdDecidedStrictnessSource#

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

OrdSourceStrictnessSource#

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

OrdSourceUnpackednessSource#

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

OrdAssociativitySource#

Since: 4.6.0.0

Instance details

Defined inGHC.Generics

OrdFixitySource#

Since: 4.6.0.0

Instance details

Defined inGHC.Generics

OrdAnySource#

Since: 2.1

Instance details

Defined inData.Semigroup.Internal

OrdAllSource#

Since: 2.1

Instance details

Defined inData.Semigroup.Internal

OrdArithExceptionSource#

Since: 3.0

Instance details

Defined inGHC.Exception.Type

OrdErrorCallSource#

Since: 4.7.0.0

Instance details

Defined inGHC.Exception

OrdSeekModeSource#

Since: 4.2.0.0

Instance details

Defined inGHC.IO.Device

OrdNewlineModeSource#

Since: 4.3.0.0

Instance details

Defined inGHC.IO.Handle.Types

OrdNewlineSource#

Since: 4.3.0.0

Instance details

Defined inGHC.IO.Handle.Types

OrdBufferModeSource#

Since: 4.2.0.0

Instance details

Defined inGHC.IO.Handle.Types

OrdExitCodeSource# 
Instance details

Defined inGHC.IO.Exception

OrdArrayExceptionSource#

Since: 4.2.0.0

Instance details

Defined inGHC.IO.Exception

OrdAsyncExceptionSource#

Since: 4.2.0.0

Instance details

Defined inGHC.IO.Exception

OrdFdSource# 
Instance details

Defined inSystem.Posix.Types

Methods

compare ::Fd ->Fd ->Ordering#

(<) ::Fd ->Fd ->Bool#

(<=) ::Fd ->Fd ->Bool#

(>) ::Fd ->Fd ->Bool#

(>=) ::Fd ->Fd ->Bool#

max ::Fd ->Fd ->Fd#

min ::Fd ->Fd ->Fd#

OrdCTimerSource# 
Instance details

Defined inSystem.Posix.Types

OrdCKeySource# 
Instance details

Defined inSystem.Posix.Types

OrdCIdSource# 
Instance details

Defined inSystem.Posix.Types

OrdCFsFilCntSource# 
Instance details

Defined inSystem.Posix.Types

OrdCFsBlkCntSource# 
Instance details

Defined inSystem.Posix.Types

OrdCClockIdSource# 
Instance details

Defined inSystem.Posix.Types

OrdCBlkCntSource# 
Instance details

Defined inSystem.Posix.Types

OrdCBlkSizeSource# 
Instance details

Defined inSystem.Posix.Types

OrdCRLimSource# 
Instance details

Defined inSystem.Posix.Types

OrdCTcflagSource# 
Instance details

Defined inSystem.Posix.Types

OrdCSpeedSource# 
Instance details

Defined inSystem.Posix.Types

OrdCCcSource# 
Instance details

Defined inSystem.Posix.Types

OrdCUidSource# 
Instance details

Defined inSystem.Posix.Types

OrdCNlinkSource# 
Instance details

Defined inSystem.Posix.Types

OrdCGidSource# 
Instance details

Defined inSystem.Posix.Types

OrdCSsizeSource# 
Instance details

Defined inSystem.Posix.Types

OrdCPidSource# 
Instance details

Defined inSystem.Posix.Types

OrdCOffSource# 
Instance details

Defined inSystem.Posix.Types

OrdCModeSource# 
Instance details

Defined inSystem.Posix.Types

OrdCInoSource# 
Instance details

Defined inSystem.Posix.Types

OrdCDevSource# 
Instance details

Defined inSystem.Posix.Types

OrdThreadStatusSource#

Since: 4.3.0.0

Instance details

Defined inGHC.Conc.Sync

OrdBlockReasonSource#

Since: 4.3.0.0

Instance details

Defined inGHC.Conc.Sync

OrdThreadIdSource#

Since: 4.2.0.0

Instance details

Defined inGHC.Conc.Sync

OrdVersionSource#

Since: 2.1

Instance details

Defined inData.Version

OrdByteOrderSource#

Since: 4.11.0.0

Instance details

Defined inGHC.ByteOrder

OrdUniqueSource# 
Instance details

Defined inData.Unique

OrdVoidSource#

Since: 4.8.0.0

Instance details

Defined inData.Void

Ord a =>Ord [a] 
Instance details

Defined inGHC.Classes

Methods

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 a =>Ord (Maybe a)Source#

Since: 2.1

Instance details

Defined inGHC.Maybe

Methods

compare ::Maybe a ->Maybe a ->Ordering#

(<) ::Maybe a ->Maybe a ->Bool#

(<=) ::Maybe a ->Maybe a ->Bool#

(>) ::Maybe a ->Maybe a ->Bool#

(>=) ::Maybe a ->Maybe a ->Bool#

max ::Maybe a ->Maybe a ->Maybe a#

min ::Maybe a ->Maybe a ->Maybe a#

Integral a =>Ord (Ratio a)Source#

Since: 2.0.1

Instance details

Defined inGHC.Real

Methods

compare ::Ratio a ->Ratio a ->Ordering#

(<) ::Ratio a ->Ratio a ->Bool#

(<=) ::Ratio a ->Ratio a ->Bool#

(>) ::Ratio a ->Ratio a ->Bool#

(>=) ::Ratio a ->Ratio a ->Bool#

max ::Ratio a ->Ratio a ->Ratio a#

min ::Ratio a ->Ratio a ->Ratio a#

Ord (Ptr a)Source#

Since: 2.1

Instance details

Defined inGHC.Ptr

Methods

compare ::Ptr a ->Ptr a ->Ordering#

(<) ::Ptr a ->Ptr a ->Bool#

(<=) ::Ptr a ->Ptr a ->Bool#

(>) ::Ptr a ->Ptr a ->Bool#

(>=) ::Ptr a ->Ptr a ->Bool#

max ::Ptr a ->Ptr a ->Ptr a#

min ::Ptr a ->Ptr a ->Ptr a#

Ord (FunPtr a)Source# 
Instance details

Defined inGHC.Ptr

Ord p =>Ord (Par1 p)Source#

Since: 4.7.0.0

Instance details

Defined inGHC.Generics

Methods

compare ::Par1 p ->Par1 p ->Ordering#

(<) ::Par1 p ->Par1 p ->Bool#

(<=) ::Par1 p ->Par1 p ->Bool#

(>) ::Par1 p ->Par1 p ->Bool#

(>=) ::Par1 p ->Par1 p ->Bool#

max ::Par1 p ->Par1 p ->Par1 p#

min ::Par1 p ->Par1 p ->Par1 p#

Ord a =>Ord (NonEmpty a)Source#

Since: 4.9.0.0

Instance details

Defined inGHC.Base

Ord a =>Ord (Down a)Source#

Since: 4.6.0.0

Instance details

Defined inData.Ord

Methods

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#

Ord a =>Ord (Product a)Source#

Since: 2.1

Instance details

Defined inData.Semigroup.Internal

Ord a =>Ord (Sum a)Source#

Since: 2.1

Instance details

Defined inData.Semigroup.Internal

Methods

compare ::Sum a ->Sum a ->Ordering#

(<) ::Sum a ->Sum a ->Bool#

(<=) ::Sum a ->Sum a ->Bool#

(>) ::Sum a ->Sum a ->Bool#

(>=) ::Sum a ->Sum a ->Bool#

max ::Sum a ->Sum a ->Sum a#

min ::Sum a ->Sum a ->Sum a#

Ord a =>Ord (Dual a)Source#

Since: 2.1

Instance details

Defined inData.Semigroup.Internal

Methods

compare ::Dual a ->Dual a ->Ordering#

(<) ::Dual a ->Dual a ->Bool#

(<=) ::Dual a ->Dual a ->Bool#

(>) ::Dual a ->Dual a ->Bool#

(>=) ::Dual a ->Dual a ->Bool#

max ::Dual a ->Dual a ->Dual a#

min ::Dual a ->Dual a ->Dual a#

Ord a =>Ord (Last a)Source#

Since: 2.1

Instance details

Defined inData.Monoid

Methods

compare ::Last a ->Last a ->Ordering#

(<) ::Last a ->Last a ->Bool#

(<=) ::Last a ->Last a ->Bool#

(>) ::Last a ->Last a ->Bool#

(>=) ::Last a ->Last a ->Bool#

max ::Last a ->Last a ->Last a#

min ::Last a ->Last a ->Last a#

Ord a =>Ord (First a)Source#

Since: 2.1

Instance details

Defined inData.Monoid

Methods

compare ::First a ->First a ->Ordering#

(<) ::First a ->First a ->Bool#

(<=) ::First a ->First a ->Bool#

(>) ::First a ->First a ->Bool#

(>=) ::First a ->First a ->Bool#

max ::First a ->First a ->First a#

min ::First a ->First a ->First a#

Ord (ForeignPtr a)Source#

Since: 2.1

Instance details

Defined inGHC.ForeignPtr

Ord a =>Ord (Identity a)Source#

Since: 4.8.0.0

Instance details

Defined inData.Functor.Identity

Ord a =>Ord (ZipList a)Source#

Since: 4.7.0.0

Instance details

Defined inControl.Applicative

Ord a =>Ord (Option a)Source#

Since: 4.9.0.0

Instance details

Defined inData.Semigroup

Ord m =>Ord (WrappedMonoid m)Source#

Since: 4.9.0.0

Instance details

Defined inData.Semigroup

Ord a =>Ord (Last a)Source#

Since: 4.9.0.0

Instance details

Defined inData.Semigroup

Methods

compare ::Last a ->Last a ->Ordering#

(<) ::Last a ->Last a ->Bool#

(<=) ::Last a ->Last a ->Bool#

(>) ::Last a ->Last a ->Bool#

(>=) ::Last a ->Last a ->Bool#

max ::Last a ->Last a ->Last a#

min ::Last a ->Last a ->Last a#

Ord a =>Ord (First a)Source#

Since: 4.9.0.0

Instance details

Defined inData.Semigroup

Methods

compare ::First a ->First a ->Ordering#

(<) ::First a ->First a ->Bool#

(<=) ::First a ->First a ->Bool#

(>) ::First a ->First a ->Bool#

(>=) ::First a ->First a ->Bool#

max ::First a ->First a ->First a#

min ::First a ->First a ->First a#

Ord a =>Ord (Max a)Source#

Since: 4.9.0.0

Instance details

Defined inData.Semigroup

Methods

compare ::Max a ->Max a ->Ordering#

(<) ::Max a ->Max a ->Bool#

(<=) ::Max a ->Max a ->Bool#

(>) ::Max a ->Max a ->Bool#

(>=) ::Max a ->Max a ->Bool#

max ::Max a ->Max a ->Max a#

min ::Max a ->Max a ->Max a#

Ord a =>Ord (Min a)Source#

Since: 4.9.0.0

Instance details

Defined inData.Semigroup

Methods

compare ::Min a ->Min a ->Ordering#

(<) ::Min a ->Min a ->Bool#

(<=) ::Min a ->Min a ->Bool#

(>) ::Min a ->Min a ->Bool#

(>=) ::Min a ->Min a ->Bool#

max ::Min a ->Min a ->Min a#

min ::Min a ->Min a ->Min a#

Ord (Fixed a)Source#

Since: 2.1

Instance details

Defined inData.Fixed

Methods

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 b) =>Ord (Either a b)Source#

Since: 2.1

Instance details

Defined inData.Either

Methods

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#

max ::Either a b ->Either a b ->Either a b#

min ::Either a b ->Either a b ->Either a b#

Ord (V1 p)Source#

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

Methods

compare ::V1 p ->V1 p ->Ordering#

(<) ::V1 p ->V1 p ->Bool#

(<=) ::V1 p ->V1 p ->Bool#

(>) ::V1 p ->V1 p ->Bool#

(>=) ::V1 p ->V1 p ->Bool#

max ::V1 p ->V1 p ->V1 p#

min ::V1 p ->V1 p ->V1 p#

Ord (U1 p)Source#

Since: 4.7.0.0

Instance details

Defined inGHC.Generics

Methods

compare ::U1 p ->U1 p ->Ordering#

(<) ::U1 p ->U1 p ->Bool#

(<=) ::U1 p ->U1 p ->Bool#

(>) ::U1 p ->U1 p ->Bool#

(>=) ::U1 p ->U1 p ->Bool#

max ::U1 p ->U1 p ->U1 p#

min ::U1 p ->U1 p ->U1 p#

Ord (TypeRep a)Source#

Since: 4.4.0.0

Instance details

Defined inData.Typeable.Internal

(Ord a,Ord b) =>Ord (a, b) 
Instance details

Defined inGHC.Classes

Methods

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#

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

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

Ord (Proxy s)Source#

Since: 4.7.0.0

Instance details

Defined inData.Proxy

Methods

compare ::Proxy s ->Proxy s ->Ordering#

(<) ::Proxy s ->Proxy s ->Bool#

(<=) ::Proxy s ->Proxy s ->Bool#

(>) ::Proxy s ->Proxy s ->Bool#

(>=) ::Proxy s ->Proxy s ->Bool#

max ::Proxy s ->Proxy s ->Proxy s#

min ::Proxy s ->Proxy s ->Proxy s#

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

Since: 4.9.0.0

Instance details

Defined inData.Semigroup

Methods

compare ::Arg a b ->Arg a b ->Ordering#

(<) ::Arg a b ->Arg a b ->Bool#

(<=) ::Arg a b ->Arg a b ->Bool#

(>) ::Arg a b ->Arg a b ->Bool#

(>=) ::Arg a b ->Arg a b ->Bool#

max ::Arg a b ->Arg a b ->Arg a b#

min ::Arg a b ->Arg a b ->Arg a b#

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

Since: 4.7.0.0

Instance details

Defined inGHC.Generics

Methods

compare ::Rec1 f p ->Rec1 f p ->Ordering#

(<) ::Rec1 f p ->Rec1 f p ->Bool#

(<=) ::Rec1 f p ->Rec1 f p ->Bool#

(>) ::Rec1 f p ->Rec1 f p ->Bool#

(>=) ::Rec1 f p ->Rec1 f p ->Bool#

max ::Rec1 f p ->Rec1 f p ->Rec1 f p#

min ::Rec1 f p ->Rec1 f p ->Rec1 f p#

Ord (URecWord p)Source#

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

Ord (URecInt p)Source#

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

Ord (URecFloat p)Source# 
Instance details

Defined inGHC.Generics

Ord (URecDouble p)Source#

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

Ord (URecChar p)Source#

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

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

Since: 4.9.0.0

Instance details

Defined inGHC.Generics

Methods

compare ::URec (Ptr ()) p ->URec (Ptr ()) p ->Ordering#

(<) ::URec (Ptr ()) p ->URec (Ptr ()) p ->Bool#

(<=) ::URec (Ptr ()) p ->URec (Ptr ()) p ->Bool#

(>) ::URec (Ptr ()) p ->URec (Ptr ()) p ->Bool#

(>=) ::URec (Ptr ()) p ->URec (Ptr ()) p ->Bool#

max ::URec (Ptr ()) p ->URec (Ptr ()) p ->URec (Ptr ()) p#

min ::URec (Ptr ()) p ->URec (Ptr ()) p ->URec (Ptr ()) p#

(Ord a,Ord b,Ord c) =>Ord (a, b, c) 
Instance details

Defined inGHC.Classes

Methods

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

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

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

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

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

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

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

Ord (a:~: b)Source#

Since: 4.7.0.0

Instance details

Defined inData.Type.Equality

Methods

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#

max :: (a:~: b) -> (a:~: b) -> a:~: b#

min :: (a:~: b) -> (a:~: b) -> a:~: b#

Ord (Coercion a b)Source#

Since: 4.7.0.0

Instance details

Defined inData.Type.Coercion

Methods

compare ::Coercion a b ->Coercion a b ->Ordering#

(<) ::Coercion a b ->Coercion a b ->Bool#

(<=) ::Coercion a b ->Coercion a b ->Bool#

(>) ::Coercion a b ->Coercion a b ->Bool#

(>=) ::Coercion a b ->Coercion a b ->Bool#

max ::Coercion a b ->Coercion a b ->Coercion a b#

min ::Coercion a b ->Coercion a b ->Coercion a b#

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

Since: 4.8.0.0

Instance details

Defined inData.Semigroup.Internal

Methods

compare ::Alt f a ->Alt f a ->Ordering#

(<) ::Alt f a ->Alt f a ->Bool#

(<=) ::Alt f a ->Alt f a ->Bool#

(>) ::Alt f a ->Alt f a ->Bool#

(>=) ::Alt f a ->Alt f a ->Bool#

max ::Alt f a ->Alt f a ->Alt f a#

min ::Alt f a ->Alt f a ->Alt f a#

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

Since: 4.12.0.0

Instance details

Defined inData.Monoid

Methods

compare ::Ap f a ->Ap f a ->Ordering#

(<) ::Ap f a ->Ap f a ->Bool#

(<=) ::Ap f a ->Ap f a ->Bool#

(>) ::Ap f a ->Ap f a ->Bool#

(>=) ::Ap f a ->Ap f a ->Bool#

max ::Ap f a ->Ap f a ->Ap f a#

min ::Ap f a ->Ap f a ->Ap f a#

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

Since: 4.9.0.0

Instance details

Defined inData.Functor.Const

Methods

compare ::Const a b ->Const a b ->Ordering#

(<) ::Const a b ->Const a b ->Bool#

(<=) ::Const a b ->Const a b ->Bool#

(>) ::Const a b ->Const a b ->Bool#

(>=) ::Const a b ->Const a b ->Bool#

max ::Const a b ->Const a b ->Const a b#

min ::Const a b ->Const a b ->Const a b#

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

Since: 4.7.0.0

Instance details

Defined inGHC.Generics

Methods

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 (f p),Ord (g p)) =>Ord ((f:+: g) p)Source#

Since: 4.7.0.0

Instance details

Defined inGHC.Generics

Methods

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

Since: 4.7.0.0

Instance details

Defined inGHC.Generics

Methods

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 a,Ord b,Ord c,Ord d) =>Ord (a, b, c, d) 
Instance details

Defined inGHC.Classes

Methods

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

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

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

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

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

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

Since: 4.10.0.0

Instance details

Defined inData.Type.Equality

Methods

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#

max :: (a:~~: b) -> (a:~~: b) -> a:~~: b#

min :: (a:~~: b) -> (a:~~: b) -> a:~~: b#

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

Since: 4.9.0.0

Instance details

Defined inData.Functor.Sum

Methods

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#

max ::Sum f g a ->Sum f g a ->Sum f g a#

min ::Sum f g a ->Sum f g a ->Sum f g a#

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

Since: 4.9.0.0

Instance details

Defined inData.Functor.Product

Methods

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 p) =>Ord (M1 i c f p)Source#

Since: 4.7.0.0

Instance details

Defined inGHC.Generics

Methods

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 (f (g p)) =>Ord ((f:.: g) p)Source#

Since: 4.7.0.0

Instance details

Defined inGHC.Generics

Methods

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 a,Ord b,Ord c,Ord d,Ord e) =>Ord (a, b, c, d, e) 
Instance details

Defined inGHC.Classes

Methods

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

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

Since: 4.9.0.0

Instance details

Defined inData.Functor.Compose

Methods

compare ::Compose f g a ->Compose f g a ->Ordering#

(<) ::Compose f g a ->Compose f g a ->Bool#

(<=) ::Compose f g a ->Compose f g a ->Bool#

(>) ::Compose f g a ->Compose f g a ->Bool#

(>=) ::Compose f g a ->Compose f g a ->Bool#

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 a,Ord b,Ord c,Ord d,Ord e,Ord f) =>Ord (a, b, c, d, e, f) 
Instance details

Defined inGHC.Classes

Methods

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) 
Instance details

Defined inGHC.Classes

Methods

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) 
Instance details

Defined inGHC.Classes

Methods

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) 
Instance details

Defined inGHC.Classes

Methods

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) 
Instance details

Defined inGHC.Classes

Methods

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

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

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

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

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

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

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

(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) 
Instance details

Defined inGHC.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#

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

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

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

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

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

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

(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) 
Instance details

Defined inGHC.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#

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

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

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

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

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

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

(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) 
Instance details

Defined inGHC.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#

(<) :: (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) 
Instance details

Defined inGHC.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#

(<) :: (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) 
Instance details

Defined inGHC.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#

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

dataOrdering#

Constructors

LT 
EQ 
GT 
Instances
BoundedOrderingSource#

Since: 2.1

Instance details

Defined inGHC.Enum

EnumOrderingSource#

Since: 2.1

Instance details

Defined inGHC.Enum

EqOrdering 
Instance details

Defined inGHC.Classes

DataOrderingSource#

Since: 4.0.0.0

Instance details

Defined inData.Data

Methods

gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->Ordering -> cOrderingSource#

gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> cOrderingSource#

toConstr ::Ordering ->ConstrSource#

dataTypeOf ::Ordering ->DataTypeSource#

dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (cOrdering)Source#

dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (cOrdering)Source#

gmapT :: (forall b.Data b => b -> b) ->Ordering ->OrderingSource#

gmapQl :: (r -> r' -> r) -> r -> (forall d.Data d => d -> r') ->Ordering -> rSource#

gmapQr :: (r' -> r -> r) -> r -> (forall d.Data d => d -> r') ->Ordering -> rSource#

gmapQ :: (forall d.Data d => d -> u) ->Ordering -> [u]Source#

gmapQi ::Int -> (forall d.Data d => d -> u) ->Ordering -> uSource#

gmapM ::Monad m => (forall d.Data d => d -> m d) ->Ordering -> mOrderingSource#

gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->Ordering -> mOrderingSource#

gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->Ordering -> mOrderingSource#

OrdOrdering 
Instance details

Defined inGHC.Classes

ReadOrderingSource#

Since: 2.1

Instance details

Defined inGHC.Read

ShowOrderingSource#

Since: 2.1

Instance details

Defined inGHC.Show

IxOrderingSource#

Since: 2.1

Instance details

Defined inGHC.Arr

GenericOrderingSource# 
Instance details

Defined inGHC.Generics

Associated Types

typeRepOrdering ::Type ->TypeSource#

SemigroupOrderingSource#

Since: 4.9.0.0

Instance details

Defined inGHC.Base

MonoidOrderingSource#

Since: 2.1

Instance details

Defined inGHC.Base

typeRepOrderingSource#

Since: 4.6.0.0

Instance details

Defined inGHC.Generics

typeRepOrdering =D1 (MetaData "Ordering" "GHC.Types" "ghc-prim"False) (C1 (MetaCons "LT"PrefixIFalse) (U1 ::Type ->Type):+: (C1 (MetaCons "EQ"PrefixIFalse) (U1 ::Type ->Type):+:C1 (MetaCons "GT"PrefixIFalse) (U1 ::Type ->Type)))

newtypeDown aSource#

TheDown type allows you to reverse sort order conveniently. A value of typeDown a contains a value of typea (represented asDown a). Ifa has anOrd instance associated with it then comparing two values thus wrapped will give you the opposite of their normal sort order. This is particularly useful when sorting in generalised list comprehensions, as in:then sortWith byDown x

Since: 4.6.0.0

Constructors

Down a 
Instances
MonadDownSource#

Since: 4.11.0.0

Instance details

Defined inData.Ord

Methods

(>>=) ::Down a -> (a ->Down b) ->Down bSource#

(>>) ::Down a ->Down b ->Down bSource#

return :: a ->Down aSource#

fail ::String ->Down aSource#

FunctorDownSource#

Since: 4.11.0.0

Instance details

Defined inData.Ord

Methods

fmap :: (a -> b) ->Down a ->Down bSource#

(<$) :: a ->Down b ->Down aSource#

MonadFixDownSource#

Since: 4.12.0.0

Instance details

Defined inControl.Monad.Fix

Methods

mfix :: (a ->Down a) ->Down aSource#

ApplicativeDownSource#

Since: 4.11.0.0

Instance details

Defined inData.Ord

Methods

pure :: a ->Down aSource#

(<*>) ::Down (a -> b) ->Down a ->Down bSource#

liftA2 :: (a -> b -> c) ->Down a ->Down b ->Down cSource#

(*>) ::Down a ->Down b ->Down bSource#

(<*) ::Down a ->Down b ->Down aSource#

FoldableDownSource#

Since: 4.12.0.0

Instance details

Defined inData.Foldable

Methods

fold ::Monoid m =>Down m -> mSource#

foldMap ::Monoid m => (a -> m) ->Down a -> mSource#

foldr :: (a -> b -> b) -> b ->Down a -> bSource#

foldr' :: (a -> b -> b) -> b ->Down a -> bSource#

foldl :: (b -> a -> b) -> b ->Down a -> bSource#

foldl' :: (b -> a -> b) -> b ->Down a -> bSource#

foldr1 :: (a -> a -> a) ->Down a -> aSource#

foldl1 :: (a -> a -> a) ->Down a -> aSource#

toList ::Down a -> [a]Source#

null ::Down a ->BoolSource#

length ::Down a ->IntSource#

elem ::Eq a => a ->Down a ->BoolSource#

maximum ::Ord a =>Down a -> aSource#

minimum ::Ord a =>Down a -> aSource#

sum ::Num a =>Down a -> aSource#

product ::Num a =>Down a -> aSource#

TraversableDownSource#

Since: 4.12.0.0

Instance details

Defined inData.Traversable

Methods

traverse ::Applicative f => (a -> f b) ->Down a -> f (Down b)Source#

sequenceA ::Applicative f =>Down (f a) -> f (Down a)Source#

mapM ::Monad m => (a -> m b) ->Down a -> m (Down b)Source#

sequence ::Monad m =>Down (m a) -> m (Down a)Source#

MonadZipDownSource#

Since: 4.12.0.0

Instance details

Defined inControl.Monad.Zip

Methods

mzip ::Down a ->Down b ->Down (a, b)Source#

mzipWith :: (a -> b -> c) ->Down a ->Down b ->Down cSource#

munzip ::Down (a, b) -> (Down a,Down b)Source#

Show1DownSource#

Since: 4.12.0.0

Instance details

Defined inData.Functor.Classes

Methods

liftShowsPrec :: (Int -> a ->ShowS) -> ([a] ->ShowS) ->Int ->Down a ->ShowSSource#

liftShowList :: (Int -> a ->ShowS) -> ([a] ->ShowS) -> [Down a] ->ShowSSource#

Read1DownSource#

Since: 4.12.0.0

Instance details

Defined inData.Functor.Classes

Ord1DownSource#

Since: 4.12.0.0

Instance details

Defined inData.Functor.Classes

Methods

liftCompare :: (a -> b ->Ordering) ->Down a ->Down b ->OrderingSource#

Eq1DownSource#

Since: 4.12.0.0

Instance details

Defined inData.Functor.Classes

Methods

liftEq :: (a -> b ->Bool) ->Down a ->Down b ->BoolSource#

Eq a =>Eq (Down a)Source#

Since: 4.6.0.0

Instance details

Defined inData.Ord

Methods

(==) ::Down a ->Down a ->Bool#

(/=) ::Down a ->Down a ->Bool#

Data a =>Data (Down a)Source#

Since: 4.12.0.0

Instance details

Defined inData.Data

Methods

gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->Down a -> c (Down a)Source#

gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> c (Down a)Source#

toConstr ::Down a ->ConstrSource#

dataTypeOf ::Down a ->DataTypeSource#

dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (c (Down a))Source#

dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (c (Down a))Source#

gmapT :: (forall b.Data b => b -> b) ->Down a ->Down aSource#

gmapQl :: (r -> r' -> r) -> r -> (forall d.Data d => d -> r') ->Down a -> rSource#

gmapQr :: (r' -> r -> r) -> r -> (forall d.Data d => d -> r') ->Down a -> rSource#

gmapQ :: (forall d.Data d => d -> u) ->Down a -> [u]Source#

gmapQi ::Int -> (forall d.Data d => d -> u) ->Down a -> uSource#

gmapM ::Monad m => (forall d.Data d => d -> m d) ->Down a -> m (Down a)Source#

gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->Down a -> m (Down a)Source#

gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->Down a -> m (Down a)Source#

Num a =>Num (Down a)Source#

Since: 4.11.0.0

Instance details

Defined inData.Ord

Ord a =>Ord (Down a)Source#

Since: 4.6.0.0

Instance details

Defined inData.Ord

Methods

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#

Read a =>Read (Down a)Source#

Since: 4.7.0.0

Instance details

Defined inData.Ord

Show a =>Show (Down a)Source#

Since: 4.7.0.0

Instance details

Defined inData.Ord

Generic (Down a)Source# 
Instance details

Defined inGHC.Generics

Associated Types

typeRep (Down a) ::Type ->TypeSource#

Methods

from ::Down a ->Rep (Down a) xSource#

to ::Rep (Down a) x ->Down aSource#

Semigroup a =>Semigroup (Down a)Source#

Since: 4.11.0.0

Instance details

Defined inData.Ord

Methods

(<>) ::Down a ->Down a ->Down aSource#

sconcat ::NonEmpty (Down a) ->Down aSource#

stimes ::Integral b => b ->Down a ->Down aSource#

Monoid a =>Monoid (Down a)Source#

Since: 4.11.0.0

Instance details

Defined inData.Ord

Generic1DownSource# 
Instance details

Defined inGHC.Generics

Associated Types

typeRep1Down :: k ->TypeSource#

typeRep (Down a)Source#

Since: 4.12.0.0

Instance details

Defined inGHC.Generics

typeRep1DownSource#

Since: 4.12.0.0

Instance details

Defined inGHC.Generics

comparing ::Ord a => (b -> a) -> b -> b ->OrderingSource#

comparing p x y = compare (p x) (p y)

Useful combinator for use in conjunction with thexxxBy family of functions fromData.List, for example:

  ... sortBy (comparing fst) ...

Produced byHaddock version 2.20.0


[8]ページ先頭

©2009-2025 Movatter.jp