Language.Haskell.Tools.AST.References

Documentation

modImports :: forall dom stage. Lens (Module dom stage) (Module dom stage) (AnnList ImportDecl dom stage) (AnnList ImportDecl dom stage)

modHead :: forall dom stage. Lens (Module dom stage) (Module dom stage) (AnnMaybe ModuleHead dom stage) (AnnMaybe ModuleHead dom stage)

modDecl :: forall dom stage. Lens (Module dom stage) (Module dom stage) (AnnList Decl dom stage) (AnnList Decl dom stage)

filePragmas :: forall dom stage. Lens (Module dom stage) (Module dom stage) (AnnList FilePragma dom stage) (AnnList FilePragma dom stage)

mhPragma :: forall dom stage. Lens (ModuleHead dom stage) (ModuleHead dom stage) (AnnMaybe ModulePragma dom stage) (AnnMaybe ModulePragma dom stage)

mhName :: forall dom stage. Lens (ModuleHead dom stage) (ModuleHead dom stage) (Ann ModuleName dom stage) (Ann ModuleName dom stage)

mhExports :: forall dom stage. Lens (ModuleHead dom stage) (ModuleHead dom stage) (AnnMaybe ExportSpecList dom stage) (AnnMaybe ExportSpecList dom stage)

espExports :: forall dom stage dom' stage'. Lens (ExportSpecList dom stage) (ExportSpecList dom' stage') (AnnList ExportSpec dom stage) (AnnList ExportSpec dom' stage')

exportModuleName :: forall dom stage. Partial (ExportSpec dom stage) (ExportSpec dom stage) (Ann ModuleName dom stage) (Ann ModuleName dom stage)

exportDecl :: forall dom stage. Partial (ExportSpec dom stage) (ExportSpec dom stage) (Ann IESpec dom stage) (Ann IESpec dom stage)

ieSubspec :: forall dom stage. Lens (IESpec dom stage) (IESpec dom stage) (AnnMaybe SubSpec dom stage) (AnnMaybe SubSpec dom stage)

ieName :: forall dom stage. Lens (IESpec dom stage) (IESpec dom stage) (Ann Name dom stage) (Ann Name dom stage)

essList :: forall dom stage dom' stage'. Partial (SubSpec dom stage) (SubSpec dom' stage') (AnnList Name dom stage) (AnnList Name dom' stage')

modWarningStr :: forall dom stage. Partial (ModulePragma dom stage) (ModulePragma dom stage) (AnnList StringNode dom stage) (AnnList StringNode dom stage)

modDeprecatedPragma :: forall dom stage. Partial (ModulePragma dom stage) (ModulePragma dom stage) (AnnList StringNode dom stage) (AnnList StringNode dom stage)

importSpec :: forall dom stage. Lens (ImportDecl dom stage) (ImportDecl dom stage) (AnnMaybe ImportSpec dom stage) (AnnMaybe ImportSpec dom stage)

importSource :: forall dom stage. Lens (ImportDecl dom stage) (ImportDecl dom stage) (AnnMaybe ImportSource dom stage) (AnnMaybe ImportSource dom stage)

importSafe :: forall dom stage. Lens (ImportDecl dom stage) (ImportDecl dom stage) (AnnMaybe ImportSafe dom stage) (AnnMaybe ImportSafe dom stage)

importQualified :: forall dom stage. Lens (ImportDecl dom stage) (ImportDecl dom stage) (AnnMaybe ImportQualified dom stage) (AnnMaybe ImportQualified dom stage)

importPkg :: forall dom stage. Lens (ImportDecl dom stage) (ImportDecl dom stage) (AnnMaybe StringNode dom stage) (AnnMaybe StringNode dom stage)

importModule :: forall dom stage. Lens (ImportDecl dom stage) (ImportDecl dom stage) (Ann ModuleName dom stage) (Ann ModuleName dom stage)

importAs :: forall dom stage. Lens (ImportDecl dom stage) (ImportDecl dom stage) (AnnMaybe ImportRenaming dom stage) (AnnMaybe ImportRenaming dom stage)

importSpecList :: forall dom stage. Partial (ImportSpec dom stage) (ImportSpec dom stage) (AnnList IESpec dom stage) (AnnList IESpec dom stage)

importSpecHiding :: forall dom stage. Partial (ImportSpec dom stage) (ImportSpec dom stage) (AnnList IESpec dom stage) (AnnList IESpec dom stage)

importRename :: forall dom stage dom' stage'. Lens (ImportRenaming dom stage) (ImportRenaming dom' stage') (Ann ModuleName dom stage) (Ann ModuleName dom' stage')

declValBind :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann ValueBind dom stage) (Ann ValueBind dom stage)

declTypes :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnList Type dom stage) (AnnList Type dom stage)

declTypeSig :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann TypeSignature dom stage) (Ann TypeSignature dom stage)

declTypeFamily :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann TypeFamily dom stage) (Ann TypeFamily dom stage)

declType :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann Type dom stage) (Ann Type dom stage)

declSplice :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann Splice dom stage) (Ann Splice dom stage)

declSafety :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnMaybe Safety dom stage) (AnnMaybe Safety dom stage)

declRoles :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnList Role dom stage) (AnnList Role dom stage)

declRoleType :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann QualifiedName dom stage) (Ann QualifiedName dom stage)

declPragma :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann TopLevelPragma dom stage) (Ann TopLevelPragma dom stage)

declPatTypeSig :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann PatternTypeSignature dom stage) (Ann PatternTypeSignature dom stage)

declPatSyn :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann PatternSynonym dom stage) (Ann PatternSynonym dom stage)

declOverlap :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnMaybe OverlapPragma dom stage) (AnnMaybe OverlapPragma dom stage)

declNewtype :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann DataOrNewtypeKeyword dom stage) (Ann DataOrNewtypeKeyword dom stage)

declName :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann Name dom stage) (Ann Name dom stage)

declKind :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnMaybe KindConstraint dom stage) (AnnMaybe KindConstraint dom stage)

declInstance :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann InstanceRule dom stage) (Ann InstanceRule dom stage)

declInstRule :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann InstanceRule dom stage) (Ann InstanceRule dom stage)

declInstDecl :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnMaybe InstBody dom stage) (AnnMaybe InstBody dom stage)

declHead :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann DeclHead dom stage) (Ann DeclHead dom stage)

declGadt :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnList GadtConDecl dom stage) (AnnList GadtConDecl dom stage)

declFunDeps :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnMaybe FunDeps dom stage) (AnnMaybe FunDeps dom stage)

declFixity :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann FixitySignature dom stage) (Ann FixitySignature dom stage)

declDeriving :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnMaybe Deriving dom stage) (AnnMaybe Deriving dom stage)

declDecl :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnList TypeEqn dom stage) (AnnList TypeEqn dom stage)

declCtx :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnMaybe Context dom stage) (AnnMaybe Context dom stage)

declCons :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnList ConDecl dom stage) (AnnList ConDecl dom stage)

declCallConv :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann CallConv dom stage) (Ann CallConv dom stage)

declBody :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (AnnMaybe ClassBody dom stage) (AnnMaybe ClassBody dom stage)

declAssignedType :: forall dom stage. Partial (Decl dom stage) (Decl dom stage) (Ann Type dom stage) (Ann Type dom stage)

cbElements :: forall dom stage dom' stage'. Lens (ClassBody dom stage) (ClassBody dom' stage') (AnnList ClassElement dom stage) (AnnList ClassElement dom' stage')

pragmaFormula :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann MinimalFormula dom stage) (Ann MinimalFormula dom stage)

ceTypeSig :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann TypeSignature dom stage) (Ann TypeSignature dom stage)

ceTypeFam :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann TypeFamily dom stage) (Ann TypeFamily dom stage)

ceType :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann Type dom stage) (Ann Type dom stage)

cePatSig :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann PatternTypeSignature dom stage) (Ann PatternTypeSignature dom stage)

ceName :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann Name dom stage) (Ann Name dom stage)

ceKind :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann Type dom stage) (Ann Type dom stage)

ceHead :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann DeclHead dom stage) (Ann DeclHead dom stage)

ceBind :: forall dom stage. Partial (ClassElement dom stage) (ClassElement dom stage) (Ann ValueBind dom stage) (Ann ValueBind dom stage)

dhRight :: forall dom stage. Partial (DeclHead dom stage) (DeclHead dom stage) (Ann TyVar dom stage) (Ann TyVar dom stage)

dhOperator :: forall dom stage. Partial (DeclHead dom stage) (DeclHead dom stage) (Ann Operator dom stage) (Ann Operator dom stage)

dhName :: forall dom stage. Partial (DeclHead dom stage) (DeclHead dom stage) (Ann Name dom stage) (Ann Name dom stage)

dhLeft :: forall dom stage. Partial (DeclHead dom stage) (DeclHead dom stage) (Ann TyVar dom stage) (Ann TyVar dom stage)

dhBody :: forall dom stage. Partial (DeclHead dom stage) (DeclHead dom stage) (Ann DeclHead dom stage) (Ann DeclHead dom stage)

dhAppOperand :: forall dom stage. Partial (DeclHead dom stage) (DeclHead dom stage) (Ann TyVar dom stage) (Ann TyVar dom stage)

dhAppFun :: forall dom stage. Partial (DeclHead dom stage) (DeclHead dom stage) (Ann DeclHead dom stage) (Ann DeclHead dom stage)

instBodyDecls :: forall dom stage dom' stage'. Lens (InstBody dom stage) (InstBody dom' stage') (AnnList InstBodyDecl dom stage) (AnnList InstBodyDecl dom' stage')

specializeInstanceType :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (Ann Type dom stage) (Ann Type dom stage)

instBodyTypeSig :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (Ann TypeSignature dom stage) (Ann TypeSignature dom stage)

instBodyTypeEqn :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (Ann TypeEqn dom stage) (Ann TypeEqn dom stage)

instBodyPatSyn :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (Ann PatternSynonym dom stage) (Ann PatternSynonym dom stage)

instBodyLhsType :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (Ann InstanceRule dom stage) (Ann InstanceRule dom stage)

instBodyGadtCons :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (AnnList GadtConDecl dom stage) (AnnList GadtConDecl dom stage)

instBodyDerivings :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (AnnMaybe Deriving dom stage) (AnnMaybe Deriving dom stage)

instBodyDeclFunbind :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (Ann ValueBind dom stage) (Ann ValueBind dom stage)

instBodyDataNew :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (Ann DataOrNewtypeKeyword dom stage) (Ann DataOrNewtypeKeyword dom stage)

instBodyDataKind :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (AnnMaybe KindConstraint dom stage) (AnnMaybe KindConstraint dom stage)

instBodyDataCons :: forall dom stage. Partial (InstBodyDecl dom stage) (InstBodyDecl dom stage) (AnnList ConDecl dom stage) (AnnList ConDecl dom stage)

gadtConType :: forall dom stage. Lens (GadtConDecl dom stage) (GadtConDecl dom stage) (Ann GadtConType dom stage) (Ann GadtConType dom stage)

gadtConNames :: forall dom stage. Lens (GadtConDecl dom stage) (GadtConDecl dom stage) (AnnList Name dom stage) (AnnList Name dom stage)

gadtConResultType :: forall dom stage. Partial (GadtConType dom stage) (GadtConType dom stage) (Ann Type dom stage) (Ann Type dom stage)

gadtConRecordFields :: forall dom stage. Partial (GadtConType dom stage) (GadtConType dom stage) (AnnList FieldDecl dom stage) (AnnList FieldDecl dom stage)

gadtConNormalType :: forall dom stage. Partial (GadtConType dom stage) (GadtConType dom stage) (Ann Type dom stage) (Ann Type dom stage)

funDeps :: forall dom stage dom' stage'. Lens (FunDeps dom stage) (FunDeps dom' stage') (AnnList FunDep dom stage) (AnnList FunDep dom' stage')

funDepRhs :: forall dom stage. Lens (FunDep dom stage) (FunDep dom stage) (AnnList Name dom stage) (AnnList Name dom stage)

funDepLhs :: forall dom stage. Lens (FunDep dom stage) (FunDep dom stage) (AnnList Name dom stage) (AnnList Name dom stage)

conDeclRhs :: forall dom stage. Partial (ConDecl dom stage) (ConDecl dom stage) (Ann Type dom stage) (Ann Type dom stage)

conDeclOp :: forall dom stage. Partial (ConDecl dom stage) (ConDecl dom stage) (Ann Operator dom stage) (Ann Operator dom stage)

conDeclName :: forall dom stage. Partial (ConDecl dom stage) (ConDecl dom stage) (Ann Name dom stage) (Ann Name dom stage)

conDeclLhs :: forall dom stage. Partial (ConDecl dom stage) (ConDecl dom stage) (Ann Type dom stage) (Ann Type dom stage)

conDeclFields :: forall dom stage. Partial (ConDecl dom stage) (ConDecl dom stage) (AnnList FieldDecl dom stage) (AnnList FieldDecl dom stage)

conDeclArgs :: forall dom stage. Partial (ConDecl dom stage) (ConDecl dom stage) (AnnList Type dom stage) (AnnList Type dom stage)

fieldType :: forall dom stage. Lens (FieldDecl dom stage) (FieldDecl dom stage) (Ann Type dom stage) (Ann Type dom stage)

fieldNames :: forall dom stage. Lens (FieldDecl dom stage) (FieldDecl dom stage) (AnnList Name dom stage) (AnnList Name dom stage)

oneDerived :: forall dom stage. Partial (Deriving dom stage) (Deriving dom stage) (Ann InstanceHead dom stage) (Ann InstanceHead dom stage)

allDerived :: forall dom stage. Partial (Deriving dom stage) (Deriving dom stage) (AnnList InstanceHead dom stage) (AnnList InstanceHead dom stage)

irVars :: forall dom stage. Partial (InstanceRule dom stage) (InstanceRule dom stage) (AnnMaybe (AnnList TyVar) dom stage) (AnnMaybe (AnnList TyVar) dom stage)

irRule :: forall dom stage. Partial (InstanceRule dom stage) (InstanceRule dom stage) (Ann InstanceRule dom stage) (Ann InstanceRule dom stage)

irHead :: forall dom stage. Partial (InstanceRule dom stage) (InstanceRule dom stage) (Ann InstanceHead dom stage) (Ann InstanceHead dom stage)

irCtx :: forall dom stage. Partial (InstanceRule dom stage) (InstanceRule dom stage) (AnnMaybe Context dom stage) (AnnMaybe Context dom stage)

ihType :: forall dom stage. Partial (InstanceHead dom stage) (InstanceHead dom stage) (Ann Type dom stage) (Ann Type dom stage)

ihOperator :: forall dom stage. Partial (InstanceHead dom stage) (InstanceHead dom stage) (Ann Name dom stage) (Ann Name dom stage)

ihLeftOp :: forall dom stage. Partial (InstanceHead dom stage) (InstanceHead dom stage) (Ann Type dom stage) (Ann Type dom stage)

ihHead :: forall dom stage. Partial (InstanceHead dom stage) (InstanceHead dom stage) (Ann InstanceHead dom stage) (Ann InstanceHead dom stage)

ihFun :: forall dom stage. Partial (InstanceHead dom stage) (InstanceHead dom stage) (Ann InstanceHead dom stage) (Ann InstanceHead dom stage)

ihConName :: forall dom stage. Partial (InstanceHead dom stage) (InstanceHead dom stage) (Ann Name dom stage) (Ann Name dom stage)

teRhs :: forall dom stage. Lens (TypeEqn dom stage) (TypeEqn dom stage) (Ann Type dom stage) (Ann Type dom stage)

teLhs :: forall dom stage. Lens (TypeEqn dom stage) (TypeEqn dom stage) (Ann Type dom stage) (Ann Type dom stage)

kindConstr :: forall dom stage dom' stage'. Lens (KindConstraint dom stage) (KindConstraint dom' stage') (Ann Kind dom stage) (Ann Kind dom' stage')

tyVarName :: forall dom stage. Lens (TyVar dom stage) (TyVar dom stage) (Ann Name dom stage) (Ann Name dom stage)

tyVarKind :: forall dom stage. Lens (TyVar dom stage) (TyVar dom stage) (AnnMaybe KindConstraint dom stage) (AnnMaybe KindConstraint dom stage)

typeWildcardName :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Name dom stage) (Ann Name dom stage)

typeType :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

typeRight :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

typeResult :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

typeQQ :: forall dom stage. Partial (Type dom stage) (Type dom stage) (QuasiQuote dom stage) (QuasiQuote dom stage)

typeParam :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

typeOperator :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Operator dom stage) (Ann Operator dom stage)

typeName :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Name dom stage) (Ann Name dom stage)

typeLeft :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

typeKind :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Kind dom stage) (Ann Kind dom stage)

typeInner :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

typeElements :: forall dom stage. Partial (Type dom stage) (Type dom stage) (AnnList Type dom stage) (AnnList Type dom stage)

typeElement :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

typeCtx :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Context dom stage) (Ann Context dom stage)

typeCon :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

typeBounded :: forall dom stage. Partial (Type dom stage) (Type dom stage) (AnnList TyVar dom stage) (AnnList TyVar dom stage)

typeArg :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann Type dom stage) (Ann Type dom stage)

tsSplice :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Splice dom stage) (Splice dom stage)

tpPromoted :: forall dom stage. Partial (Type dom stage) (Type dom stage) (Ann (Promoted Type) dom stage) (Ann (Promoted Type) dom stage)

kindVar :: forall dom stage. Partial (Kind dom stage) (Kind dom stage) (Ann Name dom stage) (Ann Name dom stage)

kindRight :: forall dom stage. Partial (Kind dom stage) (Kind dom stage) (Ann Kind dom stage) (Ann Kind dom stage)

kindPromoted :: forall dom stage. Partial (Kind dom stage) (Kind dom stage) (Ann (Promoted Kind) dom stage) (Ann (Promoted Kind) dom stage)

kindParen :: forall dom stage. Partial (Kind dom stage) (Kind dom stage) (Ann Kind dom stage) (Ann Kind dom stage)

kindLeft :: forall dom stage. Partial (Kind dom stage) (Kind dom stage) (Ann Kind dom stage) (Ann Kind dom stage)

kindElem :: forall dom stage. Partial (Kind dom stage) (Kind dom stage) (Ann Kind dom stage) (Ann Kind dom stage)

kindAppFun :: forall dom stage. Partial (Kind dom stage) (Kind dom stage) (Ann Kind dom stage) (Ann Kind dom stage)

kindAppArg :: forall dom stage. Partial (Kind dom stage) (Kind dom stage) (Ann Kind dom stage) (Ann Kind dom stage)

contextAssertions :: forall dom stage. Partial (Context dom stage) (Context dom stage) (AnnList Assertion dom stage) (AnnList Assertion dom stage)

contextAssertion :: forall dom stage. Partial (Context dom stage) (Context dom stage) (Ann Assertion dom stage) (Ann Assertion dom stage)

assertTypes :: forall dom stage. Partial (Assertion dom stage) (Assertion dom stage) (AnnList Type dom stage) (AnnList Type dom stage)

assertRhs :: forall dom stage. Partial (Assertion dom stage) (Assertion dom stage) (Ann Type dom stage) (Ann Type dom stage)

assertOp :: forall dom stage. Partial (Assertion dom stage) (Assertion dom stage) (Ann Operator dom stage) (Ann Operator dom stage)

assertLhs :: forall dom stage. Partial (Assertion dom stage) (Assertion dom stage) (Ann Type dom stage) (Ann Type dom stage)

assertImplVar :: forall dom stage. Partial (Assertion dom stage) (Assertion dom stage) (Ann Name dom stage) (Ann Name dom stage)

assertImplType :: forall dom stage. Partial (Assertion dom stage) (Assertion dom stage) (Ann Type dom stage) (Ann Type dom stage)

assertClsName :: forall dom stage. Partial (Assertion dom stage) (Assertion dom stage) (Ann Name dom stage) (Ann Name dom stage)

tupleSectionElems :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList TupSecElem dom stage) (AnnList TupSecElem dom stage)

tupleElems :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList Expr dom stage) (AnnList Expr dom stage)

quotedName :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Name dom stage) (Ann Name dom stage)

procPattern :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

procExpr :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Cmd dom stage) (Ann Cmd dom stage)

listElems :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList Expr dom stage) (AnnList Expr dom stage)

innerExpr :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Splice dom stage) (Ann Splice dom stage)

exprType :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Type dom stage) (Ann Type dom stage)

exprThen :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprStmts :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList Stmt dom stage) (AnnList Stmt dom stage)

exprSig :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Type dom stage) (Ann Type dom stage)

exprRhs :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprRecName :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Name dom stage) (Ann Name dom stage)

exprRecFields :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList FieldUpdate dom stage) (AnnList FieldUpdate dom stage)

exprQQ :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann QuasiQuote dom stage) (Ann QuasiQuote dom stage)

exprPragma :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann ExprPragma dom stage) (Ann ExprPragma dom stage)

exprOperator :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Operator dom stage) (Ann Operator dom stage)

exprName :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Name dom stage) (Ann Name dom stage)

exprLit :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Literal dom stage) (Ann Literal dom stage)

exprLhs :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprInner :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprIfAlts :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList GuardedCaseRhs dom stage) (AnnList GuardedCaseRhs dom stage)

exprFunBind :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList LocalBind dom stage) (AnnList LocalBind dom stage)

exprFun :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprElse :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprCond :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprCase :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprBindings :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList Pattern dom stage) (AnnList Pattern dom stage)

exprArg :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

exprAlts :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList Alt dom stage) (AnnList Alt dom stage)

enumToFix :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

enumTo :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnMaybe Expr dom stage) (AnnMaybe Expr dom stage)

enumThen :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnMaybe Expr dom stage) (AnnMaybe Expr dom stage)

enumFrom :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

doKind :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann DoKind dom stage) (Ann DoKind dom stage)

compExpr :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

compBody :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (AnnList ListCompBody dom stage) (AnnList ListCompBody dom stage)

bracket :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann Bracket dom stage) (Ann Bracket dom stage)

arrowAppl :: forall dom stage. Partial (Expr dom stage) (Expr dom stage) (Ann ArrowAppl dom stage) (Ann ArrowAppl dom stage)

stmtPattern :: forall expr dom stage. Partial (Stmt' expr dom stage) (Stmt' expr dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

stmtExpr :: forall expr dom stage. Partial (Stmt' expr dom stage) (Stmt' expr dom stage) (Ann expr dom stage) (Ann expr dom stage)

stmtBinds :: forall expr dom stage. Partial (Stmt' expr dom stage) (Stmt' expr dom stage) (AnnList LocalBind dom stage) (AnnList LocalBind dom stage)

cmdStmtBinds :: forall expr dom stage. Partial (Stmt' expr dom stage) (Stmt' expr dom stage) (AnnList (Stmt' expr) dom stage) (AnnList (Stmt' expr) dom stage)

usingExpr :: forall dom stage. Partial (CompStmt dom stage) (CompStmt dom stage) (AnnMaybe Expr dom stage) (AnnMaybe Expr dom stage)

thenExpr :: forall dom stage. Partial (CompStmt dom stage) (CompStmt dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

compStmt :: forall dom stage. Partial (CompStmt dom stage) (CompStmt dom stage) (Ann Stmt dom stage) (Ann Stmt dom stage)

byExpr :: forall dom stage. Partial (CompStmt dom stage) (CompStmt dom stage) (AnnMaybe Expr dom stage) (AnnMaybe Expr dom stage)

valBindRhs :: forall dom stage. Partial (ValueBind dom stage) (ValueBind dom stage) (Ann Rhs dom stage) (Ann Rhs dom stage)

valBindPat :: forall dom stage. Partial (ValueBind dom stage) (ValueBind dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

valBindLocals :: forall dom stage. Partial (ValueBind dom stage) (ValueBind dom stage) (AnnMaybe LocalBinds dom stage) (AnnMaybe LocalBinds dom stage)

funBindMatches :: forall dom stage. Partial (ValueBind dom stage) (ValueBind dom stage) (AnnList Match dom stage) (AnnList Match dom stage)

patternType :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Type dom stage) (Ann Type dom stage)

patternSplice :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Splice dom stage) (Ann Splice dom stage)

patternRhs :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

patternOperator :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Operator dom stage) (Ann Operator dom stage)

patternName :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Name dom stage) (Ann Name dom stage)

patternLiteral :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Literal dom stage) (Ann Literal dom stage)

patternLit :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Literal dom stage) (Ann Literal dom stage)

patternLhs :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

patternInner :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

patternFields :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (AnnList PatternField dom stage) (AnnList PatternField dom stage)

patternExpr :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

patternElems :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (AnnList Pattern dom stage) (AnnList Pattern dom stage)

patternArgs :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (AnnList Pattern dom stage) (AnnList Pattern dom stage)

patQQ :: forall dom stage. Partial (Pattern dom stage) (Pattern dom stage) (Ann QuasiQuote dom stage) (Ann QuasiQuote dom stage)

fieldPatternWildcard :: forall dom stage. Partial (PatternField dom stage) (PatternField dom stage) (Ann FieldWildcard dom stage) (Ann FieldWildcard dom stage)

fieldPatternName :: forall dom stage. Partial (PatternField dom stage) (PatternField dom stage) (Ann Name dom stage) (Ann Name dom stage)

fieldPattern :: forall dom stage. Partial (PatternField dom stage) (PatternField dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

spliceId :: forall dom stage. Partial (Splice dom stage) (Splice dom stage) (Ann Name dom stage) (Ann Name dom stage)

spliceExpr :: forall dom stage. Partial (Splice dom stage) (Splice dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

qqString :: forall dom stage. Lens (QQString dom stage) (QQString dom stage) String String

matchRhs :: forall dom stage. Lens (Match dom stage) (Match dom stage) (Ann Rhs dom stage) (Ann Rhs dom stage)

matchLhs :: forall dom stage. Lens (Match dom stage) (Match dom stage) (Ann MatchLhs dom stage) (Ann MatchLhs dom stage)

matchBinds :: forall dom stage. Lens (Match dom stage) (Match dom stage) (AnnMaybe LocalBinds dom stage) (AnnMaybe LocalBinds dom stage)

altRhs :: forall expr dom stage expr'. Lens (Alt' expr dom stage) (Alt' expr' dom stage) (Ann (CaseRhs' expr) dom stage) (Ann (CaseRhs' expr') dom stage)

altPattern :: forall expr dom stage. Lens (Alt' expr dom stage) (Alt' expr dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

altBinds :: forall expr dom stage. Lens (Alt' expr dom stage) (Alt' expr dom stage) (AnnMaybe LocalBinds dom stage) (AnnMaybe LocalBinds dom stage)

rhsGuards :: forall dom stage. Partial (Rhs dom stage) (Rhs dom stage) (AnnList GuardedRhs dom stage) (AnnList GuardedRhs dom stage)

rhsExpr :: forall dom stage. Partial (Rhs dom stage) (Rhs dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

guardStmts :: forall dom stage. Lens (GuardedRhs dom stage) (GuardedRhs dom stage) (AnnList RhsGuard dom stage) (AnnList RhsGuard dom stage)

guardExpr :: forall dom stage. Lens (GuardedRhs dom stage) (GuardedRhs dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

fieldWildcard :: forall dom stage. Partial (FieldUpdate dom stage) (FieldUpdate dom stage) (Ann FieldWildcard dom stage) (Ann FieldWildcard dom stage)

fieldValue :: forall dom stage. Partial (FieldUpdate dom stage) (FieldUpdate dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

fieldUpdateName :: forall dom stage. Partial (FieldUpdate dom stage) (FieldUpdate dom stage) (Ann Name dom stage) (Ann Name dom stage)

fieldName :: forall dom stage. Partial (FieldUpdate dom stage) (FieldUpdate dom stage) (Ann Name dom stage) (Ann Name dom stage)

bracketType :: forall dom stage. Partial (Bracket dom stage) (Bracket dom stage) (Ann Type dom stage) (Ann Type dom stage)

bracketPattern :: forall dom stage. Partial (Bracket dom stage) (Bracket dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

bracketExpr :: forall dom stage. Partial (Bracket dom stage) (Bracket dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

bracketDecl :: forall dom stage. Partial (Bracket dom stage) (Bracket dom stage) (AnnList Decl dom stage) (AnnList Decl dom stage)

specializeType :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (AnnList Type dom stage) (AnnList Type dom stage)

specializeDef :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (Ann Name dom stage) (Ann Name dom stage)

pragmaRule :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (AnnList Rule dom stage) (AnnList Rule dom stage)

pragmaPhase :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (AnnMaybe PhaseControl dom stage) (AnnMaybe PhaseControl dom stage)

pragmaObjects :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (AnnList Name dom stage) (AnnList Name dom stage)

pragmaMessage :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (Ann StringNode dom stage) (Ann StringNode dom stage)

pragmaLineNum :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (Ann LineNumber dom stage) (Ann LineNumber dom stage)

pragmaFileName :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (AnnMaybe StringNode dom stage) (AnnMaybe StringNode dom stage)

pragmaConlike :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (AnnMaybe ConlikeAnnot dom stage) (AnnMaybe ConlikeAnnot dom stage)

noInlineDef :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (Ann Name dom stage) (Ann Name dom stage)

inlineDef :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (Ann Name dom stage) (Ann Name dom stage)

inlinableDef :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (Ann Name dom stage) (Ann Name dom stage)

annotationSubject :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (Ann AnnotationSubject dom stage) (Ann AnnotationSubject dom stage)

annotateExpr :: forall dom stage. Partial (TopLevelPragma dom stage) (TopLevelPragma dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

ruleRhs :: forall dom stage. Lens (Rule dom stage) (Rule dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

rulePhase :: forall dom stage. Lens (Rule dom stage) (Rule dom stage) (AnnMaybe PhaseControl dom stage) (AnnMaybe PhaseControl dom stage)

ruleName :: forall dom stage. Lens (Rule dom stage) (Rule dom stage) (Ann StringNode dom stage) (Ann StringNode dom stage)

ruleLhs :: forall dom stage. Lens (Rule dom stage) (Rule dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

ruleBounded :: forall dom stage. Lens (Rule dom stage) (Rule dom stage) (AnnList TyVar dom stage) (AnnList TyVar dom stage)

annotateName :: forall dom stage dom' stage'. Partial (AnnotationSubject dom stage) (AnnotationSubject dom' stage') (Ann Name dom stage) (Ann Name dom' stage')

minimalOrs :: forall dom stage. Partial (MinimalFormula dom stage) (MinimalFormula dom stage) (AnnList MinimalFormula dom stage) (AnnList MinimalFormula dom stage)

minimalName :: forall dom stage. Partial (MinimalFormula dom stage) (MinimalFormula dom stage) (Ann Name dom stage) (Ann Name dom stage)

minimalInner :: forall dom stage. Partial (MinimalFormula dom stage) (MinimalFormula dom stage) (Ann MinimalFormula dom stage) (Ann MinimalFormula dom stage)

minimalAnds :: forall dom stage. Partial (MinimalFormula dom stage) (MinimalFormula dom stage) (AnnList MinimalFormula dom stage) (AnnList MinimalFormula dom stage)

pragmaStr :: forall dom stage. Partial (ExprPragma dom stage) (ExprPragma dom stage) (Ann StringNode dom stage) (Ann StringNode dom stage)

pragmaSrcRange :: forall dom stage. Partial (ExprPragma dom stage) (ExprPragma dom stage) (Ann SourceRange dom stage) (Ann SourceRange dom stage)

srToLine :: forall dom stage. Lens (SourceRange dom stage) (SourceRange dom stage) (Ann Number dom stage) (Ann Number dom stage)

srToCol :: forall dom stage. Lens (SourceRange dom stage) (SourceRange dom stage) (Ann Number dom stage) (Ann Number dom stage)

srFromLine :: forall dom stage. Lens (SourceRange dom stage) (SourceRange dom stage) (Ann Number dom stage) (Ann Number dom stage)

srFromCol :: forall dom stage. Lens (SourceRange dom stage) (SourceRange dom stage) (Ann Number dom stage) (Ann Number dom stage)

srFileName :: forall dom stage. Lens (SourceRange dom stage) (SourceRange dom stage) (Ann StringNode dom stage) (Ann StringNode dom stage)

numberInteger :: forall dom stage. Lens (Number dom stage) (Number dom stage) Integer Integer

qqExprName :: forall dom stage. Lens (QuasiQuote dom stage) (QuasiQuote dom stage) (Ann Name dom stage) (Ann Name dom stage)

qqExprBody :: forall dom stage. Lens (QuasiQuote dom stage) (QuasiQuote dom stage) (Ann QQString dom stage) (Ann QQString dom stage)

guardRhs :: forall dom stage. Partial (RhsGuard dom stage) (RhsGuard dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

guardPat :: forall dom stage. Partial (RhsGuard dom stage) (RhsGuard dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

guardCheck :: forall dom stage. Partial (RhsGuard dom stage) (RhsGuard dom stage) (Ann Expr dom stage) (Ann Expr dom stage)

guardBinds :: forall dom stage. Partial (RhsGuard dom stage) (RhsGuard dom stage) (AnnList LocalBind dom stage) (AnnList LocalBind dom stage)

localVal :: forall dom stage. Partial (LocalBind dom stage) (LocalBind dom stage) (Ann ValueBind dom stage) (Ann ValueBind dom stage)

localSig :: forall dom stage. Partial (LocalBind dom stage) (LocalBind dom stage) (Ann TypeSignature dom stage) (Ann TypeSignature dom stage)

localFixity :: forall dom stage. Partial (LocalBind dom stage) (LocalBind dom stage) (Ann FixitySignature dom stage) (Ann FixitySignature dom stage)

localBinds :: forall dom stage dom' stage'. Lens (LocalBinds dom stage) (LocalBinds dom' stage') (AnnList LocalBind dom stage) (AnnList LocalBind dom' stage')

fixityPrecedence :: forall dom stage. Lens (FixitySignature dom stage) (FixitySignature dom stage) (Ann Precedence dom stage) (Ann Precedence dom stage)

fixityOperators :: forall dom stage. Lens (FixitySignature dom stage) (FixitySignature dom stage) (AnnList Operator dom stage) (AnnList Operator dom stage)

fixityAssoc :: forall dom stage. Lens (FixitySignature dom stage) (FixitySignature dom stage) (Ann Assoc dom stage) (Ann Assoc dom stage)

tsType :: forall dom stage. Lens (TypeSignature dom stage) (TypeSignature dom stage) (Ann Type dom stage) (Ann Type dom stage)

tsName :: forall dom stage. Lens (TypeSignature dom stage) (TypeSignature dom stage) (AnnList Name dom stage) (AnnList Name dom stage)

compStmts :: forall dom stage dom' stage'. Lens (ListCompBody dom stage) (ListCompBody dom' stage') (AnnList CompStmt dom stage) (AnnList CompStmt dom' stage')

tupSecExpr :: forall dom stage dom' stage'. Partial (TupSecElem dom stage) (TupSecElem dom' stage') (Ann Expr dom stage) (Ann Expr dom' stage')

tfSpec :: forall dom stage. Partial (TypeFamily dom stage) (TypeFamily dom stage) (AnnMaybe TypeFamilySpec dom stage) (AnnMaybe TypeFamilySpec dom stage)

tfKind :: forall dom stage. Partial (TypeFamily dom stage) (TypeFamily dom stage) (AnnMaybe KindConstraint dom stage) (AnnMaybe KindConstraint dom stage)

tfHead :: forall dom stage. Lens (TypeFamily dom stage) (TypeFamily dom stage) (Ann DeclHead dom stage) (Ann DeclHead dom stage)

tfSpecKind :: forall dom stage. Partial (TypeFamilySpec dom stage) (TypeFamilySpec dom stage) (Ann KindConstraint dom stage) (Ann KindConstraint dom stage)

tfInjectivity :: forall dom stage. Partial (TypeFamilySpec dom stage) (TypeFamilySpec dom stage) (Ann InjectivityAnn dom stage) (Ann InjectivityAnn dom stage)

injAnnRes :: forall dom stage. Lens (InjectivityAnn dom stage) (InjectivityAnn dom stage) (Ann Name dom stage) (Ann Name dom stage)

injAnnDeps :: forall dom stage. Lens (InjectivityAnn dom stage) (InjectivityAnn dom stage) (AnnList Name dom stage) (AnnList Name dom stage)

rhsCaseGuards :: forall expr dom stage. Partial (CaseRhs' expr dom stage) (CaseRhs' expr dom stage) (AnnList (GuardedCaseRhs' expr) dom stage) (AnnList (GuardedCaseRhs' expr) dom stage)

rhsCaseExpr :: forall expr dom stage. Partial (CaseRhs' expr dom stage) (CaseRhs' expr dom stage) (Ann expr dom stage) (Ann expr dom stage)

caseGuardStmts :: forall expr dom stage. Lens (GuardedCaseRhs' expr dom stage) (GuardedCaseRhs' expr dom stage) (AnnList RhsGuard dom stage) (AnnList RhsGuard dom stage)

caseGuardExpr :: forall expr dom stage expr'. Lens (GuardedCaseRhs' expr dom stage) (GuardedCaseRhs' expr' dom stage) (Ann expr dom stage) (Ann expr' dom stage)

patRhs :: forall dom stage. Lens (PatternSynonym dom stage) (PatternSynonym dom stage) (Ann PatSynRhs dom stage) (Ann PatSynRhs dom stage)

patLhs :: forall dom stage. Lens (PatternSynonym dom stage) (PatternSynonym dom stage) (Ann PatSynLhs dom stage) (Ann PatSynLhs dom stage)

patRhsOpposite :: forall dom stage. Partial (PatSynRhs dom stage) (PatSynRhs dom stage) (AnnMaybe PatSynWhere dom stage) (AnnMaybe PatSynWhere dom stage)

patRhsPat :: forall dom stage. Lens (PatSynRhs dom stage) (PatSynRhs dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

patSynRhs :: forall dom stage. Partial (PatSynLhs dom stage) (PatSynLhs dom stage) (Ann Name dom stage) (Ann Name dom stage)

patSynOp :: forall dom stage. Partial (PatSynLhs dom stage) (PatSynLhs dom stage) (Ann Operator dom stage) (Ann Operator dom stage)

patSynLhs :: forall dom stage. Partial (PatSynLhs dom stage) (PatSynLhs dom stage) (Ann Name dom stage) (Ann Name dom stage)

patName :: forall dom stage. Partial (PatSynLhs dom stage) (PatSynLhs dom stage) (Ann Name dom stage) (Ann Name dom stage)

patArgs :: forall dom stage. Partial (PatSynLhs dom stage) (PatSynLhs dom stage) (AnnList Name dom stage) (AnnList Name dom stage)

patOpposite :: forall dom stage dom' stage'. Lens (PatSynWhere dom stage) (PatSynWhere dom' stage') (AnnList Match dom stage) (AnnList Match dom' stage')

patSigType :: forall dom stage. Lens (PatternTypeSignature dom stage) (PatternTypeSignature dom stage) (Ann Type dom stage) (Ann Type dom stage)

patSigName :: forall dom stage. Lens (PatternTypeSignature dom stage) (PatternTypeSignature dom stage) (Ann Name dom stage) (Ann Name dom stage)

langExt :: forall dom stage. Lens (LanguageExtension dom stage) (LanguageExtension dom stage) String String

matchLhsRhs :: forall dom stage. Partial (MatchLhs dom stage) (MatchLhs dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

matchLhsOperator :: forall dom stage. Partial (MatchLhs dom stage) (MatchLhs dom stage) (Ann Operator dom stage) (Ann Operator dom stage)

matchLhsName :: forall dom stage. Partial (MatchLhs dom stage) (MatchLhs dom stage) (Ann Name dom stage) (Ann Name dom stage)

matchLhsLhs :: forall dom stage. Partial (MatchLhs dom stage) (MatchLhs dom stage) (Ann Pattern dom stage) (Ann Pattern dom stage)

matchLhsArgs :: forall dom stage. Lens (MatchLhs dom stage) (MatchLhs dom stage) (AnnList Pattern dom stage) (AnnList Pattern dom stage)

stringLitValue :: forall dom stage. Partial (Literal dom stage) (Literal dom stage) String String

intLitValue :: forall dom stage. Partial (Literal dom stage) (Literal dom stage) Integer Integer

fracLitValue :: forall dom stage. Partial (Literal dom stage) (Literal dom stage) Rational Rational

floatLitValue :: forall dom stage. Partial (Literal dom stage) (Literal dom stage) Rational Rational

charLitValue :: forall dom stage. Partial (Literal dom stage) (Literal dom stage) Char Char

promotedStringValue :: forall t dom stage. Partial (Promoted t dom stage) (Promoted t dom stage) String String

promotedIntValue :: forall t dom stage. Partial (Promoted t dom stage) (Promoted t dom stage) Integer Integer

promotedElements :: forall t dom stage t'. Partial (Promoted t dom stage) (Promoted t' dom stage) (AnnList t dom stage) (AnnList t' dom stage)

promotedConName :: forall t dom stage. Partial (Promoted t dom stage) (Promoted t dom stage) (Ann Name dom stage) (Ann Name dom stage)

operatorName :: forall dom stage dom' stage'. Lens (Operator dom stage) (Operator dom' stage') (Ann QualifiedName dom stage) (Ann QualifiedName dom' stage')

simpleName :: forall dom stage dom' stage'. Lens (Name dom stage) (Name dom' stage') (Ann QualifiedName dom stage) (Ann QualifiedName dom' stage')

unqualifiedName :: forall dom stage. Lens (QualifiedName dom stage) (QualifiedName dom stage) (Ann UnqualName dom stage) (Ann UnqualName dom stage)

qualifiers :: forall dom stage. Lens (QualifiedName dom stage) (QualifiedName dom stage) (AnnList UnqualName dom stage) (AnnList UnqualName dom stage)

moduleNameString :: forall dom stage. Lens (ModuleName dom stage) (ModuleName dom stage) String String

simpleNameStr :: forall dom stage. Lens (UnqualName dom stage) (UnqualName dom stage) String String

stringNodeStr :: forall dom stage. Lens (StringNode dom stage) (StringNode dom stage) String String

precedenceValue :: forall dom stage. Lens (Precedence dom stage) (Precedence dom stage) Int Int

phaseUntil :: forall dom stage. Lens (PhaseControl dom stage) (PhaseControl dom stage) (AnnMaybe PhaseInvert dom stage) (AnnMaybe PhaseInvert dom stage)

phaseNumber :: forall dom stage. Lens (PhaseControl dom stage) (PhaseControl dom stage) (Ann PhaseNumber dom stage) (Ann PhaseNumber dom stage)

phaseNum :: forall dom stage. Lens (PhaseNumber dom stage) (PhaseNumber dom stage) Integer Integer