Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Eq.Class

Synopsis

class Eq a where
- (==) ∷ a → a → Bool
(/=) ∷ Eq a ⇒ a → a → Bool

Documentation

class Eq a where Source #

The Eq class defines equality (==).

(/=) deliberately omitted, to make this a one-method class which has a simpler representation

Methods

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

Instances

Instances details

Eq Ordering Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ Ordering → Ordering → Bool Source #
Eq BuiltinBLS12_381_G1_Element Source #
Instance details Defined in PlutusTx.Eq.Class Methods (==) ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → Bool Source #
Eq BuiltinBLS12_381_G2_Element Source #
Instance details Defined in PlutusTx.Eq.Class Methods (==) ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → Bool Source #
Eq BuiltinByteString Source #
Instance details Defined in PlutusTx.Eq.Class Methods (==) ∷ BuiltinByteString → BuiltinByteString → Bool Source #
Eq BuiltinData Source #
Instance details Defined in PlutusTx.Eq.Class Methods (==) ∷ BuiltinData → BuiltinData → Bool Source #
Eq BuiltinString Source #
Instance details Defined in PlutusTx.Eq.Class Methods (==) ∷ BuiltinString → BuiltinString → Bool Source #
Eq Rational Source #
Instance details Defined in PlutusTx.Ratio Methods (==) ∷ Rational → Rational → Bool Source #
Eq Integer Source #
Instance details Defined in PlutusTx.Eq.Class Methods (==) ∷ Integer → Integer → Bool Source #
Eq () Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ () → () → Bool Source #
Eq Bool Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ Bool → Bool → Bool Source #
Eq (List a) Source #
Instance details Defined in PlutusTx.Data.List Methods (==) ∷ List a → List a → Bool Source #
Eq a ⇒ Eq (Maybe a) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ Maybe a → Maybe a → Bool Source #
Eq a ⇒ Eq [a] Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ [a] → [a] → Bool Source #
(Eq a, Eq b) ⇒ Eq (Either a b) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ Either a b → Either a b → Bool Source #
(Eq a, Eq b) ⇒ Eq (These a b) Source #
Instance details Defined in PlutusTx.These Methods (==) ∷ These a b → These a b → Bool Source #
(Eq a, Eq b) ⇒ Eq (a, b) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b) → (a, b) → Bool Source #
(Eq a, Eq b, Eq c) ⇒ Eq (a, b, c) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c) → (a, b, c) → Bool Source #
(Eq a, Eq b, Eq c, Eq d) ⇒ Eq (a, b, c, d) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c, d) → (a, b, c, d) → Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e) ⇒ Eq (a, b, c, d, e) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c, d, e) → (a, b, c, d, e) → Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) ⇒ Eq (a, b, c, d, e, f) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c, d, e, f) → (a, b, c, d, e, f) → Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) ⇒ Eq (a, b, c, d, e, f, g) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c, d, e, f, g) → (a, b, c, d, e, f, g) → Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) ⇒ Eq (a, b, c, d, e, f, g, h) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c, d, e, f, g, h) → (a, b, c, d, e, f, g, h) → Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) ⇒ Eq (a, b, c, d, e, f, g, h, i) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c, d, e, f, g, h, i) → (a, b, c, d, e, f, g, h, i) → Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) ⇒ Eq (a, b, c, d, e, f, g, h, i, j) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c, d, e, f, g, h, i, j) → (a, b, c, d, e, f, g, h, i, j) → Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) ⇒ Eq (a, b, c, d, e, f, g, h, i, j, k) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (a, b, c, d, e, f, g, h, i, j, k) → (a, b, c, d, e, f, g, h, i, j, k) → Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) ⇒ Eq (a, b, c, d, e, f, g, h, i, j, k, l) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) ⇒ Eq (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) ⇒ Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) ⇒ Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p) ⇒ Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q) ⇒ Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r) ⇒ Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s) ⇒ Eq (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.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t) ⇒ Eq (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.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t, Eq u) ⇒ Eq (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.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t, Eq u, Eq v) ⇒ Eq (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.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t, Eq u, Eq v, Eq w) ⇒ Eq (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.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t, Eq u, Eq v, Eq w, Eq x) ⇒ Eq (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.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t, Eq u, Eq v, Eq w, Eq x, Eq y) ⇒ Eq (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.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t, Eq u, Eq v, Eq w, Eq x, Eq y, Eq z) ⇒ Eq (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.Eq Methods (==) ∷ (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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t, Eq u, Eq v, Eq w, Eq x, Eq y, Eq z, Eq t26) ⇒ Eq (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.Eq Methods (==) ∷ (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 #

(/=) ∷ Eq a ⇒ a → a → Bool infix 4 Source #