Modulelinear-base-0.8.1

Data.Ord.Linear

Synopsis

value max
value min
data Ordering
class Eq
class Ord

Packagelinear-base-0.8.1
Exports5
LicenceMIT

valuemax :: (Dupable a, Ord a) => a %1 -> a %1 -> a

valuemin :: (Dupable a, Ord a) => a %1 -> a %1 -> a

datadata Ordering

LT EQ GT

Instances30Bounded, Enum, Data, Read, Show, Ix, …

Bounded OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Enum
Enum OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Enum
Eq OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Classes
Data OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Data.Data
Ord OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Classes
Read OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Read
Show OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Show
Ix OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Ix
Generic OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Generics
Semigroup OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Base
Monoid OrderingDefined in ghc-internal-10.0.0 · GHC.Internal.Base
NFData OrderingDefined in deepseq-1.5.2.0 · Control.DeepSeq
Pretty OrderingDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJClass
Pretty OrderingDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Finite OrderingDefined in random-1.3.1 · System.Random.GFinite
Arbitrary OrderingDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary OrderingDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Arbitrary
Function OrderingDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Function
Binary OrderingDefined in binary-0.8.9.3 · Data.Binary.Class
Hashable OrderingDefined in hashable-1.5.1.0 · Data.Hashable.Class
Generic OrderingDefined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan
Monoid OrderingDefined in linear-base-0.8.1 · Data.Monoid.Linear.Internal.Monoid
Consumable OrderingDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Dupable OrderingDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Movable OrderingDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Semigroup OrderingDefined in linear-base-0.8.1 · Data.Monoid.Linear.Internal.Semigroup
Eq OrderingDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Ord OrderingDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
type Rep Ordering = D1 ('MetaData "Ordering" "GHC.Internal.Types" "ghc-internal" 'False) (C1 ('MetaCons "LT" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "EQ" 'PrefixI 'False) U1 :+: C1 ('MetaCons "GT" 'PrefixI 'False) U1))Defined in ghc-internal-10.0.0 · GHC.Internal.Generics
type Rep Ordering = D1 ('MetaData "Ordering" "GHC.Internal.Types" "ghc-internal" 'False) (C1 ('MetaCons "LT" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "EQ" 'PrefixI 'False) U1 :+: C1 ('MetaCons "GT" 'PrefixI 'False) U1))Defined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan

classclass Eq a where

Methods

(==) :: a %1 -> a %1 -> Boolinfix 4
(/=) :: a %1 -> a %1 -> Boolinfix 4

Instances24Eq, …

Eq Int16Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq Int32Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq Int64Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq Int8Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq BoolDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq CharDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq DoubleDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq IntDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq OrderingDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq Word16Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq Word32Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq Word64Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq Word8Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq ()Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Eq a => Eq (Ur a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Eq a, Movable a) => Eq (MovableEq a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Eq a, Movable a) => Eq (MovableOrd a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Consumable a, Eq a) => Eq (NonEmpty a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Consumable a, Eq a) => Eq (Maybe a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Consumable a, Eq a) => Eq [a]Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Eq a, Eq b) => Eq (a, b)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Consumable a, Consumable b, Eq a, Eq b) => Eq (Either a b)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Eq a, Eq b, Eq c) => Eq (a, b, c)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq

classclass Eq a => Ord a where

Methods

compare :: a %1 -> a %1 -> Orderinginfix 4
(<=) :: a %1 -> a %1 -> Boolinfix 4
(<) :: a %1 -> a %1 -> Boolinfix 4
(>) :: a %1 -> a %1 -> Boolinfix 4
(>=) :: a %1 -> a %1 -> Boolinfix 4

Instances23Ord, …

Ord Int16Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord Int32Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord Int64Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord Int8Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord BoolDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord CharDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord DoubleDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord IntDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord OrderingDefined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord Word16Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord Word32Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord Word64Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord Word8Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord ()Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
Ord a => Ord (Ur a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Ord a, Movable a) => Ord (MovableOrd a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Consumable a, Ord a) => Ord (NonEmpty a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Consumable a, Ord a) => Ord (Maybe a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Consumable a, Ord a) => Ord [a]Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Ord a, Ord b) => Ord (a, b)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Consumable a, Consumable b, Ord a, Ord b) => Ord (Either a b)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Ord a, Ord b, Ord c) => Ord (a, b, c)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
(Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord