Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Ord.Class

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

compare | (<=)

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 Ordering Source #
Instance details Defined in PlutusTx.Ord 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 #
Ord BuiltinByteString Source #
Instance details Defined in PlutusTx.Ord.Class 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.Class 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.These 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 #
(Ord a, Ord b, Ord c) ⇒ Ord (a, b, c) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c) → (a, b, c) → Ordering Source # (<) ∷ (a, b, c) → (a, b, c) → Bool Source # (<=) ∷ (a, b, c) → (a, b, c) → Bool Source # (>) ∷ (a, b, c) → (a, b, c) → Bool Source # (>=) ∷ (a, b, c) → (a, b, c) → Bool Source # max ∷ (a, b, c) → (a, b, c) → (a, b, c) Source # min ∷ (a, b, c) → (a, b, c) → (a, b, c) Source #
(Ord a, Ord b, Ord c, Ord d) ⇒ Ord (a, b, c, d) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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 # max ∷ (a, b, c, d) → (a, b, c, d) → (a, b, c, d) Source # min ∷ (a, b, c, d) → (a, b, c, d) → (a, b, c, d) Source #
(Ord a, Ord b, Ord c, Ord d, Ord e) ⇒ Ord (a, b, c, d, e) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) Source #
Instance details Defined in PlutusTx.Ord 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 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) Source #
Instance details Defined in PlutusTx.Ord 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 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) Source #
Instance details Defined in PlutusTx.Ord 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 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) Source #
Instance details Defined in PlutusTx.Ord 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 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) Source #
Instance details Defined in PlutusTx.Ord 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 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 #
(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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) 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 p, Ord q) ⇒ Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) 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 p, Ord q, Ord r) ⇒ Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → Ordering Source # (<) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → Bool Source # (<=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → Bool Source # (>) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → Bool Source # (>=) ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → Bool Source # max ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source # min ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) → (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) → Ordering Source # (<) ∷ (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) → (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) → Bool Source # (<=) ∷ (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) → (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) → Bool Source # (>) ∷ (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) → (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) → Bool Source # (>=) ∷ (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) → (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) → Bool Source # max ∷ (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) → (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) → (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) Source # min ∷ (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) → (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) → (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) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) → (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) → Ordering Source # (<) ∷ (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) → (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) → Bool Source # (<=) ∷ (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) → (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) → Bool Source # (>) ∷ (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) → (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) → Bool Source # (>=) ∷ (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) → (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) → Bool Source # max ∷ (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) → (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) → (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) Source # min ∷ (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) → (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) → (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) 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 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) Source #
Instance details Defined in PlutusTx.Ord Methods compare ∷ (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) → (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) → Ordering Source # (<) ∷ (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) → (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) → Bool Source # (<=) ∷ (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) → (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) → Bool Source # (>) ∷ (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) → (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) → Bool Source # (>=) ∷ (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) → (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) → Bool Source # max ∷ (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) → (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) → (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) Source # min ∷ (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) → (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) → (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) 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 parseJSONList ∷ Value → Parser [Ordering] omittedField ∷ Maybe Ordering
ToJSON Ordering
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON ∷ Ordering → Value toEncoding ∷ Ordering → Encoding toJSONList ∷ [Ordering] → Value toEncodingList ∷ [Ordering] → Encoding omitField ∷ Ordering → Bool
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.Internal Methods def ∷ Ordering #
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.Eq Methods (==) ∷ Ordering → Ordering → Bool Source #
Monoid Ordering Source #
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ Ordering Source #
Ord Ordering Source #
Instance details Defined in PlutusTx.Ord 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 #
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)))