Moduleplutus-tx-1.70.0.0

PlutusTx.Ord

1 type
1 class
1 value

Packageplutus-tx-1.70.0.0
Exports3
LicenceApache-2.0

valuederiveOrd :: Name -> Q [Dec]

datadata Ordering

LT EQ GT

Instances40Bounded, Data, Read, Show, Ix, Generic, …

Bounded OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Enum
Enum OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Enum
Eq OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Classes
Data OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Data
Ord OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Classes
Read OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Read
Show OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Show
Ix OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Ix
Generic OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Generics
Semigroup OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Base
Monoid OrderingDefined in ghc-internal-9.1401.0 · GHC.Internal.Base
NFData OrderingDefined in deepseq-1.5.1.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
Binary OrderingDefined in binary-0.8.9.3 · Data.Binary.Class
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
Hashable OrderingDefined in hashable-1.5.1.0 · Data.Hashable.Class
FromJSON OrderingDefined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSON
ToJSON OrderingDefined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSON
Default OrderingDefined in data-default-0.8.0.2 · Data.Default.Internal
Serialise OrderingDefined in serialise-0.2.6.1 · Codec.Serialise.Class
Finite OrderingDefined in universe-base-1.1.4 · Data.Universe.Class
Universe OrderingDefined in universe-base-1.1.4 · Data.Universe.Class
AsEmpty OrderingDefined in lens-5.3.6 · Control.Lens.Empty
PrettyVal OrderingDefined in pretty-show-1.10 · Text.Show.PrettyVal
Monoid OrderingDefined in plutus-tx-1.70.0.0 · PlutusTx.Monoid
Semigroup OrderingDefined in plutus-tx-1.70.0.0 · PlutusTx.Semigroup
Eq OrderingDefined in plutus-tx-1.70.0.0 · PlutusTx.Eq · orphan
Ord OrderingDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
Enum OrderingDefined in plutus-tx-1.70.0.0 · PlutusTx.Enum · orphan
() :=> Monoid OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Semigroup OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Bounded OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Read OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Show OrderingDefined in constraints-0.14.4 · Data.Constraint
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-9.1401.0 · GHC.Internal.Generics

classclass Eq a => Ord a where

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

Instances36Ord, …

Ord IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord.Class
Ord BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
Ord OrderingDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
Ord BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord.Class
Ord RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio
Ord ()Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
Ord a => Ord (Maybe a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
Ord a => Ord [a]Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(Ord a, Ord b) => Ord (Either a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(Ord a, Ord b) => Ord (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These
(Ord a, Ord b) => Ord (a, b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(Ord a, Ord b, Ord c) => Ord (a, b, c)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (a, b, c, d, e)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (a, b, c, d, e, f)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (a, b, c, d, e, f, g)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s, Ord t) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w, Ord x) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w, Ord x, Ord y) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w, Ord x, Ord y, Ord z) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w, Ord x, Ord y, Ord z, Ord t26) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphan

Orphan instances

32 instances

Ord Bool
Ord Ordering
Ord ()
Ord a => Ord (Maybe a)
Ord a => Ord [a]
(Ord a, Ord b) => Ord (Either a b)
(Ord a, Ord b) => Ord (a, b)
(Ord a, Ord b, Ord c) => Ord (a, b, c)
(Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d)
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (a, b, c, d, e)
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (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)
(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)
(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)
(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)
(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)
(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)
(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)
(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)
(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)
(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 p) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)
(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 p, Ord q) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)
(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 p, Ord q, Ord r) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)
(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 p, Ord q, Ord r, Ord s) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)
(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 p, Ord q, Ord r, Ord s, Ord t) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w, Ord x) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w, Ord x, Ord y) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w, Ord x, Ord y, Ord z) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)
(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 p, Ord q, Ord r, Ord s, Ord t, Ord u, Ord v, Ord w, Ord x, Ord y, Ord z, Ord t26) => Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26)