Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Core.Instance.Eq

Contents

Orphan instances

Description

Eq instances for core data types.

Orphan instances

(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) ⇒ Eq (Type NamedTyDeBruijn uni ann) Source #
Instance details Methods (==) ∷ Type NamedTyDeBruijn uni ann → Type NamedTyDeBruijn uni ann → Bool Source # (/=) ∷ Type NamedTyDeBruijn uni ann → Type NamedTyDeBruijn uni ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) ⇒ Eq (Type TyDeBruijn uni ann) Source #
Instance details Methods (==) ∷ Type TyDeBruijn uni ann → Type TyDeBruijn uni ann → Bool Source # (/=) ∷ Type TyDeBruijn uni ann → Type TyDeBruijn uni ann → Bool Source #
(GEq uni, Eq ann) ⇒ Eq (Type TyName uni ann) Source #
Instance details Methods (==) ∷ Type TyName uni ann → Type TyName uni ann → Bool Source # (/=) ∷ Type TyName uni ann → Type TyName uni ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann, Eq (Term tyname name uni fun ann)) ⇒ Eq (Program tyname name uni fun ann) Source #
Instance details Methods (==) ∷ Program tyname name uni fun ann → Program tyname name uni fun ann → Bool Source # (/=) ∷ Program tyname name uni fun ann → Program tyname name uni fun ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann) Source #
Instance details Methods (==) ∷ Term NamedTyDeBruijn NamedDeBruijn uni fun ann → Term NamedTyDeBruijn NamedDeBruijn uni fun ann → Bool Source # (/=) ∷ Term NamedTyDeBruijn NamedDeBruijn uni fun ann → Term NamedTyDeBruijn NamedDeBruijn uni fun ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term TyDeBruijn DeBruijn uni fun ann) Source #
Instance details Methods (==) ∷ Term TyDeBruijn DeBruijn uni fun ann → Term TyDeBruijn DeBruijn uni fun ann → Bool Source # (/=) ∷ Term TyDeBruijn DeBruijn uni fun ann → Term TyDeBruijn DeBruijn uni fun ann → Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (Term TyName Name uni fun ann) Source #
Instance details Methods (==) ∷ Term TyName Name uni fun ann → Term TyName Name uni fun ann → Bool Source # (/=) ∷ Term TyName Name uni fun ann → Term TyName Name uni fun ann → Bool Source #