Documentation

chkDecl :: CheckNode Decl Source #

chkPattern :: CheckNode Pattern Source #

chkExpr :: CheckNode Expr Source #

chkType :: CheckNode Type Source #

chkPatternField :: CheckNode PatternField Source #

chkFieldUpdate :: CheckNode FieldUpdate Source #

chkPatternSynonym :: CheckNode PatternSynonym Source #

chkPatternSignature :: CheckNode PatternSignature Source #

chkLiteral :: CheckNode Literal Source #

chkNamePart :: CheckNode NamePart Source #

chkKind :: CheckNode Kind Source #

traverseModule :: CheckNode UnnamedModule Source #

traverseModuleHead :: CheckNode ModuleHead Source #

traverseExportSpecs :: CheckNode ExportSpecs Source #

traverseExportSpec :: CheckNode ExportSpec Source #

traverseIESpec :: CheckNode IESpec Source #

traverseSubSpec :: CheckNode SubSpec Source #

traverseDecl :: CheckNode Decl Source #

traverseTypeFamily :: CheckNode TypeFamily Source #

traverseTypeFamilySpec :: CheckNode TypeFamilySpec Source #

traverseInjectivityAnn :: CheckNode InjectivityAnn Source #

traverseSafety :: CheckNode Safety Source #

traverseRole :: CheckNode Role Source #

traverseTopLevelPragma :: CheckNode TopLevelPragma Source #

traverseSpecializePragma :: CheckUNode USpecializePragma Source #

traverseAnnotationSubject :: CheckNode AnnotationSubject Source #

traverseRule :: CheckNode Rule Source #

traverseRuleVar :: CheckNode RuleVar Source #

traversePatternSignature :: CheckNode PatternSignature Source #

traverseOverlapPragma :: CheckNode OverlapPragma Source #

traverseInstanceRule :: CheckNode InstanceRule Source #

traverseInstanceHead :: CheckNode InstanceHead Source #

traverseDeclHead :: CheckNode DeclHead Source #

traverseGadtConDecl :: CheckNode GadtConDecl Source #

traverseGadtConType :: CheckNode GadtConType Source #

traverseFieldDecl :: CheckNode FieldDecl Source #

traverseFunDeps :: CheckNode FunDeps Source #

traverseFunDep :: CheckNode FunDep Source #

traverseDeriving :: CheckNode Deriving Source #

traverseConDecl :: CheckNode ConDecl Source #

traverseCallConv :: CheckNode CallConv Source #

traverseMinimalFormula :: CheckNode MinimalFormula Source #

traverseInlinePragma :: CheckUNode UInlinePragma Source #

traversePatternSynonym :: CheckNode PatternSynonym Source #

traverseMatch :: CheckNode Match Source #

traverseMatchLhs :: CheckNode MatchLhs Source #

traverseRhs :: CheckNode Rhs Source #

traverseGuardedRhs :: CheckNode GuardedRhs Source #

traverseRhsGuard :: CheckNode RhsGuard Source #

traverseLocalBinds :: CheckNode LocalBinds Source #

traverseLocalBind :: CheckNode LocalBind Source #

traverseInstBody :: CheckNode InstBody Source #

traverseInstBodyDecl :: CheckNode InstBodyDecl Source #

traverseTypeEqn :: CheckNode TypeEqn Source #

traverseClassBody :: CheckNode ClassBody Source #

traverseClassElem :: CheckNode ClassElement Source #

traverseValueBind :: CheckNode ValueBind Source #

traversePattern :: CheckNode Pattern Source #

traversePatternField :: CheckNode PatternField Source #

traverseExpr :: CheckNode Expr Source #

type AltG uexpr dom = Ann (UAlt' uexpr) dom SrcTemplateStage Source #

type StmtG uexpr dom = Ann (UStmt' uexpr) dom SrcTemplateStage Source #

type CaseRhsG uexpr dom = Ann (UCaseRhs' uexpr) dom SrcTemplateStage Source #

type GuardedCaseRhsG uexpr dom = Ann (UGuardedCaseRhs' uexpr) dom SrcTemplateStage Source #

type PromotedG t dom = Ann (UPromoted t) dom SrcTemplateStage Source #

traverseAlt :: CheckUNode uexpr -> CheckNode (AltG uexpr IdDom) Source #

traverseCaseRhs :: CheckUNode uexpr -> CheckNode (CaseRhsG uexpr IdDom) Source #

traverseGuardedCaseRhs :: CheckUNode uexpr -> CheckNode (GuardedCaseRhsG uexpr IdDom) Source #

traverseStmt :: CheckUNode uexpr -> CheckNode (StmtG uexpr IdDom) Source #

traversePromoted :: CheckUNode t -> CheckNode (PromotedG t IdDom) Source #

traverseTupSecElem :: CheckNode TupSecElem Source #

traverseFieldUpdate :: CheckNode FieldUpdate Source #

traverseListCompBody :: CheckNode ListCompBody Source #

traverseCompStmt :: CheckNode CompStmt Source #

traverseCmd :: CheckNode Cmd Source #

traverseSplice :: CheckNode Splice Source #

traverseBracket :: CheckNode Bracket Source #

traverseQuasiQuote :: CheckNode QuasiQuote Source #

traverseType :: CheckNode Type Source #

traverseTyVar :: CheckNode TyVar Source #

traverseKindContraint :: CheckNode KindConstraint Source #

traverseKind :: CheckNode Kind Source #

traverseContext :: CheckNode Context Source #

traverseAssertion :: CheckNode Assertion Source #

traverseName :: CheckNode Name Source #

traverseQualifiedName :: CheckNode QualifiedName Source #

traverseNamePart :: CheckNode NamePart Source #

traverseLiteral :: CheckNode Literal Source #

traverseOperator :: CheckNode Operator Source #

traverseTypeSignature :: CheckNode TypeSignature Source #

traverseFixitySignature :: CheckNode FixitySignature Source #

module Language.Haskell.Tools.Refactor.Builtin.ExtensionOrganizer.ExtMonad