Language.Haskell.Tools.AST.Instances.Eq

Equality check of AST nodes that ignore the source and semantic information.

Documentation

Orphan instances

Eq (QualifiedName dom stage)

Methods

(==) :: QualifiedName dom stage -> QualifiedName dom stage -> Bool

(/=) :: QualifiedName dom stage -> QualifiedName dom stage -> Bool

Eq (FieldWildcard dom stage)

Methods

(==) :: FieldWildcard dom stage -> FieldWildcard dom stage -> Bool

(/=) :: FieldWildcard dom stage -> FieldWildcard dom stage -> Bool

Eq (Cmd dom stage)

Methods

(==) :: Cmd dom stage -> Cmd dom stage -> Bool

(/=) :: Cmd dom stage -> Cmd dom stage -> Bool

Eq (Expr dom stage)

Methods

(==) :: Expr dom stage -> Expr dom stage -> Bool

(/=) :: Expr dom stage -> Expr dom stage -> Bool

Eq (RhsGuard dom stage)

Methods

(==) :: RhsGuard dom stage -> RhsGuard dom stage -> Bool

(/=) :: RhsGuard dom stage -> RhsGuard dom stage -> Bool

Eq (LocalBinds dom stage)

Methods

(==) :: LocalBinds dom stage -> LocalBinds dom stage -> Bool

(/=) :: LocalBinds dom stage -> LocalBinds dom stage -> Bool

Eq (LocalBind dom stage)

Methods

(==) :: LocalBind dom stage -> LocalBind dom stage -> Bool

(/=) :: LocalBind dom stage -> LocalBind dom stage -> Bool

Eq (Bracket dom stage)

Methods

(==) :: Bracket dom stage -> Bracket dom stage -> Bool

(/=) :: Bracket dom stage -> Bracket dom stage -> Bool

Eq (QuasiQuote dom stage)

Methods

(==) :: QuasiQuote dom stage -> QuasiQuote dom stage -> Bool

(/=) :: QuasiQuote dom stage -> QuasiQuote dom stage -> Bool

Eq (Splice dom stage)

Methods

(==) :: Splice dom stage -> Splice dom stage -> Bool

(/=) :: Splice dom stage -> Splice dom stage -> Bool

Eq (ImportDecl dom stage)

Methods

(==) :: ImportDecl dom stage -> ImportDecl dom stage -> Bool

(/=) :: ImportDecl dom stage -> ImportDecl dom stage -> Bool

Eq (Module dom stage)

Methods

(==) :: Module dom stage -> Module dom stage -> Bool

(/=) :: Module dom stage -> Module dom stage -> Bool

Eq (PhaseInvert dom stage)

Methods

(==) :: PhaseInvert dom stage -> PhaseInvert dom stage -> Bool

(/=) :: PhaseInvert dom stage -> PhaseInvert dom stage -> Bool

Eq (PhaseNumber dom stage)

Methods

(==) :: PhaseNumber dom stage -> PhaseNumber dom stage -> Bool

(/=) :: PhaseNumber dom stage -> PhaseNumber dom stage -> Bool

Eq (PhaseControl dom stage)

Methods

(==) :: PhaseControl dom stage -> PhaseControl dom stage -> Bool

(/=) :: PhaseControl dom stage -> PhaseControl dom stage -> Bool

Eq (LineNumber dom stage)

Methods

(==) :: LineNumber dom stage -> LineNumber dom stage -> Bool

(/=) :: LineNumber dom stage -> LineNumber dom stage -> Bool

Eq (Precedence dom stage)

Methods

(==) :: Precedence dom stage -> Precedence dom stage -> Bool

(/=) :: Precedence dom stage -> Precedence dom stage -> Bool

Eq (ConlikeAnnot dom stage)

Methods

(==) :: ConlikeAnnot dom stage -> ConlikeAnnot dom stage -> Bool

(/=) :: ConlikeAnnot dom stage -> ConlikeAnnot dom stage -> Bool

Eq (Role dom stage)

Methods

(==) :: Role dom stage -> Role dom stage -> Bool

(/=) :: Role dom stage -> Role dom stage -> Bool

Eq (Assoc dom stage)

Methods

(==) :: Assoc dom stage -> Assoc dom stage -> Bool

(/=) :: Assoc dom stage -> Assoc dom stage -> Bool

Eq (Safety dom stage)

Methods

(==) :: Safety dom stage -> Safety dom stage -> Bool

(/=) :: Safety dom stage -> Safety dom stage -> Bool

Eq (ArrowAppl dom stage)

Methods

(==) :: ArrowAppl dom stage -> ArrowAppl dom stage -> Bool

(/=) :: ArrowAppl dom stage -> ArrowAppl dom stage -> Bool

Eq (CallConv dom stage)

Methods

(==) :: CallConv dom stage -> CallConv dom stage -> Bool

(/=) :: CallConv dom stage -> CallConv dom stage -> Bool

Eq (OverlapPragma dom stage)

Methods

(==) :: OverlapPragma dom stage -> OverlapPragma dom stage -> Bool

(/=) :: OverlapPragma dom stage -> OverlapPragma dom stage -> Bool

Eq (TypeKeyword dom stage)

Methods

(==) :: TypeKeyword dom stage -> TypeKeyword dom stage -> Bool

(/=) :: TypeKeyword dom stage -> TypeKeyword dom stage -> Bool

Eq (DoKind dom stage)

Methods

(==) :: DoKind dom stage -> DoKind dom stage -> Bool

(/=) :: DoKind dom stage -> DoKind dom stage -> Bool

Eq (DataOrNewtypeKeyword dom stage)

Methods

(==) :: DataOrNewtypeKeyword dom stage -> DataOrNewtypeKeyword dom stage -> Bool

(/=) :: DataOrNewtypeKeyword dom stage -> DataOrNewtypeKeyword dom stage -> Bool

Eq (ModuleName dom stage)

Methods

(==) :: ModuleName dom stage -> ModuleName dom stage -> Bool

(/=) :: ModuleName dom stage -> ModuleName dom stage -> Bool

Eq (StringNode dom stage)

Methods

(==) :: StringNode dom stage -> StringNode dom stage -> Bool

(/=) :: StringNode dom stage -> StringNode dom stage -> Bool

Eq (UnqualName dom stage)

Methods

(==) :: UnqualName dom stage -> UnqualName dom stage -> Bool

(/=) :: UnqualName dom stage -> UnqualName dom stage -> Bool

Eq (Name dom stage)

Methods

(==) :: Name dom stage -> Name dom stage -> Bool

(/=) :: Name dom stage -> Name dom stage -> Bool

Eq (Operator dom stage)

Methods

(==) :: Operator dom stage -> Operator dom stage -> Bool

(/=) :: Operator dom stage -> Operator dom stage -> Bool

Eq (Literal dom stage)

Methods

(==) :: Literal dom stage -> Literal dom stage -> Bool

(/=) :: Literal dom stage -> Literal dom stage -> Bool

Eq (Kind dom stage)

Methods

(==) :: Kind dom stage -> Kind dom stage -> Bool

(/=) :: Kind dom stage -> Kind dom stage -> Bool

Eq (KindConstraint dom stage)

Methods

(==) :: KindConstraint dom stage -> KindConstraint dom stage -> Bool

(/=) :: KindConstraint dom stage -> KindConstraint dom stage -> Bool

Eq (Assertion dom stage)

Methods

(==) :: Assertion dom stage -> Assertion dom stage -> Bool

(/=) :: Assertion dom stage -> Assertion dom stage -> Bool

Eq (Context dom stage)

Methods

(==) :: Context dom stage -> Context dom stage -> Bool

(/=) :: Context dom stage -> Context dom stage -> Bool

Eq (Type dom stage)

Methods

(==) :: Type dom stage -> Type dom stage -> Bool

(/=) :: Type dom stage -> Type dom stage -> Bool

Eq (TyVar dom stage)

Methods

(==) :: TyVar dom stage -> TyVar dom stage -> Bool

(/=) :: TyVar dom stage -> TyVar dom stage -> Bool

Eq (PatternField dom stage)

Methods

(==) :: PatternField dom stage -> PatternField dom stage -> Bool

(/=) :: PatternField dom stage -> PatternField dom stage -> Bool

Eq (Pattern dom stage)

Methods

(==) :: Pattern dom stage -> Pattern dom stage -> Bool

(/=) :: Pattern dom stage -> Pattern dom stage -> Bool

Eq (CompStmt dom stage)

Methods

(==) :: CompStmt dom stage -> CompStmt dom stage -> Bool

(/=) :: CompStmt dom stage -> CompStmt dom stage -> Bool

Eq (ListCompBody dom stage)

Methods

(==) :: ListCompBody dom stage -> ListCompBody dom stage -> Bool

(/=) :: ListCompBody dom stage -> ListCompBody dom stage -> Bool

Eq (Number dom stage)

Methods

(==) :: Number dom stage -> Number dom stage -> Bool

(/=) :: Number dom stage -> Number dom stage -> Bool

Eq (SourceRange dom stage)

Methods

(==) :: SourceRange dom stage -> SourceRange dom stage -> Bool

(/=) :: SourceRange dom stage -> SourceRange dom stage -> Bool

Eq (ExprPragma dom stage)

Methods

(==) :: ExprPragma dom stage -> ExprPragma dom stage -> Bool

(/=) :: ExprPragma dom stage -> ExprPragma dom stage -> Bool

Eq (TupSecElem dom stage)

Methods

(==) :: TupSecElem dom stage -> TupSecElem dom stage -> Bool

(/=) :: TupSecElem dom stage -> TupSecElem dom stage -> Bool

Eq (FieldUpdate dom stage)

Methods

(==) :: FieldUpdate dom stage -> FieldUpdate dom stage -> Bool

(/=) :: FieldUpdate dom stage -> FieldUpdate dom stage -> Bool

Eq (MinimalFormula dom stage)

Methods

(==) :: MinimalFormula dom stage -> MinimalFormula dom stage -> Bool

(/=) :: MinimalFormula dom stage -> MinimalFormula dom stage -> Bool

Eq (AnnotationSubject dom stage)

Methods

(==) :: AnnotationSubject dom stage -> AnnotationSubject dom stage -> Bool

(/=) :: AnnotationSubject dom stage -> AnnotationSubject dom stage -> Bool

Eq (Rule dom stage)

Methods

(==) :: Rule dom stage -> Rule dom stage -> Bool

(/=) :: Rule dom stage -> Rule dom stage -> Bool

Eq (TopLevelPragma dom stage)

Methods

(==) :: TopLevelPragma dom stage -> TopLevelPragma dom stage -> Bool

(/=) :: TopLevelPragma dom stage -> TopLevelPragma dom stage -> Bool

Eq (GuardedRhs dom stage)

Methods

(==) :: GuardedRhs dom stage -> GuardedRhs dom stage -> Bool

(/=) :: GuardedRhs dom stage -> GuardedRhs dom stage -> Bool

Eq (Rhs dom stage)

Methods

(==) :: Rhs dom stage -> Rhs dom stage -> Bool

(/=) :: Rhs dom stage -> Rhs dom stage -> Bool

Eq (FixitySignature dom stage)

Methods

(==) :: FixitySignature dom stage -> FixitySignature dom stage -> Bool

(/=) :: FixitySignature dom stage -> FixitySignature dom stage -> Bool

Eq (TypeSignature dom stage)

Methods

(==) :: TypeSignature dom stage -> TypeSignature dom stage -> Bool

(/=) :: TypeSignature dom stage -> TypeSignature dom stage -> Bool

Eq (MatchLhs dom stage)

Methods

(==) :: MatchLhs dom stage -> MatchLhs dom stage -> Bool

(/=) :: MatchLhs dom stage -> MatchLhs dom stage -> Bool

Eq (Match dom stage)

Methods

(==) :: Match dom stage -> Match dom stage -> Bool

(/=) :: Match dom stage -> Match dom stage -> Bool

Eq (ValueBind dom stage)

Methods

(==) :: ValueBind dom stage -> ValueBind dom stage -> Bool

(/=) :: ValueBind dom stage -> ValueBind dom stage -> Bool

Eq (PatSynWhere dom stage)

Methods

(==) :: PatSynWhere dom stage -> PatSynWhere dom stage -> Bool

(/=) :: PatSynWhere dom stage -> PatSynWhere dom stage -> Bool

Eq (PatSynRhs dom stage)

Methods

(==) :: PatSynRhs dom stage -> PatSynRhs dom stage -> Bool

(/=) :: PatSynRhs dom stage -> PatSynRhs dom stage -> Bool

Eq (PatSynLhs dom stage)

Methods

(==) :: PatSynLhs dom stage -> PatSynLhs dom stage -> Bool

(/=) :: PatSynLhs dom stage -> PatSynLhs dom stage -> Bool

Eq (PatternSynonym dom stage)

Methods

(==) :: PatternSynonym dom stage -> PatternSynonym dom stage -> Bool

(/=) :: PatternSynonym dom stage -> PatternSynonym dom stage -> Bool

Eq (PatternTypeSignature dom stage)

Methods

(==) :: PatternTypeSignature dom stage -> PatternTypeSignature dom stage -> Bool

(/=) :: PatternTypeSignature dom stage -> PatternTypeSignature dom stage -> Bool

Eq (TypeEqn dom stage)

Methods

(==) :: TypeEqn dom stage -> TypeEqn dom stage -> Bool

(/=) :: TypeEqn dom stage -> TypeEqn dom stage -> Bool

Eq (InstanceHead dom stage)

Methods

(==) :: InstanceHead dom stage -> InstanceHead dom stage -> Bool

(/=) :: InstanceHead dom stage -> InstanceHead dom stage -> Bool

Eq (InstanceRule dom stage)

Methods

(==) :: InstanceRule dom stage -> InstanceRule dom stage -> Bool

(/=) :: InstanceRule dom stage -> InstanceRule dom stage -> Bool

Eq (Deriving dom stage)

Methods

(==) :: Deriving dom stage -> Deriving dom stage -> Bool

(/=) :: Deriving dom stage -> Deriving dom stage -> Bool

Eq (FieldDecl dom stage)

Methods

(==) :: FieldDecl dom stage -> FieldDecl dom stage -> Bool

(/=) :: FieldDecl dom stage -> FieldDecl dom stage -> Bool

Eq (ConDecl dom stage)

Methods

(==) :: ConDecl dom stage -> ConDecl dom stage -> Bool

(/=) :: ConDecl dom stage -> ConDecl dom stage -> Bool

Eq (FunDep dom stage)

Methods

(==) :: FunDep dom stage -> FunDep dom stage -> Bool

(/=) :: FunDep dom stage -> FunDep dom stage -> Bool

Eq (FunDeps dom stage)

Methods

(==) :: FunDeps dom stage -> FunDeps dom stage -> Bool

(/=) :: FunDeps dom stage -> FunDeps dom stage -> Bool

Eq (GadtConType dom stage)

Methods

(==) :: GadtConType dom stage -> GadtConType dom stage -> Bool

(/=) :: GadtConType dom stage -> GadtConType dom stage -> Bool

Eq (GadtConDecl dom stage)

Methods

(==) :: GadtConDecl dom stage -> GadtConDecl dom stage -> Bool

(/=) :: GadtConDecl dom stage -> GadtConDecl dom stage -> Bool

Eq (InstBodyDecl dom stage)

Methods

(==) :: InstBodyDecl dom stage -> InstBodyDecl dom stage -> Bool

(/=) :: InstBodyDecl dom stage -> InstBodyDecl dom stage -> Bool

Eq (InstBody dom stage)

Methods

(==) :: InstBody dom stage -> InstBody dom stage -> Bool

(/=) :: InstBody dom stage -> InstBody dom stage -> Bool

Eq (DeclHead dom stage)

Methods

(==) :: DeclHead dom stage -> DeclHead dom stage -> Bool

(/=) :: DeclHead dom stage -> DeclHead dom stage -> Bool

Eq (ClassElement dom stage)

Methods

(==) :: ClassElement dom stage -> ClassElement dom stage -> Bool

(/=) :: ClassElement dom stage -> ClassElement dom stage -> Bool

Eq (ClassBody dom stage)

Methods

(==) :: ClassBody dom stage -> ClassBody dom stage -> Bool

(/=) :: ClassBody dom stage -> ClassBody dom stage -> Bool

Eq (InjectivityAnn dom stage)

Methods

(==) :: InjectivityAnn dom stage -> InjectivityAnn dom stage -> Bool

(/=) :: InjectivityAnn dom stage -> InjectivityAnn dom stage -> Bool

Eq (TypeFamilySpec dom stage)

Methods

(==) :: TypeFamilySpec dom stage -> TypeFamilySpec dom stage -> Bool

(/=) :: TypeFamilySpec dom stage -> TypeFamilySpec dom stage -> Bool

Eq (TypeFamily dom stage)

Methods

(==) :: TypeFamily dom stage -> TypeFamily dom stage -> Bool

(/=) :: TypeFamily dom stage -> TypeFamily dom stage -> Bool

Eq (Decl dom stage)

Methods

(==) :: Decl dom stage -> Decl dom stage -> Bool

(/=) :: Decl dom stage -> Decl dom stage -> Bool

Eq (ImportRenaming dom stage)

Methods

(==) :: ImportRenaming dom stage -> ImportRenaming dom stage -> Bool

(/=) :: ImportRenaming dom stage -> ImportRenaming dom stage -> Bool

Eq (TypeNamespace dom stage)

Methods

(==) :: TypeNamespace dom stage -> TypeNamespace dom stage -> Bool

(/=) :: TypeNamespace dom stage -> TypeNamespace dom stage -> Bool

Eq (ImportSafe dom stage)

Methods

(==) :: ImportSafe dom stage -> ImportSafe dom stage -> Bool

(/=) :: ImportSafe dom stage -> ImportSafe dom stage -> Bool

Eq (ImportSource dom stage)

Methods

(==) :: ImportSource dom stage -> ImportSource dom stage -> Bool

(/=) :: ImportSource dom stage -> ImportSource dom stage -> Bool

Eq (ImportQualified dom stage)

Methods

(==) :: ImportQualified dom stage -> ImportQualified dom stage -> Bool

(/=) :: ImportQualified dom stage -> ImportQualified dom stage -> Bool

Eq (ImportSpec dom stage)

Methods

(==) :: ImportSpec dom stage -> ImportSpec dom stage -> Bool

(/=) :: ImportSpec dom stage -> ImportSpec dom stage -> Bool

Eq (LanguageExtension dom stage)

Methods

(==) :: LanguageExtension dom stage -> LanguageExtension dom stage -> Bool

(/=) :: LanguageExtension dom stage -> LanguageExtension dom stage -> Bool

Eq (ModulePragma dom stage)

Methods

(==) :: ModulePragma dom stage -> ModulePragma dom stage -> Bool

(/=) :: ModulePragma dom stage -> ModulePragma dom stage -> Bool

Eq (FilePragma dom stage)

Methods

(==) :: FilePragma dom stage -> FilePragma dom stage -> Bool

(/=) :: FilePragma dom stage -> FilePragma dom stage -> Bool

Eq (SubSpec dom stage)

Methods

(==) :: SubSpec dom stage -> SubSpec dom stage -> Bool

(/=) :: SubSpec dom stage -> SubSpec dom stage -> Bool

Eq (IESpec dom stage)

Methods

(==) :: IESpec dom stage -> IESpec dom stage -> Bool

(/=) :: IESpec dom stage -> IESpec dom stage -> Bool

Eq (ExportSpec dom stage)

Methods

(==) :: ExportSpec dom stage -> ExportSpec dom stage -> Bool

(/=) :: ExportSpec dom stage -> ExportSpec dom stage -> Bool

Eq (ExportSpecList dom stage)

Methods

(==) :: ExportSpecList dom stage -> ExportSpecList dom stage -> Bool

(/=) :: ExportSpecList dom stage -> ExportSpecList dom stage -> Bool

Eq (ModuleHead dom stage)

Methods

(==) :: ModuleHead dom stage -> ModuleHead dom stage -> Bool

(/=) :: ModuleHead dom stage -> ModuleHead dom stage -> Bool

Eq (QQString dom stage)

Methods

(==) :: QQString dom stage -> QQString dom stage -> Bool

(/=) :: QQString dom stage -> QQString dom stage -> Bool

Eq (e dom stage) => Eq (Ann e dom stage)

Methods

(==) :: Ann e dom stage -> Ann e dom stage -> Bool

(/=) :: Ann e dom stage -> Ann e dom stage -> Bool

Eq (e dom stage) => Eq (AnnList e dom stage)

Methods

(==) :: AnnList e dom stage -> AnnList e dom stage -> Bool

(/=) :: AnnList e dom stage -> AnnList e dom stage -> Bool

Eq (e dom stage) => Eq (AnnMaybe e dom stage)

Methods

(==) :: AnnMaybe e dom stage -> AnnMaybe e dom stage -> Bool

(/=) :: AnnMaybe e dom stage -> AnnMaybe e dom stage -> Bool

Eq (k dom stage) => Eq (Promoted k dom stage)

Methods

(==) :: Promoted k dom stage -> Promoted k dom stage -> Bool

(/=) :: Promoted k dom stage -> Promoted k dom stage -> Bool

Eq (expr dom stage) => Eq (Stmt' expr dom stage)

Methods

(==) :: Stmt' expr dom stage -> Stmt' expr dom stage -> Bool

(/=) :: Stmt' expr dom stage -> Stmt' expr dom stage -> Bool

Eq (expr dom stage) => Eq (GuardedCaseRhs' expr dom stage)

Methods

(==) :: GuardedCaseRhs' expr dom stage -> GuardedCaseRhs' expr dom stage -> Bool

(/=) :: GuardedCaseRhs' expr dom stage -> GuardedCaseRhs' expr dom stage -> Bool

Eq (expr dom stage) => Eq (CaseRhs' expr dom stage)

Methods

(==) :: CaseRhs' expr dom stage -> CaseRhs' expr dom stage -> Bool

(/=) :: CaseRhs' expr dom stage -> CaseRhs' expr dom stage -> Bool

Eq (expr dom stage) => Eq (Alt' expr dom stage)

Methods

(==) :: Alt' expr dom stage -> Alt' expr dom stage -> Bool

(/=) :: Alt' expr dom stage -> Alt' expr dom stage -> Bool