Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Core.Instance.Eq

Contents

Orphan instances

Orphan instances

Hashable a ⇒ Hashable (Vector a) Source #
Instance details Methods hashWithSalt ∷ Int → Vector a → Int Source # hash ∷ Vector a → Int Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann, Eq (Term name uni fun ann)) ⇒ Eq (Program name uni fun ann) Source #
Instance details Methods (==) ∷ Program name uni fun ann → Program name uni fun ann → Bool Source # (/=) ∷ Program name uni fun ann → Program name uni fun ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term DeBruijn uni fun ann) Source #
Instance details Methods (==) ∷ Term DeBruijn uni fun ann → Term DeBruijn uni fun ann → Bool Source # (/=) ∷ Term DeBruijn uni fun ann → Term DeBruijn uni fun ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term FakeNamedDeBruijn uni fun ann) Source #
Instance details Methods (==) ∷ Term FakeNamedDeBruijn uni fun ann → Term FakeNamedDeBruijn uni fun ann → Bool Source # (/=) ∷ Term FakeNamedDeBruijn uni fun ann → Term FakeNamedDeBruijn uni fun ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term NamedDeBruijn uni fun ann) Source #
Instance details Methods (==) ∷ Term NamedDeBruijn uni fun ann → Term NamedDeBruijn uni fun ann → Bool Source # (/=) ∷ Term NamedDeBruijn uni fun ann → Term NamedDeBruijn uni fun ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term Name uni fun ann) Source #
Instance details Methods (==) ∷ Term Name uni fun ann → Term Name uni fun ann → Bool Source # (/=) ∷ Term Name uni fun ann → Term Name uni fun ann → Bool Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term DeBruijn uni fun ann) Source #
Instance details Methods hashWithSalt ∷ Int → Term DeBruijn uni fun ann → Int Source # hash ∷ Term DeBruijn uni fun ann → Int Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term FakeNamedDeBruijn uni fun ann) Source #
Instance details Methods hashWithSalt ∷ Int → Term FakeNamedDeBruijn uni fun ann → Int Source # hash ∷ Term FakeNamedDeBruijn uni fun ann → Int Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term NamedDeBruijn uni fun ann) Source #
Instance details Methods hashWithSalt ∷ Int → Term NamedDeBruijn uni fun ann → Int Source # hash ∷ Term NamedDeBruijn uni fun ann → Int Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term Name uni fun ann) Source #
Instance details Methods hashWithSalt ∷ Int → Term Name uni fun ann → Int Source # hash ∷ Term Name uni fun ann → Int Source #