Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Ord

Contents

Orphan instances

Synopsis

class Eq a ⇒ Ord a where
- compare ∷ a → a → Ordering
- (<), (<=), (>), (>=) ∷ a → a → Bool
- max, min ∷ a → a → a
data Ordering
- = LT
- | EQ
- | GT

Documentation

class Eq a ⇒ Ord a where Source #

The Ord class is used for totally ordered datatypes.

Minimal complete definition: either compare or <=. Using compare can be more efficient for complex types.

Minimal complete definition

Nothing

Methods

compare ∷ a → a → Ordering Source #

(<) ∷ a → a → Bool infix 4 Source #

(<=) ∷ a → a → Bool infix 4 Source #

(>) ∷ a → a → Bool infix 4 Source #

(>=) ∷ a → a → Bool infix 4 Source #

max ∷ a → a → a Source #

min ∷ a → a → a Source #

Instances

Instances details

Ord BuiltinByteString Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ BuiltinByteString → BuiltinByteString → Ordering Source # (<) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (<=) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (>) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (>=) ∷ BuiltinByteString → BuiltinByteString → Bool Source # max ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source # min ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #
Ord Rational Source #
Instance details Defined in PlutusTx.Ratio Methods compare ∷ Rational → Rational → Ordering Source # (<) ∷ Rational → Rational → Bool Source # (<=) ∷ Rational → Rational → Bool Source # (>) ∷ Rational → Rational → Bool Source # (>=) ∷ Rational → Rational → Bool Source # max ∷ Rational → Rational → Rational Source # min ∷ Rational → Rational → Rational Source #
Ord Integer Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ Integer → Integer → Ordering Source # (<) ∷ Integer → Integer → Bool Source # (<=) ∷ Integer → Integer → Bool Source # (>) ∷ Integer → Integer → Bool Source # (>=) ∷ Integer → Integer → Bool Source # max ∷ Integer → Integer → Integer Source # min ∷ Integer → Integer → Integer Source #
Ord () Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ () → () → Ordering Source # (<) ∷ () → () → Bool Source # (<=) ∷ () → () → Bool Source # (>) ∷ () → () → Bool Source # (>=) ∷ () → () → Bool Source # max ∷ () → () → () Source # min ∷ () → () → () Source #
Ord Bool Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ Bool → Bool → Ordering Source # (<) ∷ Bool → Bool → Bool Source # (<=) ∷ Bool → Bool → Bool Source # (>) ∷ Bool → Bool → Bool Source # (>=) ∷ Bool → Bool → Bool Source # max ∷ Bool → Bool → Bool Source # min ∷ Bool → Bool → Bool Source #
Ord a ⇒ Ord (Maybe a) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ Maybe a → Maybe a → Ordering Source # (<) ∷ Maybe a → Maybe a → Bool Source # (<=) ∷ Maybe a → Maybe a → Bool Source # (>) ∷ Maybe a → Maybe a → Bool Source # (>=) ∷ Maybe a → Maybe a → Bool Source # max ∷ Maybe a → Maybe a → Maybe a Source # min ∷ Maybe a → Maybe a → Maybe a Source #
Ord a ⇒ Ord [a] Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ [a] → [a] → Ordering Source # (<) ∷ [a] → [a] → Bool Source # (<=) ∷ [a] → [a] → Bool Source # (>) ∷ [a] → [a] → Bool Source # (>=) ∷ [a] → [a] → Bool Source # max ∷ [a] → [a] → [a] Source # min ∷ [a] → [a] → [a] Source #
(Ord a, Ord b) ⇒ Ord (Either a b) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ 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 # max ∷ Either a b → Either a b → Either a b Source # min ∷ Either a b → Either a b → Either a b Source #
(Ord a, Ord b) ⇒ Ord (These a b) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ These a b → These a b → Ordering Source # (<) ∷ These a b → These a b → Bool Source # (<=) ∷ These a b → These a b → Bool Source # (>) ∷ These a b → These a b → Bool Source # (>=) ∷ These a b → These a b → Bool Source # max ∷ These a b → These a b → These a b Source # min ∷ These a b → These a b → These a b Source #
(Ord a, Ord b) ⇒ Ord (a, b) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b) → (a, b) → Ordering Source # (<) ∷ (a, b) → (a, b) → Bool Source # (<=) ∷ (a, b) → (a, b) → Bool Source # (>) ∷ (a, b) → (a, b) → Bool Source # (>=) ∷ (a, b) → (a, b) → Bool Source # max ∷ (a, b) → (a, b) → (a, b) Source # min ∷ (a, b) → (a, b) → (a, b) Source #

data Ordering Source #

Constructors

LT
EQ
GT

Instances

Instances details

FromJSON Ordering
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON ∷ Value → Parser Ordering Source # parseJSONList ∷ Value → Parser [Ordering] Source # omittedField ∷ Maybe Ordering Source #
ToJSON Ordering
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON ∷ Ordering → Value Source # toEncoding ∷ Ordering → Encoding Source # toJSONList ∷ [Ordering] → Value Source # toEncodingList ∷ [Ordering] → Encoding Source # omitField ∷ Ordering → Bool Source #
Data Ordering	Since: base-4.0.0.0
Instance details Defined in Data.Data Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Ordering → c Ordering Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Ordering Source # toConstr ∷ Ordering → Constr Source # dataTypeOf ∷ Ordering → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Ordering) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Ordering) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Ordering → Ordering Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Ordering → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Ordering → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Ordering → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Ordering → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Ordering → m Ordering Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Ordering → m Ordering Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Ordering → m Ordering Source #
Monoid Ordering	Since: base-2.1
Instance details Defined in GHC.Base Methods mempty ∷ Ordering Source # mappend ∷ Ordering → Ordering → Ordering Source # mconcat ∷ [Ordering] → Ordering Source #
Semigroup Ordering	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (<>) ∷ Ordering → Ordering → Ordering Source # sconcat ∷ NonEmpty Ordering → Ordering Source # stimes ∷ Integral b ⇒ b → Ordering → Ordering Source #
Bounded Ordering	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound ∷ Ordering Source # maxBound ∷ Ordering Source #
Enum Ordering	Since: base-2.1
Instance details Defined in GHC.Enum Methods succ ∷ Ordering → Ordering Source # pred ∷ Ordering → Ordering Source # toEnum ∷ Int → Ordering Source # fromEnum ∷ Ordering → Int Source # enumFrom ∷ Ordering → [Ordering] Source # enumFromThen ∷ Ordering → Ordering → [Ordering] Source # enumFromTo ∷ Ordering → Ordering → [Ordering] Source # enumFromThenTo ∷ Ordering → Ordering → Ordering → [Ordering] Source #
Generic Ordering
Instance details Defined in GHC.Generics Associated Types type Rep Ordering ∷ Type → Type Source # Methods from ∷ Ordering → Rep Ordering x Source # to ∷ Rep Ordering x → Ordering Source #
Ix Ordering	Since: base-2.1
Instance details Defined in GHC.Ix Methods range ∷ (Ordering, Ordering) → [Ordering] Source # index ∷ (Ordering, Ordering) → Ordering → Int Source # unsafeIndex ∷ (Ordering, Ordering) → Ordering → Int Source # inRange ∷ (Ordering, Ordering) → Ordering → Bool Source # rangeSize ∷ (Ordering, Ordering) → Int Source # unsafeRangeSize ∷ (Ordering, Ordering) → Int Source #
Read Ordering	Since: base-2.1
Instance details Defined in GHC.Read Methods readsPrec ∷ Int → ReadS Ordering Source # readList ∷ ReadS [Ordering] Source # readPrec ∷ ReadPrec Ordering Source # readListPrec ∷ ReadPrec [Ordering] Source #
Show Ordering	Since: base-2.1
Instance details Defined in GHC.Show Methods showsPrec ∷ Int → Ordering → ShowS Source # show ∷ Ordering → String Source # showList ∷ [Ordering] → ShowS Source #
Default Ordering
Instance details Defined in Data.Default.Class Methods def ∷ Ordering Source #
NFData Ordering
Instance details Defined in Control.DeepSeq Methods rnf ∷ Ordering → () Source #
Eq Ordering
Instance details Defined in GHC.Classes Methods (==) ∷ Ordering → Ordering → Bool Source # (/=) ∷ Ordering → Ordering → Bool Source #
Ord Ordering
Instance details Defined in GHC.Classes Methods compare ∷ Ordering → Ordering → Ordering Source # (<) ∷ Ordering → Ordering → Bool Source # (<=) ∷ Ordering → Ordering → Bool Source # (>) ∷ Ordering → Ordering → Bool Source # (>=) ∷ Ordering → Ordering → Bool Source # max ∷ Ordering → Ordering → Ordering Source # min ∷ Ordering → Ordering → Ordering Source #
Hashable Ordering
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Ordering → Int Source # hash ∷ Ordering → Int Source #
AsEmpty Ordering
Instance details Defined in Control.Lens.Empty Methods _Empty ∷ Prism' Ordering ()
Enum Ordering Source #
Instance details Defined in PlutusTx.Enum Methods succ ∷ Ordering → Ordering Source # pred ∷ Ordering → Ordering Source # toEnum ∷ Integer → Ordering Source # fromEnum ∷ Ordering → Integer Source # enumFromTo ∷ Ordering → Ordering → [Ordering] Source # enumFromThenTo ∷ Ordering → Ordering → Ordering → [Ordering] Source #
Eq Ordering Source #
Instance details Defined in PlutusTx.Ord Methods (==) ∷ Ordering → Ordering → Bool Source #
Semigroup Ordering Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) ∷ Ordering → Ordering → Ordering Source #
Serialise Ordering	Since: serialise-0.2.0.0
Instance details Defined in Codec.Serialise.Class Methods encode ∷ Ordering → Encoding Source # decode ∷ Decoder s Ordering Source # encodeList ∷ [Ordering] → Encoding Source # decodeList ∷ Decoder s [Ordering] Source #
type Rep Ordering	Since: base-4.6.0.0
Instance details Defined in GHC.Generics type Rep Ordering = D1 ('MetaData "Ordering" "GHC.Types" "ghc-prim" 'False) (C1 ('MetaCons "LT" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EQ" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "GT" 'PrefixI 'False) (U1 ∷ Type → Type)))

Orphan instances

Eq Ordering Source #
Instance details Methods (==) ∷ Ordering → Ordering → Bool Source #