On this page
Data.Ord
Copyright | (c) The University of Glasgow 2005 |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | libraries@haskell.org |
Stability | stable |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Description
Orderings
class Eq a => Ord a where Source
The Ord
class is used for totally ordered datatypes.
Instances of Ord
can be derived for any user-defined datatype whose constituent types are in Ord
. The declared order of the constructors in the data declaration determines the ordering in derived Ord
instances. The Ordering
datatype allows a single comparison to determine the precise ordering of two objects.
Ord
, as defined by the Haskell report, implements a total order and has the following properties:
- Comparability
x <= y || y <= x
=True
- Transitivity
-
if
x <= y && y <= z
=True
, thenx <= z
=True
- Reflexivity
x <= x
=True
- Antisymmetry
-
if
x <= y && y <= x
=True
, thenx == y
=True
The following operator interactions are expected to hold:
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
Note that (7.) and (8.) do not require min
and max
to return either of their arguments. The result is merely required to equal one of the arguments in terms of (==)
.
Minimal complete definition: either compare
or <=
. Using compare
can be more efficient for complex types.
Methods
compare :: a -> a -> Ordering Source
(<) :: a -> a -> Bool infix 4 Source
(<=) :: a -> a -> Bool infix 4 Source
(>) :: a -> a -> Bool infix 4 Source
Instances
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 4.17.0.0 |
Defined in Data.Array.Byte |
|
Ord All Source | Since: base-2.1 |
Ord Any Source | Since: base-2.1 |
Ord SomeTypeRep Source | |
Defined in Data.Typeable.Internal Methodscompare :: SomeTypeRep -> SomeTypeRep -> Ordering Source (<) :: SomeTypeRep -> SomeTypeRep -> Bool Source (<=) :: SomeTypeRep -> SomeTypeRep -> Bool Source (>) :: SomeTypeRep -> SomeTypeRep -> Bool Source (>=) :: SomeTypeRep -> SomeTypeRep -> Bool Source max :: SomeTypeRep -> SomeTypeRep -> SomeTypeRep Source min :: SomeTypeRep -> SomeTypeRep -> SomeTypeRep Source |
|
Ord Unique Source | |
Defined in Data.Unique |
|
Ord Version Source | Since: base-2.1 |
Ord Void Source | Since: base-4.8.0.0 |
Ord CBool Source | |
Defined in Foreign.C.Types |
|
Ord CChar Source | |
Defined in Foreign.C.Types |
|
Ord CClock Source | |
Defined in Foreign.C.Types |
|
Ord CDouble Source | |
Ord CFloat Source | |
Defined in Foreign.C.Types |
|
Ord CInt Source | |
Ord CIntMax Source | |
Ord CIntPtr Source | |
Ord CLLong Source | |
Defined in Foreign.C.Types |
|
Ord CLong Source | |
Defined in Foreign.C.Types |
|
Ord CPtrdiff Source | |
Defined in Foreign.C.Types |
|
Ord CSChar Source | |
Defined in Foreign.C.Types |
|
Ord CSUSeconds Source | |
Defined in Foreign.C.Types Methodscompare :: CSUSeconds -> CSUSeconds -> Ordering Source (<) :: CSUSeconds -> CSUSeconds -> Bool Source (<=) :: CSUSeconds -> CSUSeconds -> Bool Source (>) :: CSUSeconds -> CSUSeconds -> Bool Source (>=) :: CSUSeconds -> CSUSeconds -> Bool Source max :: CSUSeconds -> CSUSeconds -> CSUSeconds Source min :: CSUSeconds -> CSUSeconds -> CSUSeconds Source |
|
Ord CShort Source | |
Defined in Foreign.C.Types |
|
Ord CSigAtomic Source | |
Defined in Foreign.C.Types Methodscompare :: CSigAtomic -> CSigAtomic -> Ordering Source (<) :: CSigAtomic -> CSigAtomic -> Bool Source (<=) :: CSigAtomic -> CSigAtomic -> Bool Source (>) :: CSigAtomic -> CSigAtomic -> Bool Source (>=) :: CSigAtomic -> CSigAtomic -> Bool Source max :: CSigAtomic -> CSigAtomic -> CSigAtomic Source min :: CSigAtomic -> CSigAtomic -> CSigAtomic Source |
|
Ord CSize Source | |
Defined in Foreign.C.Types |
|
Ord CTime Source | |
Defined in Foreign.C.Types |
|
Ord CUChar Source | |
Defined in Foreign.C.Types |
|
Ord CUInt Source | |
Defined in Foreign.C.Types |
|
Ord CUIntMax Source | |
Defined in Foreign.C.Types |
|
Ord CUIntPtr Source | |
Defined in Foreign.C.Types |
|
Ord CULLong Source | |
Ord CULong Source | |
Defined in Foreign.C.Types |
|
Ord CUSeconds Source | |
Defined in Foreign.C.Types |
|
Ord CUShort Source | |
Ord CWchar Source | |
Defined in Foreign.C.Types |
|
Ord IntPtr Source | |
Defined in Foreign.Ptr |
|
Ord WordPtr Source | |
Ord ByteOrder Source | Since: base-4.11.0.0 |
Defined in GHC.ByteOrder |
|
Ord BlockReason Source | Since: base-4.3.0.0 |
Defined in GHC.Conc.Sync Methodscompare :: BlockReason -> BlockReason -> Ordering Source (<) :: BlockReason -> BlockReason -> Bool Source (<=) :: BlockReason -> BlockReason -> Bool Source (>) :: BlockReason -> BlockReason -> Bool Source (>=) :: BlockReason -> BlockReason -> Bool Source max :: BlockReason -> BlockReason -> BlockReason Source min :: BlockReason -> BlockReason -> BlockReason Source |
|
Ord ThreadId Source | Since: base-4.2.0.0 |
Defined in GHC.Conc.Sync |
|
Ord ThreadStatus Source | Since: base-4.3.0.0 |
Defined in GHC.Conc.Sync Methodscompare :: ThreadStatus -> ThreadStatus -> Ordering Source (<) :: ThreadStatus -> ThreadStatus -> Bool Source (<=) :: ThreadStatus -> ThreadStatus -> Bool Source (>) :: ThreadStatus -> ThreadStatus -> Bool Source (>=) :: ThreadStatus -> ThreadStatus -> Bool Source max :: ThreadStatus -> ThreadStatus -> ThreadStatus Source min :: ThreadStatus -> ThreadStatus -> ThreadStatus Source |
|
Ord TimeoutKey Source | |
Defined in GHC.Event.TimeOut Methodscompare :: TimeoutKey -> TimeoutKey -> Ordering Source (<) :: TimeoutKey -> TimeoutKey -> Bool Source (<=) :: TimeoutKey -> TimeoutKey -> Bool Source (>) :: TimeoutKey -> TimeoutKey -> Bool Source (>=) :: TimeoutKey -> TimeoutKey -> Bool Source max :: TimeoutKey -> TimeoutKey -> TimeoutKey Source min :: TimeoutKey -> TimeoutKey -> TimeoutKey Source |
|
Ord ErrorCall Source | Since: base-4.7.0.0 |
Defined in GHC.Exception |
|
Ord ArithException Source | Since: base-3.0 |
Defined in GHC.Exception.Type Methodscompare :: ArithException -> ArithException -> Ordering Source (<) :: ArithException -> ArithException -> Bool Source (<=) :: ArithException -> ArithException -> Bool Source (>) :: ArithException -> ArithException -> Bool Source (>=) :: ArithException -> ArithException -> Bool Source max :: ArithException -> ArithException -> ArithException Source min :: ArithException -> ArithException -> ArithException Source |
|
Ord Fingerprint Source | Since: base-4.4.0.0 |
Defined in GHC.Fingerprint.Type Methodscompare :: Fingerprint -> Fingerprint -> Ordering Source (<) :: Fingerprint -> Fingerprint -> Bool Source (<=) :: Fingerprint -> Fingerprint -> Bool Source (>) :: Fingerprint -> Fingerprint -> Bool Source (>=) :: Fingerprint -> Fingerprint -> Bool Source max :: Fingerprint -> Fingerprint -> Fingerprint Source min :: Fingerprint -> Fingerprint -> Fingerprint Source |
|
Ord Associativity Source | Since: base-4.6.0.0 |
Defined in GHC.Generics Methodscompare :: Associativity -> Associativity -> Ordering Source (<) :: Associativity -> Associativity -> Bool Source (<=) :: Associativity -> Associativity -> Bool Source (>) :: Associativity -> Associativity -> Bool Source (>=) :: Associativity -> Associativity -> Bool Source max :: Associativity -> Associativity -> Associativity Source min :: Associativity -> Associativity -> Associativity Source |
|
Ord DecidedStrictness Source | Since: base-4.9.0.0 |
Defined in GHC.Generics Methodscompare :: DecidedStrictness -> DecidedStrictness -> Ordering Source (<) :: DecidedStrictness -> DecidedStrictness -> Bool Source (<=) :: DecidedStrictness -> DecidedStrictness -> Bool Source (>) :: DecidedStrictness -> DecidedStrictness -> Bool Source (>=) :: DecidedStrictness -> DecidedStrictness -> Bool Source max :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness Source min :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness Source |
|
Ord Fixity Source | Since: base-4.6.0.0 |
Defined in GHC.Generics |
|
Ord SourceStrictness Source | Since: base-4.9.0.0 |
Defined in GHC.Generics Methodscompare :: SourceStrictness -> SourceStrictness -> Ordering Source (<) :: SourceStrictness -> SourceStrictness -> Bool Source (<=) :: SourceStrictness -> SourceStrictness -> Bool Source (>) :: SourceStrictness -> SourceStrictness -> Bool Source (>=) :: SourceStrictness -> SourceStrictness -> Bool Source max :: SourceStrictness -> SourceStrictness -> SourceStrictness Source min :: SourceStrictness -> SourceStrictness -> SourceStrictness Source |
|
Ord SourceUnpackedness Source | Since: base-4.9.0.0 |
Defined in GHC.Generics Methodscompare :: SourceUnpackedness -> SourceUnpackedness -> Ordering Source (<) :: SourceUnpackedness -> SourceUnpackedness -> Bool Source (<=) :: SourceUnpackedness -> SourceUnpackedness -> Bool Source (>) :: SourceUnpackedness -> SourceUnpackedness -> Bool Source (>=) :: SourceUnpackedness -> SourceUnpackedness -> Bool Source max :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness Source min :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness Source |
|
Ord SeekMode Source | Since: base-4.2.0.0 |
Defined in GHC.IO.Device |
|
Ord ArrayException Source | Since: base-4.2.0.0 |
Defined in GHC.IO.Exception Methodscompare :: ArrayException -> ArrayException -> Ordering Source (<) :: ArrayException -> ArrayException -> Bool Source (<=) :: ArrayException -> ArrayException -> Bool Source (>) :: ArrayException -> ArrayException -> Bool Source (>=) :: ArrayException -> ArrayException -> Bool Source max :: ArrayException -> ArrayException -> ArrayException Source min :: ArrayException -> ArrayException -> ArrayException Source |
|
Ord AsyncException Source | Since: base-4.2.0.0 |
Defined in GHC.IO.Exception Methodscompare :: AsyncException -> AsyncException -> Ordering Source (<) :: AsyncException -> AsyncException -> Bool Source (<=) :: AsyncException -> AsyncException -> Bool Source (>) :: AsyncException -> AsyncException -> Bool Source (>=) :: AsyncException -> AsyncException -> Bool Source max :: AsyncException -> AsyncException -> AsyncException Source min :: AsyncException -> AsyncException -> AsyncException Source |
|
Ord ExitCode Source | |
Defined in GHC.IO.Exception |
|
Ord BufferMode Source | Since: base-4.2.0.0 |
Defined in GHC.IO.Handle.Types Methodscompare :: BufferMode -> BufferMode -> Ordering Source (<) :: BufferMode -> BufferMode -> Bool Source (<=) :: BufferMode -> BufferMode -> Bool Source (>) :: BufferMode -> BufferMode -> Bool Source (>=) :: BufferMode -> BufferMode -> Bool Source max :: BufferMode -> BufferMode -> BufferMode Source min :: BufferMode -> BufferMode -> BufferMode Source |
|
Ord Newline Source | Since: base-4.3.0.0 |
Ord NewlineMode Source | Since: base-4.3.0.0 |
Defined in GHC.IO.Handle.Types Methodscompare :: NewlineMode -> NewlineMode -> Ordering Source (<) :: NewlineMode -> NewlineMode -> Bool Source (<=) :: NewlineMode -> NewlineMode -> Bool Source (>) :: NewlineMode -> NewlineMode -> Bool Source (>=) :: NewlineMode -> NewlineMode -> Bool Source max :: NewlineMode -> NewlineMode -> NewlineMode Source min :: NewlineMode -> NewlineMode -> NewlineMode Source |
|
Ord IOMode Source | Since: base-4.2.0.0 |
Defined in GHC.IO.IOMode |
|
Ord Int16 Source | Since: base-2.1 |
Ord Int32 Source | Since: base-2.1 |
Ord Int64 Source | Since: base-2.1 |
Ord Int8 Source | Since: base-2.1 |
Ord SomeChar Source | |
Defined in GHC.TypeLits |
|
Ord SomeSymbol Source | Since: base-4.7.0.0 |
Defined in GHC.TypeLits Methodscompare :: SomeSymbol -> SomeSymbol -> Ordering Source (<) :: SomeSymbol -> SomeSymbol -> Bool Source (<=) :: SomeSymbol -> SomeSymbol -> Bool Source (>) :: SomeSymbol -> SomeSymbol -> Bool Source (>=) :: SomeSymbol -> SomeSymbol -> Bool Source max :: SomeSymbol -> SomeSymbol -> SomeSymbol Source min :: SomeSymbol -> SomeSymbol -> SomeSymbol Source |
|
Ord SomeNat Source | Since: base-4.7.0.0 |
Ord GeneralCategory Source | Since: base-2.1 |
Defined in GHC.Unicode Methodscompare :: GeneralCategory -> GeneralCategory -> Ordering Source (<) :: GeneralCategory -> GeneralCategory -> Bool Source (<=) :: GeneralCategory -> GeneralCategory -> Bool Source (>) :: GeneralCategory -> GeneralCategory -> Bool Source (>=) :: GeneralCategory -> GeneralCategory -> Bool Source max :: GeneralCategory -> GeneralCategory -> GeneralCategory Source min :: GeneralCategory -> GeneralCategory -> GeneralCategory Source |
|
Ord Word16 Source | Since: base-2.1 |
Defined in GHC.Word |
|
Ord Word32 Source | Since: base-2.1 |
Defined in GHC.Word |
|
Ord Word64 Source | Since: base-2.1 |
Defined in GHC.Word |
|
Ord Word8 Source | Since: base-2.1 |
Ord CBlkCnt Source | |
Ord CBlkSize Source | |
Defined in System.Posix.Types |
|
Ord CCc Source | |
Ord CClockId Source | |
Defined in System.Posix.Types |
|
Ord CDev Source | |
Ord CFsBlkCnt Source | |
Defined in System.Posix.Types |
|
Ord CFsFilCnt Source | |
Defined in System.Posix.Types |
|
Ord CGid Source | |
Ord CId Source | |
Ord CIno Source | |
Ord CKey Source | |
Ord CMode Source | |
Defined in System.Posix.Types |
|
Ord CNfds Source | |
Defined in System.Posix.Types |
|
Ord CNlink Source | |
Defined in System.Posix.Types |
|
Ord COff Source | |
Ord CPid Source | |
Ord CRLim Source | |
Defined in System.Posix.Types |
|
Ord CSocklen Source | |
Defined in System.Posix.Types |
|
Ord CSpeed Source | |
Defined in System.Posix.Types |
|
Ord CSsize Source | |
Defined in System.Posix.Types |
|
Ord CTcflag Source | |
Ord CTimer Source | |
Defined in System.Posix.Types |
|
Ord CUid Source | |
Ord Fd Source | |
Ord BigNat | |
Defined in GHC.Num.BigNat |
|
Ord Ordering | |
Defined in GHC.Classes |
|
Ord TyCon | |
Defined in GHC.Classes |
|
Ord Integer | |
Ord Natural | |
Ord () | |
Ord Bool | |
Ord Char | |
Ord Double | Note that due to the presence of Also note that, due to the same,
|
Defined in GHC.Classes |
|
Ord Float | Note that due to the presence of Also note that, due to the same,
|
Defined in GHC.Classes |
|
Ord Int | |
Ord Word | |
Ord a => Ord (ZipList a) Source | Since: base-4.7.0.0 |
Defined in Control.Applicative |
|
Ord a => Ord (Identity a) Source | Since: base-4.8.0.0 |
Defined in Data.Functor.Identity Methodscompare :: Identity a -> Identity a -> Ordering Source (<) :: Identity a -> Identity a -> Bool Source (<=) :: Identity a -> Identity a -> Bool Source (>) :: Identity a -> Identity a -> Bool Source (>=) :: Identity a -> Identity a -> Bool Source |
|
Ord a => Ord (First a) Source | Since: base-2.1 |
Ord a => Ord (Last a) Source | Since: base-2.1 |
Defined in Data.Monoid |
|
Ord a => Ord (Down a) Source | Since: base-4.6.0.0 |
Defined in Data.Ord |
|
Ord a => Ord (First a) Source | Since: base-4.9.0.0 |
Ord a => Ord (Last a) Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup |
|
Ord a => Ord (Max a) Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup |
|
Ord a => Ord (Min a) Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup |
|
Ord m => Ord (WrappedMonoid m) Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup Methodscompare :: WrappedMonoid m -> WrappedMonoid m -> Ordering Source (<) :: WrappedMonoid m -> WrappedMonoid m -> Bool Source (<=) :: WrappedMonoid m -> WrappedMonoid m -> Bool Source (>) :: WrappedMonoid m -> WrappedMonoid m -> Bool Source (>=) :: WrappedMonoid m -> WrappedMonoid m -> Bool Source max :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Source min :: WrappedMonoid m -> WrappedMonoid m -> WrappedMonoid m Source |
|
Ord a => Ord (Dual a) Source | Since: base-2.1 |
Defined in Data.Semigroup.Internal |
|
Ord a => Ord (Product a) Source | Since: base-2.1 |
Defined in Data.Semigroup.Internal |
|
Ord a => Ord (Sum a) Source | Since: base-2.1 |
Defined in Data.Semigroup.Internal |
|
Ord (ForeignPtr a) Source | Since: base-2.1 |
Defined in GHC.ForeignPtr Methodscompare :: ForeignPtr a -> ForeignPtr a -> Ordering Source (<) :: ForeignPtr a -> ForeignPtr a -> Bool Source (<=) :: ForeignPtr a -> ForeignPtr a -> Bool Source (>) :: ForeignPtr a -> ForeignPtr a -> Bool Source (>=) :: ForeignPtr a -> ForeignPtr a -> Bool Source max :: ForeignPtr a -> ForeignPtr a -> ForeignPtr a Source min :: ForeignPtr a -> ForeignPtr a -> ForeignPtr a Source |
|
Ord p => Ord (Par1 p) Source | Since: base-4.7.0.0 |
Defined in GHC.Generics |
|
Ord (FunPtr a) Source | |
Ord (Ptr a) Source | Since: base-2.1 |
Integral a => Ord (Ratio a) Source | Since: base-2.0.1 |
Ord a => Ord (NonEmpty a) Source | Since: base-4.9.0.0 |
Defined in GHC.Base Methodscompare :: NonEmpty a -> NonEmpty a -> Ordering Source (<) :: NonEmpty a -> NonEmpty a -> Bool Source (<=) :: NonEmpty a -> NonEmpty a -> Bool Source (>) :: NonEmpty a -> NonEmpty a -> Bool Source (>=) :: NonEmpty a -> NonEmpty a -> Bool Source |
|
Ord a => Ord (Maybe a) Source | Since: base-2.1 |
Ord a => Ord (a) | |
Ord a => Ord [a] | |
(Ord a, Ord b) => Ord (Either a b) Source | Since: base-2.1 |
Defined in Data.Either Methodscompare :: Either a b -> Either a b -> Ordering Source (<) :: Either a b -> Either a b -> Bool Source (<=) :: Either a b -> Either a b -> Bool Source (>) :: Either a b -> Either a b -> Bool Source (>=) :: Either a b -> Either a b -> Bool Source |
|
Ord (Fixed a) Source | Since: base-2.1 |
Ord (Proxy s) Source | Since: base-4.7.0.0 |
Ord a => Ord (Arg a b) Source | Since: base-4.9.0.0 |
Ord (TypeRep a) Source | Since: base-4.4.0.0 |
Defined in Data.Typeable.Internal |
|
(Ix i, Ord e) => Ord (Array i e) Source | Since: base-2.1 |
Defined in GHC.Arr |
|
Ord (U1 p) Source | Since: base-4.7.0.0 |
Ord (V1 p) Source | Since: base-4.9.0.0 |
(Ord a, Ord b) => Ord (a, b) | |
Defined in GHC.Classes |
|
Ord a => Ord (Const a b) Source | Since: base-4.9.0.0 |
Defined in Data.Functor.Const |
|
Ord (f a) => Ord (Ap f a) Source | Since: base-4.12.0.0 |
Defined in Data.Monoid |
|
Ord (f a) => Ord (Alt f a) Source | Since: base-4.8.0.0 |
Defined in Data.Semigroup.Internal |
|
Ord (Coercion a b) Source | Since: base-4.7.0.0 |
Defined in Data.Type.Coercion Methodscompare :: Coercion a b -> Coercion a b -> Ordering Source (<) :: Coercion a b -> Coercion a b -> Bool Source (<=) :: Coercion a b -> Coercion a b -> Bool Source (>) :: Coercion a b -> Coercion a b -> Bool Source (>=) :: Coercion a b -> Coercion a b -> Bool Source |
|
Ord (a :~: b) Source | Since: base-4.7.0.0 |
Defined in Data.Type.Equality |
|
Ord (f p) => Ord (Rec1 f p) Source | Since: base-4.7.0.0 |
Defined in GHC.Generics |
|
Ord (URec (Ptr ()) p) Source | Since: base-4.9.0.0 |
Defined in GHC.Generics Methodscompare :: URec (Ptr ()) p -> URec (Ptr ()) p -> Ordering Source (<) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source (<=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source (>) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source (>=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source max :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p Source min :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p Source |
|
Ord (URec Char p) Source | Since: base-4.9.0.0 |
Defined in GHC.Generics Methodscompare :: URec Char p -> URec Char p -> Ordering Source (<) :: URec Char p -> URec Char p -> Bool Source (<=) :: URec Char p -> URec Char p -> Bool Source (>) :: URec Char p -> URec Char p -> Bool Source (>=) :: URec Char p -> URec Char p -> Bool Source |
|
Ord (URec Double p) Source | Since: base-4.9.0.0 |
Defined in GHC.Generics Methodscompare :: URec Double p -> URec Double p -> Ordering Source (<) :: URec Double p -> URec Double p -> Bool Source (<=) :: URec Double p -> URec Double p -> Bool Source (>) :: URec Double p -> URec Double p -> Bool Source (>=) :: URec Double p -> URec Double p -> Bool Source max :: URec Double p -> URec Double p -> URec Double p Source min :: URec Double p -> URec Double p -> URec Double p Source |
|
Ord (URec Float p) Source | |
Defined in GHC.Generics Methodscompare :: URec Float p -> URec Float p -> Ordering Source (<) :: URec Float p -> URec Float p -> Bool Source (<=) :: URec Float p -> URec Float p -> Bool Source (>) :: URec Float p -> URec Float p -> Bool Source (>=) :: URec Float p -> URec Float p -> Bool Source |
|
Ord (URec Int p) Source | Since: base-4.9.0.0 |
Defined in GHC.Generics Methodscompare :: URec Int p -> URec Int p -> Ordering Source (<) :: URec Int p -> URec Int p -> Bool Source (<=) :: URec Int p -> URec Int p -> Bool Source (>) :: URec Int p -> URec Int p -> Bool Source (>=) :: URec Int p -> URec Int p -> Bool Source |
|
Ord (URec Word p) Source | Since: base-4.9.0.0 |
Defined in GHC.Generics Methodscompare :: URec Word p -> URec Word p -> Ordering Source (<) :: URec Word p -> URec Word p -> Bool Source (<=) :: URec Word p -> URec Word p -> Bool Source (>) :: URec Word p -> URec Word p -> Bool Source (>=) :: URec Word p -> URec Word p -> Bool Source |
|
(Ord a, Ord b, Ord c) => Ord (a, b, c) | |
Defined in GHC.Classes |
|
(Ord1 f, Ord1 g, Ord a) => Ord (Product f g a) Source | Since: base-4.9.0.0 |
Defined in Data.Functor.Product Methodscompare :: Product f g a -> Product f g a -> Ordering Source (<) :: Product f g a -> Product f g a -> Bool Source (<=) :: Product f g a -> Product f g a -> Bool Source (>) :: Product f g a -> Product f g a -> Bool Source (>=) :: Product f g a -> Product f g a -> Bool Source max :: Product f g a -> Product f g a -> Product f g a Source min :: Product f g a -> Product f g a -> Product f g a Source |
|
(Ord1 f, Ord1 g, Ord a) => Ord (Sum f g a) Source | Since: base-4.9.0.0 |
Defined in Data.Functor.Sum |
|
Ord (a :~~: b) Source | Since: base-4.10.0.0 |
Defined in Data.Type.Equality Methodscompare :: (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 |
|
(Ord (f p), Ord (g p)) => Ord ((f :*: g) p) Source | Since: base-4.7.0.0 |
Defined in GHC.Generics Methodscompare :: (f :*: g) p -> (f :*: g) p -> Ordering Source (<) :: (f :*: g) p -> (f :*: g) p -> Bool Source (<=) :: (f :*: g) p -> (f :*: g) p -> Bool Source (>) :: (f :*: g) p -> (f :*: g) p -> Bool Source (>=) :: (f :*: g) p -> (f :*: g) p -> Bool Source |
|
(Ord (f p), Ord (g p)) => Ord ((f :+: g) p) Source | Since: base-4.7.0.0 |
Defined in GHC.Generics Methodscompare :: (f :+: g) p -> (f :+: g) p -> Ordering Source (<) :: (f :+: g) p -> (f :+: g) p -> Bool Source (<=) :: (f :+: g) p -> (f :+: g) p -> Bool Source (>) :: (f :+: g) p -> (f :+: g) p -> Bool Source (>=) :: (f :+: g) p -> (f :+: g) p -> Bool Source |
|
Ord c => Ord (K1 i c p) Source | Since: base-4.7.0.0 |
Defined in GHC.Generics |
|
(Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d) | |
Defined in GHC.Classes Methodscompare :: (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 |
|
(Ord1 f, Ord1 g, Ord a) => Ord (Compose f g a) Source | Since: base-4.9.0.0 |
Defined in Data.Functor.Compose Methodscompare :: Compose f g a -> Compose f g a -> Ordering Source (<) :: Compose f g a -> Compose f g a -> Bool Source (<=) :: Compose f g a -> Compose f g a -> Bool Source (>) :: Compose f g a -> Compose f g a -> Bool Source (>=) :: Compose f g a -> Compose f g a -> Bool Source max :: Compose f g a -> Compose f g a -> Compose f g a Source min :: Compose f g a -> Compose f g a -> Compose f g a Source |
|
Ord (f (g p)) => Ord ((f :.: g) p) Source | Since: base-4.7.0.0 |
Defined in GHC.Generics Methodscompare :: (f :.: g) p -> (f :.: g) p -> Ordering Source (<) :: (f :.: g) p -> (f :.: g) p -> Bool Source (<=) :: (f :.: g) p -> (f :.: g) p -> Bool Source (>) :: (f :.: g) p -> (f :.: g) p -> Bool Source (>=) :: (f :.: g) p -> (f :.: g) p -> Bool Source |
|
Ord (f p) => Ord (M1 i c f p) Source | Since: base-4.7.0.0 |
Defined in GHC.Generics Methodscompare :: M1 i c f p -> M1 i c f p -> Ordering Source (<) :: M1 i c f p -> M1 i c f p -> Bool Source (<=) :: M1 i c f p -> M1 i c f p -> Bool Source (>) :: M1 i c f p -> M1 i c f p -> Bool Source (>=) :: M1 i c f p -> M1 i c f p -> Bool Source |
|
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (a, b, c, d, e) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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) | |
Defined in GHC.Classes Methodscompare :: (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 |
Instances
The Down
type allows you to reverse sort order conveniently. A value of type Down a
contains a value of type a
(represented as Down a
).
If a
has an Ord
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 by Down x
.
>>> compare True False
GT
>>> compare (Down True) (Down False)
LT
If a
has a Bounded
instance then the wrapped instance also respects the reversed ordering by exchanging the values of minBound
and maxBound
.
>>> minBound :: Int
-9223372036854775808
>>> minBound :: Down Int
Down 9223372036854775807
All other instances of Down a
behave as they do for a
.
Since: base-4.6.0.0
Instances
MonadFix Down Source | Since: base-4.12.0.0 |
Defined in Control.Monad.Fix |
|
MonadZip Down Source | Since: base-4.12.0.0 |
Foldable Down Source | Since: base-4.12.0.0 |
Defined in Data.Foldable Methodsfold :: Monoid m => Down m -> m Source foldMap :: Monoid m => (a -> m) -> Down a -> m Source foldMap' :: Monoid m => (a -> m) -> Down a -> m Source foldr :: (a -> b -> b) -> b -> Down a -> b Source foldr' :: (a -> b -> b) -> b -> Down a -> b Source foldl :: (b -> a -> b) -> b -> Down a -> b Source foldl' :: (b -> a -> b) -> b -> Down a -> b Source foldr1 :: (a -> a -> a) -> Down a -> a Source foldl1 :: (a -> a -> a) -> Down a -> a Source toList :: Down a -> [a] Source length :: Down a -> Int Source elem :: Eq a => a -> Down a -> Bool Source maximum :: Ord a => Down a -> a Source minimum :: Ord a => Down a -> a Source |
|
Eq1 Down Source | Since: base-4.12.0.0 |
Ord1 Down Source | Since: base-4.12.0.0 |
Defined in Data.Functor.Classes |
|
Read1 Down Source | Since: base-4.12.0.0 |
Defined in Data.Functor.Classes MethodsliftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Down a) Source liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Down a] Source liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Down a) Source liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Down a] Source |
|
Show1 Down Source | Since: base-4.12.0.0 |
Traversable Down Source | Since: base-4.12.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 |
Generic1 Down Source | |
Data a => Data (Down a) Source | Since: base-4.12.0.0 |
Defined in Data.Data Methodsgfoldl :: (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 -> Constr Source dataTypeOf :: Down a -> DataType Source 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 a Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Down a -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Down a -> r Source gmapQ :: (forall d. Data d => d -> u) -> Down a -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Down a -> u Source 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 |
|
Storable a => Storable (Down a) Source | Since: base-4.14.0.0 |
Defined in Data.Ord MethodssizeOf :: Down a -> Int Source alignment :: Down a -> Int Source peekElemOff :: Ptr (Down a) -> Int -> IO (Down a) Source pokeElemOff :: Ptr (Down a) -> Int -> Down a -> IO () Source peekByteOff :: Ptr b -> Int -> IO (Down a) Source pokeByteOff :: Ptr b -> Int -> Down a -> IO () Source |
|
Monoid a => Monoid (Down a) Source | Since: base-4.11.0.0 |
Semigroup a => Semigroup (Down a) Source | Since: base-4.11.0.0 |
Bits a => Bits (Down a) Source | Since: base-4.14.0.0 |
Defined in Data.Ord Methods(.&.) :: Down a -> Down a -> Down a Source (.|.) :: Down a -> Down a -> Down a Source xor :: Down a -> Down a -> Down a Source complement :: Down a -> Down a Source shift :: Down a -> Int -> Down a Source rotate :: Down a -> Int -> Down a Source setBit :: Down a -> Int -> Down a Source clearBit :: Down a -> Int -> Down a Source complementBit :: Down a -> Int -> Down a Source testBit :: Down a -> Int -> Bool Source bitSizeMaybe :: Down a -> Maybe Int Source bitSize :: Down a -> Int Source isSigned :: Down a -> Bool Source shiftL :: Down a -> Int -> Down a Source unsafeShiftL :: Down a -> Int -> Down a Source shiftR :: Down a -> Int -> Down a Source unsafeShiftR :: Down a -> Int -> Down a Source rotateL :: Down a -> Int -> Down a Source |
|
FiniteBits a => FiniteBits (Down a) Source | Since: base-4.14.0.0 |
Defined in Data.Ord MethodsfiniteBitSize :: Down a -> Int Source countLeadingZeros :: Down a -> Int Source countTrailingZeros :: Down a -> Int Source |
|
Bounded a => Bounded (Down a) Source | Swaps Since: base-4.14.0.0 |
Floating a => Floating (Down a) Source | Since: base-4.14.0.0 |
Defined in Data.Ord Methodsexp :: 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 |
Defined in Data.Ord MethodsfloatRadix :: Down a -> Integer Source floatDigits :: Down a -> Int Source floatRange :: Down a -> (Int, Int) Source decodeFloat :: Down a -> (Integer, Int) Source encodeFloat :: Integer -> Int -> Down a Source exponent :: Down a -> Int Source significand :: Down a -> Down a Source scaleFloat :: Int -> Down a -> Down a Source isNaN :: Down a -> Bool Source isInfinite :: Down a -> Bool Source isDenormalized :: Down a -> Bool Source isNegativeZero :: Down a -> Bool Source |
|
Generic (Down a) Source | |
Ix a => Ix (Down a) Source | Since: base-4.14.0.0 |
Defined in Data.Ord Methodsrange :: (Down a, Down a) -> [Down a] Source index :: (Down a, Down a) -> Down a -> Int Source unsafeIndex :: (Down a, Down a) -> Down a -> Int Source inRange :: (Down a, Down a) -> Down a -> Bool Source rangeSize :: (Down a, Down a) -> Int Source unsafeRangeSize :: (Down a, Down a) -> Int Source |
|
Num a => Num (Down a) Source | Since: base-4.11.0.0 |
Read a => Read (Down a) Source | This instance would be equivalent to the derived instances of the Since: base-4.7.0.0 |
Fractional a => Fractional (Down a) Source | Since: base-4.14.0.0 |
Real a => Real (Down a) Source | Since: base-4.14.0.0 |
Defined in Data.Ord MethodstoRational :: Down a -> Rational Source |
|
RealFrac a => RealFrac (Down a) Source | Since: base-4.14.0.0 |
Show a => Show (Down a) Source | This instance would be equivalent to the derived instances of the Since: base-4.7.0.0 |
Eq a => Eq (Down a) Source | Since: base-4.6.0.0 |