-- | Equality check of AST nodes that ignore the source and semantic information.
{-# LANGUAGE FlexibleContexts, StandaloneDeriving #-}
module Language.Haskell.Tools.AST.Instances.Eq where

import Language.Haskell.Tools.AST.Ann (Ann(..), AnnListG(..), AnnMaybeG(..))
import Language.Haskell.Tools.AST.Representation.Binds
import Language.Haskell.Tools.AST.Representation.Decls
import Language.Haskell.Tools.AST.Representation.Exprs
import Language.Haskell.Tools.AST.Representation.Kinds (UPromoted(..), UKind(..), UKindConstraint(..))
import Language.Haskell.Tools.AST.Representation.Literals (ULiteral(..))
import Language.Haskell.Tools.AST.Representation.Modules
import Language.Haskell.Tools.AST.Representation.Names
import Language.Haskell.Tools.AST.Representation.Patterns (UPatternField(..), UPattern(..))
import Language.Haskell.Tools.AST.Representation.Stmts
import Language.Haskell.Tools.AST.Representation.TH
import Language.Haskell.Tools.AST.Representation.Types

-- Annotations
instance (Eq (e dom stage)) => Eq (Ann e dom stage) where
  Ann _ e1 == Ann _ e2 = e1 == e2

instance (Eq (e dom stage)) => Eq (AnnMaybeG e dom stage) where
  AnnMaybeG _ e1 == AnnMaybeG _ e2 = e1 == e2

instance (Eq (e dom stage)) => Eq (AnnListG e dom stage) where
  AnnListG _ e1 == AnnListG _ e2 = e1 == e2

-- Modules
deriving instance Eq (UModule dom stage)
deriving instance Eq (UModuleHead dom stage)
deriving instance Eq (UExportSpecs dom stage)
deriving instance Eq (UExportSpec dom stage)
deriving instance Eq (UIESpec dom stage)
deriving instance Eq (USubSpec dom stage)
deriving instance Eq (UModulePragma dom stage)
deriving instance Eq (UFilePragma dom stage)
deriving instance Eq (UImportDecl dom stage)
deriving instance Eq (UImportSpec dom stage)
deriving instance Eq (UImportModifier dom stage)
deriving instance Eq (UImportQualified dom stage)
deriving instance Eq (UImportSource dom stage)
deriving instance Eq (UImportSafe dom stage)
deriving instance Eq (UTypeNamespace dom stage)
deriving instance Eq (UImportRenaming dom stage)

-- Declarations
deriving instance Eq (UDecl dom stage)
deriving instance Eq (UClassBody dom stage)
deriving instance Eq (UClassElement dom stage)
deriving instance Eq (UDeclHead dom stage)
deriving instance Eq (UInstBody dom stage)
deriving instance Eq (UInstBodyDecl dom stage)
deriving instance Eq (UGadtConDecl dom stage)
deriving instance Eq (UGadtConType dom stage)
deriving instance Eq (UFieldWildcard dom stage)
deriving instance Eq (UFunDeps dom stage)
deriving instance Eq (UFunDep dom stage)
deriving instance Eq (UConDecl dom stage)
deriving instance Eq (UFieldDecl dom stage)
deriving instance Eq (UDeriving dom stage)
deriving instance Eq (UInstanceRule dom stage)
deriving instance Eq (UInstanceHead dom stage)
deriving instance Eq (UTypeEqn dom stage)
deriving instance Eq (UKindConstraint dom stage)
deriving instance Eq (UTyVar dom stage)
deriving instance Eq (UType dom stage)
deriving instance Eq (UKind dom stage)
deriving instance Eq (UContext dom stage)
deriving instance Eq (UAssertion dom stage)
deriving instance Eq (UExpr dom stage)
deriving instance Eq (expr dom stage) => Eq (UStmt' expr dom stage)
deriving instance Eq (UCompStmt dom stage)
deriving instance Eq (UValueBind dom stage)
deriving instance Eq (UPattern dom stage)
deriving instance Eq (UPatternField dom stage)
deriving instance Eq (USplice dom stage)
deriving instance Eq (QQString dom stage)
deriving instance Eq (UMatch dom stage)
deriving instance Eq (expr dom stage) => Eq (UAlt' expr dom stage)
deriving instance Eq (URhs dom stage)
deriving instance Eq (UGuardedRhs dom stage)
deriving instance Eq (UFieldUpdate dom stage)
deriving instance Eq (UBracket dom stage)
deriving instance Eq (UTopLevelPragma dom stage)
deriving instance Eq (URule dom stage)
deriving instance Eq (URuleVar dom stage)
deriving instance Eq (UAnnotationSubject dom stage)
deriving instance Eq (UMinimalFormula dom stage)
deriving instance Eq (UExprPragma dom stage)
deriving instance Eq (USourceRange dom stage)
deriving instance Eq (Number dom stage)
deriving instance Eq (UQuasiQuote dom stage)
deriving instance Eq (URhsGuard dom stage)
deriving instance Eq (ULocalBind dom stage)
deriving instance Eq (ULocalBinds dom stage)
deriving instance Eq (UFixitySignature dom stage)
deriving instance Eq (UTypeSignature dom stage)
deriving instance Eq (UListCompBody dom stage)
deriving instance Eq (UTupSecElem dom stage)
deriving instance Eq (UTypeFamily dom stage)
deriving instance Eq (UTypeFamilySpec dom stage)
deriving instance Eq (UInjectivityAnn dom stage)
deriving instance Eq (expr dom stage) => Eq (UCaseRhs' expr dom stage)
deriving instance Eq (expr dom stage) => Eq (UGuardedCaseRhs' expr dom stage)
deriving instance Eq (UPatternSynonym dom stage)
deriving instance Eq (UPatSynRhs dom stage)
deriving instance Eq (UPatSynLhs dom stage)
deriving instance Eq (UPatSynWhere dom stage)
deriving instance Eq (UPatternTypeSignature dom stage)
deriving instance Eq (URole dom stage)
deriving instance Eq (UCmd dom stage)
deriving instance Eq (ULanguageExtension dom stage)
deriving instance Eq (UMatchLhs dom stage)
deriving instance Eq (UInlinePragma dom stage)
deriving instance Eq (USpecializePragma dom stage)

-- ULiteral
deriving instance Eq (ULiteral dom stage)
deriving instance Eq (k dom stage) => Eq (UPromoted k dom stage)

-- Base
deriving instance Eq (UOperator dom stage)
deriving instance Eq (UName dom stage)
deriving instance Eq (UQualifiedName dom stage)
deriving instance Eq (UModuleName dom stage)
deriving instance Eq (UNamePart dom stage)
deriving instance Eq (UStringNode dom stage)
deriving instance Eq (UDataOrNewtypeKeyword dom stage)
deriving instance Eq (UDoKind dom stage)
deriving instance Eq (TypeKeyword dom stage)
deriving instance Eq (UOverlapPragma dom stage)
deriving instance Eq (UCallConv dom stage)
deriving instance Eq (UArrowAppl dom stage)
deriving instance Eq (USafety dom stage)
deriving instance Eq (UConlikeAnnot dom stage)
deriving instance Eq (Assoc dom stage)
deriving instance Eq (Precedence dom stage)
deriving instance Eq (LineNumber dom stage)
deriving instance Eq (UPhaseControl dom stage)
deriving instance Eq (PhaseNumber dom stage)
deriving instance Eq (PhaseInvert dom stage)