Moduleplutus-tx-1.70.0.0
PlutusTx.Ord
Synopsis
Instances40Bounded, Data, Read, Show, Ix, Generic, …
Cclassclass Eq a => Ord a where Instances36Ord, …
Ord IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord.ClassOrd BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphanOrd OrderingDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphanOrd BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord.ClassOrd RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.RatioOrd ()Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphanOrd a => Ord (Maybe a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Ord · orphanOrd 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 instancesOrd BoolOrd OrderingOrd ()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)