Language.Haskell.Tools.AST

data Module a

data ModuleHead a

data ExportSpecList a

data ExportSpec a

data IESpec a

data SubSpec a

data FilePragma a

data ModulePragma a

data LanguageExtension a

data ImportDecl a

data ImportSpec a

data ImportQualified a

data ImportSource a

data ImportSafe a

data TypeNamespace a

data ImportRenaming a

data Splice a

data QuasiQuote a

data QQString a

data Bracket a

data Decl a

data TypeFamily a

data TypeFamilySpec a

data InjectivityAnn a

data ClassBody a

data ClassElement a

data DeclHead a

data InstBody a

data InstBodyDecl a

data GadtConDecl a

data GadtConType a

data GadtField a

data FunDeps a

data FunDep a

data ConDecl a

data FieldDecl a

data Deriving a

data InstanceRule a

data InstanceHead a

data TypeEqn a

data PatternTypeSignature a

data PatternSynonym a

data PatSynLhs a

data PatSynRhs a

data PatSynWhere a

data ValueBind a

data Match a

data MatchLhs a

data LocalBinds a

data LocalBind a

data TypeSignature a

data FixitySignature a

data Rhs a

data GuardedRhs a

data RhsGuard a

Pragmas

data TopLevelPragma a

data Rule a

data AnnotationSubject a

data MinimalFormula a

data Expr a

data FieldUpdate a

data TupSecElem a

data Alt' expr a

type Alt

type CmdAlt

data CaseRhs' expr a

type CaseRhs

type CmdCaseRhs

data GuardedCaseRhs' expr a

type GuardedCaseRhs

type CmdGuardedCaseRhs

data ExprPragma a

data SourceRange a

data Number a

data Cmd a

data Stmt' expr a

type Stmt

data ListCompBody a

data CompStmt a

data Pattern a

data PatternField a

data TyVar a

data Type a

data Context a

data Assertion a

data KindConstraint a

data Kind a

data Promoted t a

data Literal a

data Operator a

data Name a

data SimpleName a

nameFromList

data UnqualName a

data StringNode a

data DataOrNewtypeKeyword a

data DoKind a

data TypeKeyword a

data OverlapPragma a

data CallConv a

data ArrowAppl a

data Safety a

data Assoc a

data Role a

data ConlikeAnnot a

data Precedence a

data LineNumber a

data PhaseControl a

data PhaseNumber a

data PhaseInvert a

data Ann elem annot

element

annotation

data NodeInfo sema src

sourceInfo

semanticInfo

data SpanInfo

optionalPos

optionalBefore

optionalAfter

nodeSpan

listPos

listIndented

listDefaultSep

listBefore

listAfter

spanRange

class HasRange annot

type RangeInfo

type RangeWithName

type RangeWithType

data SemanticInfo n

scopedLocals

nameInfo

isDefined

importedNames

importedModule

defModuleName

availableNames

ambiguousName

ambiguousLocation

data AnnList e a

annListElems

annListAnnot

annList

data AnnMaybe e a

annMaybeAnnot

annMaybe

annJust

annNil

isAnnNothing

annNothing

class HasAnnot node

modImports

modHead

modDecl

filePragmas

mhPragma

mhName

mhExports

espExports

exportModuleName

exportDecl

ieSubspec

ieName

essList

modWarningStr

modDeprecatedPragma

importSpec

importSource

importSafe

importQualified

importPkg

importModule

importAs

importSpecList

importSpecHiding

importRename

declValBind

declTypes

declTypeSig

declTypeFamily

declType

declSplice

declSafety

declRoles

declRoleType

declPragma

declPatTypeSig

declPatSyn

declOverlap

declNewtype

declName

declKind

declInstance

declInstRule

declInstDecl

declHead

declGadt

declFunDeps

declFixity

declDeriving

declDecl

declCtx

declCons

declCallConv

declBody

declAssignedType

cbElements

pragmaFormula

ceTypeSig

ceTypeFam

ceType

cePatSig

ceName

ceKind

ceHead

ceBind

dhRight

dhOperator

dhName

dhLeft

dhBody

dhAppOperand

dhAppFun

instBodyDecls

specializeInstanceType

instBodyTypeSig

instBodyTypeEqn

instBodyPatSyn

instBodyLhsType

instBodyGadtCons

instBodyDerivings

instBodyDeclFunbind

instBodyDataNew

instBodyDataKind

instBodyDataCons

gadtConType

gadtConNames

gadtConResultType

gadtConRecordFields

gadtConNormalType

gadtFieldName

gadtFieldType

funDeps

funDepRhs

funDepLhs

conDeclRhs

conDeclOp

conDeclName

conDeclLhs

conDeclFields

conDeclArgs

fieldType

fieldNames

oneDerived

allDerived

irVars

irRule

irHead

irCtx

ihType

ihOperator

ihLeftOp

ihHead

ihFun

ihConName

teRhs

teLhs

kindConstr

tyVarName

tyVarKind

typeWildcardName

typeType

typeRight

typeResult

typeQQ

typeParam

typeOperator

typeName

typeLeft

typeKind

typeInner

typeElements

typeElement

typeCtx

typeCon

typeBounded

typeArg

tsSplice

tpPromoted

kindVar

kindRight

kindPromoted

kindParen

kindLeft

kindElem

kindAppFun

kindAppArg

contextAssertions

contextAssertion

assertTypes

assertRhs

assertOp

assertLhs

assertClsName

tupleSectionElems

tupleElems

quotedName

procPattern

procExpr

listElems

innerExpr

exprType

exprThen

exprStmts

exprSig

exprRhs

exprRecName

exprRecFields

exprQQ

exprPragma

exprOperator

exprName

exprLit

exprLhs

exprInner

exprIfAlts

exprFunBind

exprFun

exprElse

exprCond

exprCase

exprBindings

exprArg

exprAlts

enumToFix

enumTo

enumThen

enumFrom

doKind

compExpr

compBody

bracket

arrowAppl

stmtPattern

stmtExpr

stmtBinds

cmdStmtBinds

usingExpr

thenExpr

compStmt

byExpr

valBindRhs

valBindPat

valBindLocals

funBindMatches

patternType

patternSplice

patternRhs

patternOperator

patternName

patternLiteral

patternLit

patternLhs

patternInner

patternFields

patternExpr

patternElems

patternArgs

patQQ

fieldPatternName

fieldPattern

spliceId

spliceExpr

qqString

matchRhs

matchLhs

matchBinds

altRhs

altPattern

altBinds

rhsGuards

rhsExpr

guardStmts

guardExpr

fieldValue

fieldUpdateName

fieldName

bracketType

bracketPattern

bracketExpr

bracketDecl

specializeType

specializeDef

pragmaRule

pragmaPhase

pragmaObjects

pragmaMessage

pragmaLineNum

pragmaFileName

pragmaConlike

noInlineDef

inlineDef

inlinableDef

annotationSubject

annotateExpr

ruleRhs

rulePhase

ruleName

ruleLhs

ruleBounded

annotateName

minimalOrs

minimalName

minimalInner

minimalAnds

pragmaStr

pragmaSrcRange

srToLine

srToCol

srFromLine

srFromCol

srFileName

numberInteger

qqExprName

qqExprBody

guardRhs

guardPat

guardCheck

guardBinds

localVal

localSig

localFixity

localBinds

fixityPrecedence

fixityOperators

fixityAssoc

tsType

tsName

compStmts

tupSecExpr

tfSpec

tfKind

tfHead

tfSpecKind

tfInjectivity

injAnnRes

injAnnDeps

rhsCaseGuards

rhsCaseExpr

caseGuardStmts

caseGuardExpr

patRhs

patLhs

patRhsOpposite

patRhsPat

patSynRhs

patSynOp

patSynLhs

patName

patArgs

patOpposite

patSigType

patSigName

langExt

matchLhsRhs

matchLhsOperator

matchLhsName

matchLhsLhs

matchLhsArgs

stringLitValue

intLitValue

fracLitValue

floatLitValue

charLitValue

promotedStringValue

promotedIntValue

promotedElements

promotedConName

operatorName

simpleName

unqualifiedName

qualifiers

simpleNameStr

stringNodeStr

precedenceValue

phaseUntil

phaseNumber

phaseNum

ordByOccurrence

nameString

nameElements

nameQualifier

importIsExact

importIsHiding

importExacts

importHidings

importQualifiers

bindingSemantics

bindingName

declHeadNames

typeParams

semantics

dhNames

class BindingElem d

bindName

valBindsInList

getValBindInList

nodesContaining

isInside

nodesWithRange

hasRange

getNodeContaining

compareRangeLength

getNode

ordSrcSpan

fromOrdSrcSpan

data OrdSrcSpan