Language.Haskell.Tools.AST

Contents

• Pragmas

Description

Synopsis

• data Module a = Module {
  • _filePragmas :: AnnList FilePragma a
  • _modHead :: AnnMaybe ModuleHead a
  • _modImports :: AnnList ImportDecl a
  • _modDecl :: AnnList Decl a
  }
• data ModuleHead a = ModuleHead {
  • _mhName :: Ann SimpleName a
  • _mhExports :: AnnMaybe ExportSpecList a
  • _mhPragma :: AnnMaybe ModulePragma a
  }
• data ExportSpecList a = ExportSpecList {
  • _espExports :: AnnList ExportSpec a
  }
• data ExportSpec a
  • = DeclExport {
    • _exportDecl :: Ann IESpec a
    }
  • | ModuleExport {
    • _exportModuleName :: Ann SimpleName a
    }
• data IESpec a = IESpec {
  • _ieName :: Ann Name a
  • _ieSubspec :: AnnMaybe SubSpec a
  }
• data SubSpec a
  • = SubSpecAll
  • | SubSpecList {
    • _essList :: AnnList Name a
    }
• data FilePragma a
  • = LanguagePragma {
    • _lpPragmas :: AnnList LanguageExtension a
    }
  • | OptionsPragma {
    • _opStr :: Ann StringNode a
    }
• data ModulePragma a
  • = ModuleWarningPragma {
    • _modWarningStr :: AnnList StringNode a
    }
  • | ModuleDeprecatedPragma {
    • _modDeprecatedPragma :: AnnList StringNode a
    }
• data LanguageExtension a = LanguageExtension {
  • _langExt :: String
  }
• data ImportDecl a = ImportDecl {
  • _importSource :: AnnMaybe ImportSource a
  • _importQualified :: AnnMaybe ImportQualified a
  • _importSafe :: AnnMaybe ImportSafe a
  • _importPkg :: AnnMaybe StringNode a
  • _importModule :: Ann SimpleName a
  • _importAs :: AnnMaybe ImportRenaming a
  • _importSpec :: AnnMaybe ImportSpec a
  }
• data ImportSpec a
  • = ImportSpecList {
    • _importSpecList :: AnnList IESpec a
    }
  • | ImportSpecHiding {
    • _importSpecHiding :: AnnList IESpec a
    }
• data ImportQualified a = ImportQualified
• data ImportSource a = ImportSource
• data ImportSafe a = ImportSafe
• data TypeNamespace a = TypeNamespace
• data ImportRenaming a = ImportRenaming {
  • _importRename :: Ann SimpleName a
  }
• data Splice a
  • = IdSplice {
    • _spliceId :: Ann Name a
    }
  • | ParenSplice {
    • _spliceExpr :: Ann Expr a
    }
• data QuasiQuote a = QuasiQuote {
  • _qqExprName :: Ann Name a
  • _qqExprBody :: Ann QQString a
  }
• data QQString a = QQString {
  • _qqString :: String
  }
• data Bracket a
  • = ExprBracket {
    • _bracketExpr :: Ann Expr a
    }
  • | PatternBracket {
    • _bracketPattern :: Ann Pattern a
    }
  • | TypeBracket {
    • _bracketType :: Ann Type a
    }
  • | DeclsBracket {
    • _bracketDecl :: AnnList Decl a
    }
• data Decl a
  • = TypeDecl {
    • _declHead :: Ann DeclHead a
    • _declType :: Ann Type a
    }
  • | TypeFamilyDecl {
    • _declTypeFamily :: Ann TypeFamily a
    }
  • | ClosedTypeFamilyDecl {
    • _declHead :: Ann DeclHead a
    • _declKind :: AnnMaybe KindConstraint a
    • _declDecl :: AnnList TypeEqn a
    }
  • | DataDecl {
    • _declNewtype :: Ann DataOrNewtypeKeyword a
    • _declCtx :: AnnMaybe Context a
    • _declHead :: Ann DeclHead a
    • _declCons :: AnnList ConDecl a
    • _declDeriving :: AnnMaybe Deriving a
    }
  • | GDataDecl {
    • _declNewtype :: Ann DataOrNewtypeKeyword a
    • _declCtx :: AnnMaybe Context a
    • _declHead :: Ann DeclHead a
    • _declKind :: AnnMaybe KindConstraint a
    • _declGadt :: AnnList GadtConDecl a
    • _declDeriving :: AnnMaybe Deriving a
    }
  • | TypeInstDecl {
    • _declInstance :: Ann InstanceRule a
    • _declAssignedType :: Ann Type a
    }
  • | DataInstDecl {
    • _declNewtype :: Ann DataOrNewtypeKeyword a
    • _declInstance :: Ann InstanceRule a
    • _declCons :: AnnList ConDecl a
    • _declDeriving :: AnnMaybe Deriving a
    }
  • | GDataInstDecl {
    • _declNewtype :: Ann DataOrNewtypeKeyword a
    • _declInstance :: Ann InstanceRule a
    • _declKind :: AnnMaybe KindConstraint a
    • _declGadt :: AnnList GadtConDecl a
    }
  • | ClassDecl {
    • _declCtx :: AnnMaybe Context a
    • _declHead :: Ann DeclHead a
    • _declFunDeps :: AnnMaybe FunDeps a
    • _declBody :: AnnMaybe ClassBody a
    }
  • | InstDecl {
    • _declOverlap :: AnnMaybe OverlapPragma a
    • _declInstRule :: Ann InstanceRule a
    • _declInstDecl :: AnnMaybe InstBody a
    }
  • | PatternSynonymDecl {
    • _declPatSyn :: Ann PatternSynonym a
    }
  • | DerivDecl {
    • _declOverlap :: AnnMaybe OverlapPragma a
    • _declInstRule :: Ann InstanceRule a
    }
  • | FixityDecl {
    • _declFixity :: Ann FixitySignature a
    }
  • | DefaultDecl {
    • _declTypes :: AnnList Type a
    }
  • | TypeSigDecl {
    • _declTypeSig :: Ann TypeSignature a
    }
  • | PatTypeSigDecl {
    • _declPatTypeSig :: Ann PatternTypeSignature a
    }
  • | ValueBinding {
    • _declValBind :: Ann ValueBind a
    }
  • | ForeignImport {
    • _declCallConv :: Ann CallConv a
    • _declSafety :: AnnMaybe Safety a
    • _declName :: Ann Name a
    • _declType :: Ann Type a
    }
  • | ForeignExport {
    • _declCallConv :: Ann CallConv a
    • _declName :: Ann Name a
    • _declType :: Ann Type a
    }
  • | PragmaDecl {
    • _declPragma :: Ann TopLevelPragma a
    }
  • | RoleDecl {
    • _declRoleType :: Ann SimpleName a
    • _declRoles :: AnnList Role a
    }
  • | SpliceDecl {
    • _declSplice :: Ann Splice a
    }
• data TypeFamily a
  • = TypeFamily {
    • _tfHead :: Ann DeclHead a
    • _tfSpec :: AnnMaybe TypeFamilySpec a
    }
  • | DataFamily {
    • _tfHead :: Ann DeclHead a
    • _tfKind :: AnnMaybe KindConstraint a
    }
• data TypeFamilySpec a
  • = TypeFamilyKind {
    • _tfSpecKind :: Ann KindConstraint a
    }
  • | TypeFamilyInjectivity {
    • _tfInjectivity :: Ann InjectivityAnn a
    }
• data InjectivityAnn a = InjectivityAnn {
  • _injAnnRes :: Ann Name a
  • _injAnnDeps :: AnnList Name a
  }
• data ClassBody a = ClassBody {
  • _cbElements :: AnnList ClassElement a
  }
• data ClassElement a
  • = ClsSig {
    • _ceTypeSig :: Ann TypeSignature a
    }
  • | ClsDef {
    • _ceBind :: Ann ValueBind a
    }
  • | ClsTypeFam {
    • _ceTypeFam :: Ann TypeFamily a
    }
  • | ClsTypeDef {
    • _ceHead :: Ann DeclHead a
    • _ceKind :: Ann Type a
    }
  • | ClsDefSig {
    • _ceName :: Ann Name a
    • _ceType :: Ann Type a
    }
  • | ClsMinimal {
    • _pragmaFormula :: Ann MinimalFormula a
    }
  • | ClsPatSig {
    • _cePatSig :: Ann PatternTypeSignature a
    }
• data DeclHead a
  • = DeclHead {
    • _dhName :: Ann Name a
    }
  • | DHParen {
    • _dhBody :: Ann DeclHead a
    }
  • | DHApp {
    • _dhAppFun :: Ann DeclHead a
    • _dhAppOperand :: Ann TyVar a
    }
  • | DHInfix {
    • _dhLeft :: Ann TyVar a
    • _dhOperator :: Ann Operator a
    • _dhRight :: Ann TyVar a
    }
• data InstBody a = InstBody {
  • _instBodyDecls :: AnnList InstBodyDecl a
  }
• data InstBodyDecl a
  • = InstBodyNormalDecl {
    • _instBodyDeclFunbind :: Ann ValueBind a
    }
  • | InstBodyTypeSig {
    • _instBodyTypeSig :: Ann TypeSignature a
    }
  • | InstBodyTypeDecl {
    • _instBodyTypeEqn :: Ann TypeEqn a
    }
  • | InstBodyDataDecl {
    • _instBodyDataNew :: Ann DataOrNewtypeKeyword a
    • _instBodyLhsType :: Ann InstanceRule a
    • _instBodyDataCons :: AnnList ConDecl a
    • _instBodyDerivings :: AnnMaybe Deriving a
    }
  • | InstBodyGadtDataDecl {
    • _instBodyDataNew :: Ann DataOrNewtypeKeyword a
    • _instBodyLhsType :: Ann InstanceRule a
    • _instBodyDataKind :: AnnMaybe Kind a
    • _instBodyGadtCons :: AnnList GadtConDecl a
    • _instBodyDerivings :: AnnMaybe Deriving a
    }
  • | SpecializeInstance {
    • _specializeInstanceType :: Ann Type a
    }
  • | InstBodyPatSyn {
    • _instBodyPatSyn :: Ann PatternSynonym a
    }
• data GadtConDecl a = GadtConDecl {
  • _gadtConNames :: AnnList Name a
  • _gadtConType :: Ann GadtConType a
  }
• data GadtConType a
  • = GadtNormalType {
    • _gadtConNormalType :: Ann Type a
    }
  • | GadtRecordType {
    • _gadtConRecordFields :: AnnList FieldDecl a
    • _gadtConResultType :: Ann Type a
    }
• data GadtField a
  • = GadtNormalField {
    • _gadtFieldType :: Ann Type a
    }
  • | GadtNamedField {
    • _gadtFieldName :: Ann Name a
    • _gadtFieldType :: Ann Type a
    }
• data FunDeps a = FunDeps {
  • _funDeps :: AnnList FunDep a
  }
• data FunDep a = FunDep {
  • _funDepLhs :: AnnList Name a
  • _funDepRhs :: AnnList Name a
  }
• data ConDecl a
  • = ConDecl {
    • _conDeclName :: Ann Name a
    • _conDeclArgs :: AnnList Type a
    }
  • | RecordDecl {
    • _conDeclName :: Ann Name a
    • _conDeclFields :: AnnList FieldDecl a
    }
  • | InfixConDecl {
    • _conDeclLhs :: Ann Type a
    • _conDeclOp :: Ann Operator a
    • _conDeclRhs :: Ann Type a
    }
• data FieldDecl a = FieldDecl {
  • _fieldNames :: AnnList Name a
  • _fieldType :: Ann Type a
  }
• data Deriving a
  • = DerivingOne {
    • _oneDerived :: Ann InstanceHead a
    }
  • | Derivings {
    • _allDerived :: AnnList InstanceHead a
    }
• data InstanceRule a
  • = InstanceRule {
    • _irVars :: AnnMaybe (AnnList TyVar) a
    • _irCtx :: AnnMaybe Context a
    • _irHead :: Ann InstanceHead a
    }
  • | InstanceParen {
    • _irRule :: Ann InstanceRule a
    }
• data InstanceHead a
  • = InstanceHeadCon {
    • _ihConName :: Ann Name a
    }
  • | InstanceHeadInfix {
    • _ihLeftOp :: Ann Type a
    • _ihOperator :: Ann Name a
    }
  • | InstanceHeadParen {
    • _ihHead :: Ann InstanceHead a
    }
  • | InstanceHeadApp {
    • _ihFun :: Ann InstanceHead a
    • _ihType :: Ann Type a
    }
• data TypeEqn a = TypeEqn {
  • _teLhs :: Ann Type a
  • _teRhs :: Ann Type a
  }
• data PatternTypeSignature a = PatternTypeSignature {
  • _patSigName :: Ann Name a
  • _patSigType :: Ann Type a
  }
• data PatternSynonym a = PatternSynonym {
  • _patLhs :: Ann PatSynLhs a
  • _patRhs :: Ann PatSynRhs a
  }
• data PatSynLhs a
  • = NormalPatSyn {
    • _patName :: Ann Name a
    • _patArgs :: AnnList Name a
    }
  • | InfixPatSyn {
    • _patSynLhs :: Ann Name a
    • _patSynOp :: Ann Operator a
    • _patSynRhs :: Ann Name a
    }
  • | RecordPatSyn {
    • _patName :: Ann Name a
    • _patArgs :: AnnList Name a
    }
• data PatSynRhs a
  • = BidirectionalPatSyn {
    • _patRhsPat :: Ann Pattern a
    • _patRhsOpposite :: AnnMaybe PatSynWhere a
    }
  • | OneDirectionalPatSyn {
    • _patRhsPat :: Ann Pattern a
    }
• data PatSynWhere a = PatSynWhere {
  • _patOpposite :: AnnList Match a
  }
• data ValueBind a
  • = SimpleBind {
    • _valBindPat :: Ann Pattern a
    • _valBindRhs :: Ann Rhs a
    • _valBindLocals :: AnnMaybe LocalBinds a
    }
  • | FunBind {
    • _funBindMatches :: AnnList Match a
    }
• data Match a = Match {
  • _matchLhs :: Ann MatchLhs a
  • _matchRhs :: Ann Rhs a
  • _matchBinds :: AnnMaybe LocalBinds a
  }
• data MatchLhs a
  • = NormalLhs {
    • _matchLhsName :: Ann Name a
    • _matchLhsArgs :: AnnList Pattern a
    }
  • | InfixLhs {
    • _matchLhsLhs :: Ann Pattern a
    • _matchLhsOperator :: Ann Operator a
    • _matchLhsRhs :: Ann Pattern a
    • _matchLhsArgs :: AnnList Pattern a
    }
• data LocalBinds a = LocalBinds {
  • _localBinds :: AnnList LocalBind a
  }
• data LocalBind a
  • = LocalValBind {
    • _localVal :: Ann ValueBind a
    }
  • | LocalSignature {
    • _localSig :: Ann TypeSignature a
    }
  • | LocalFixity {
    • _localFixity :: Ann FixitySignature a
    }
• data TypeSignature a = TypeSignature {
  • _tsName :: AnnList Name a
  • _tsType :: Ann Type a
  }
• data FixitySignature a = FixitySignature {
  • _fixityAssoc :: Ann Assoc a
  • _fixityPrecedence :: Ann Precedence a
  • _fixityOperators :: AnnList Operator a
  }
• data Rhs a
  • = UnguardedRhs {
    • _rhsExpr :: Ann Expr a
    }
  • | GuardedRhss {
    • _rhsGuards :: AnnList GuardedRhs a
    }
• data GuardedRhs a = GuardedRhs {
  • _guardStmts :: AnnList RhsGuard a
  • _guardExpr :: Ann Expr a
  }
• data RhsGuard a
  • = GuardBind {
    • _guardPat :: Ann Pattern a
    • _guardRhs :: Ann Expr a
    }
  • | GuardLet {
    • _guardBinds :: AnnList LocalBind a
    }
  • | GuardCheck {
    • _guardCheck :: Ann Expr a
    }
• data TopLevelPragma a
  • = RulePragma {
    • _pragmaRule :: AnnList Rule a
    }
  • | DeprPragma {
    • _pragmaObjects :: AnnList Name a
    • _pragmaMessage :: Ann StringNode a
    }
  • | WarningPragma {
    • _pragmaObjects :: AnnList Name a
    • _pragmaMessage :: Ann StringNode a
    }
  • | AnnPragma {
    • _annotationSubject :: Ann AnnotationSubject a
    • _annotateExpr :: Ann Expr a
    }
  • | InlinePragma {
    • _pragmaConlike :: AnnMaybe ConlikeAnnot a
    • _pragmaPhase :: AnnMaybe PhaseControl a
    • _inlineDef :: Ann Name a
    }
  • | NoInlinePragma {
    • _pragmaConlike :: AnnMaybe ConlikeAnnot a
    • _pragmaPhase :: AnnMaybe PhaseControl a
    • _noInlineDef :: Ann Name a
    }
  • | InlinablePragma {
    • _pragmaPhase :: AnnMaybe PhaseControl a
    • _inlinableDef :: Ann Name a
    }
  • | LinePragma {
    • _pragmaLineNum :: Ann LineNumber a
    • _pragmaFileName :: AnnMaybe StringNode a
    }
  • | SpecializePragma {
    • _pragmaPhase :: AnnMaybe PhaseControl a
    • _specializeDef :: Ann Name a
    • _specializeType :: AnnList Type a
    }
• data Rule a = Rule {
  • _ruleName :: Ann StringNode a
  • _rulePhase :: AnnMaybe PhaseControl a
  • _ruleBounded :: AnnList TyVar a
  • _ruleLhs :: Ann Expr a
  • _ruleRhs :: Ann Expr a
  }
• data AnnotationSubject a
  • = NameAnnotation {
    • _annotateName :: Ann Name a
    }
  • | TypeAnnotation {
    • _annotateName :: Ann Name a
    }
  • | ModuleAnnotation
• data MinimalFormula a
  • = MinimalName {
    • _minimalName :: Ann Name a
    }
  • | MinimalParen {
    • _minimalInner :: Ann MinimalFormula a
    }
  • | MinimalOr {
    • _minimalOrs :: AnnList MinimalFormula a
    }
  • | MinimalAnd {
    • _minimalAnds :: AnnList MinimalFormula a
    }
• data Expr a
  • = Var {
    • _exprName :: Ann Name a
    }
  • | Lit {
    • _exprLit :: Ann Literal a
    }
  • | InfixApp {
    • _exprLhs :: Ann Expr a
    • _exprOperator :: Ann Operator a
    • _exprRhs :: Ann Expr a
    }
  • | PrefixApp {
    • _exprOperator :: Ann Operator a
    • _exprRhs :: Ann Expr a
    }
  • | App {
    • _exprFun :: Ann Expr a
    • _exprArg :: Ann Expr a
    }
  • | Lambda {
    • _exprBindings :: AnnList Pattern a
    • _exprInner :: Ann Expr a
    }
  • | Let {
    • _exprFunBind :: AnnList LocalBind a
    • _exprInner :: Ann Expr a
    }
  • | If {
    • _exprCond :: Ann Expr a
    • _exprThen :: Ann Expr a
    • _exprElse :: Ann Expr a
    }
  • | MultiIf {
    • _exprIfAlts :: AnnList GuardedCaseRhs a
    }
  • | Case {
    • _exprCase :: Ann Expr a
    • _exprAlts :: AnnList Alt a
    }
  • | Do {
    • _doKind :: Ann DoKind a
    • _exprStmts :: AnnList Stmt a
    }
  • | Tuple {
    • _tupleElems :: AnnList Expr a
    }
  • | UnboxedTuple {
    • _tupleElems :: AnnList Expr a
    }
  • | TupleSection {
    • _tupleSectionElems :: AnnList TupSecElem a
    }
  • | UnboxedTupSec {
    • _tupleSectionElems :: AnnList TupSecElem a
    }
  • | List {
    • _listElems :: AnnList Expr a
    }
  • | ParArray {
    • _listElems :: AnnList Expr a
    }
  • | Paren {
    • _exprInner :: Ann Expr a
    }
  • | LeftSection {
    • _exprLhs :: Ann Expr a
    • _exprOperator :: Ann Operator a
    }
  • | RightSection {
    • _exprOperator :: Ann Operator a
    • _exprRhs :: Ann Expr a
    }
  • | RecCon {
    • _exprRecName :: Ann Name a
    • _exprRecFields :: AnnList FieldUpdate a
    }
  • | RecUpdate {
    • _exprInner :: Ann Expr a
    • _exprRecFields :: AnnList FieldUpdate a
    }
  • | Enum {
    • _enumFrom :: Ann Expr a
    • _enumThen :: AnnMaybe Expr a
    • _enumTo :: AnnMaybe Expr a
    }
  • | ParArrayEnum {
    • _enumFrom :: Ann Expr a
    • _enumThen :: AnnMaybe Expr a
    • _enumToFix :: Ann Expr a
    }
  • | ListComp {
    • _compExpr :: Ann Expr a
    • _compBody :: AnnList ListCompBody a
    }
  • | ParArrayComp {
    • _compExpr :: Ann Expr a
    • _compBody :: AnnList ListCompBody a
    }
  • | TypeSig {
    • _exprInner :: Ann Expr a
    • _exprSig :: Ann Type a
    }
  • | ExplTypeApp {
    • _exprInner :: Ann Expr a
    • _exprType :: Ann Type a
    }
  • | VarQuote {
    • _quotedName :: Ann Name a
    }
  • | TypeQuote {
    • _quotedName :: Ann Name a
    }
  • | BracketExpr {
    • _bracket :: Ann Bracket a
    }
  • | Splice {
    • _innerExpr :: Ann Splice a
    }
  • | QuasiQuoteExpr {
    • _exprQQ :: Ann QuasiQuote a
    }
  • | ExprPragma {
    • _exprPragma :: Ann ExprPragma a
    }
  • | Proc {
    • _procPattern :: Ann Pattern a
    • _procExpr :: Ann Cmd a
    }
  • | ArrowApp {
    • _exprLhs :: Ann Expr a
    • _arrowAppl :: Ann ArrowAppl a
    • _exprRhs :: Ann Expr a
    }
  • | LamCase {
    • _exprAlts :: AnnList Alt a
    }
  • | StaticPtr {
    • _exprInner :: Ann Expr a
    }
• data FieldUpdate a
  • = NormalFieldUpdate {
    • _fieldName :: Ann Name a
    • _fieldValue :: Ann Expr a
    }
  • | FieldPun {
    • _fieldUpdateName :: Ann Name a
    }
  • | FieldWildcard
• data TupSecElem a
  • = Present {
    • _tupSecExpr :: Ann Expr a
    }
  • | Missing
• data Alt' expr a = Alt {
  • _altPattern :: Ann Pattern a
  • _altRhs :: Ann (CaseRhs' expr) a
  • _altBinds :: AnnMaybe LocalBinds a
  }
• type Alt = Alt' Expr
• type CmdAlt = Alt' Cmd
• data CaseRhs' expr a
  • = UnguardedCaseRhs {
    • _rhsCaseExpr :: Ann expr a
    }
  • | GuardedCaseRhss {
    • _rhsCaseGuards :: AnnList (GuardedCaseRhs' expr) a
    }
• type CaseRhs = CaseRhs' Expr
• type CmdCaseRhs = CaseRhs' Cmd
• data GuardedCaseRhs' expr a = GuardedCaseRhs {
  • _caseGuardStmts :: AnnList RhsGuard a
  • _caseGuardExpr :: Ann expr a
  }
• type GuardedCaseRhs = GuardedCaseRhs' Expr
• type CmdGuardedCaseRhs = GuardedCaseRhs' Cmd
• data ExprPragma a
  • = CorePragma {
    • _pragmaStr :: Ann StringNode a
    }
  • | SccPragma {
    • _pragmaStr :: Ann StringNode a
    }
  • | GeneratedPragma {
    • _pragmaSrcRange :: Ann SourceRange a
    }
• data SourceRange a = SourceRange {
  • _srFileName :: Ann StringNode a
  • _srFromLine :: Ann Number a
  • _srFromCol :: Ann Number a
  • _srToLine :: Ann Number a
  • _srToCol :: Ann Number a
  }
• data Number a = Number {
  • _numberInteger :: Integer
  }
• data Cmd a
  • = ArrowAppCmd {
    • _cmdLhs :: Ann Expr a
    • _cmdArrowOp :: Ann ArrowAppl a
    • _cmdRhs :: Ann Expr a
    }
  • | ArrowFormCmd {
    • _cmdExpr :: Ann Expr a
    • _cmdInnerCmds :: AnnList Cmd a
    }
  • | AppCmd {
    • _cmdInnerCmd :: Ann Cmd a
    • _cmdApplied :: Ann Expr a
    }
  • | InfixCmd {
    • _cmdLeftCmd :: Ann Cmd a
    • _cmdOperator :: Ann Name a
    • _cmdRightCmd :: Ann Cmd a
    }
  • | LambdaCmd {
    • _cmdBindings :: AnnList Pattern a
    • _cmdInner :: Ann Cmd a
    }
  • | ParenCmd {
    • _cmdInner :: Ann Cmd a
    }
  • | CaseCmd {
    • _cmdExpr :: Ann Expr a
    • _cmdAlts :: AnnList CmdAlt a
    }
  • | IfCmd {
    • _cmdExpr :: Ann Expr a
    • _cmdThen :: Ann Cmd a
    • _cmdElse :: Ann Cmd a
    }
  • | LetCmd {
    • _cmdBinds :: AnnList LocalBind a
    • _cmdInner :: Ann Cmd a
    }
  • | DoCmd {
    • _cmdStmts :: AnnList (Stmt' Cmd) a
    }
• data Stmt' expr a
  • = BindStmt {
    • _stmtPattern :: Ann Pattern a
    • _stmtExpr :: Ann expr a
    }
  • | ExprStmt {
    • _stmtExpr :: Ann expr a
    }
  • | LetStmt {
    • _stmtBinds :: AnnList LocalBind a
    }
  • | RecStmt {
    • _cmdStmtBinds :: AnnList (Stmt' expr) a
    }
• type Stmt = Stmt' Expr
• data ListCompBody a = ListCompBody {
  • _compStmts :: AnnList CompStmt a
  }
• data CompStmt a
  • = CompStmt {
    • _compStmt :: Ann Stmt a
    }
  • | ThenStmt {
    • _thenExpr :: Ann Expr a
    • _byExpr :: AnnMaybe Expr a
    }
  • | GroupStmt {
    • _byExpr :: AnnMaybe Expr a
    • _usingExpr :: AnnMaybe Expr a
    }
• data Pattern a
  • = VarPat {
    • _patternName :: Ann Name a
    }
  • | LitPat {
    • _patternLiteral :: Ann Literal a
    }
  • | InfixPat {
    • _patternLhs :: Ann Pattern a
    • _patternOperator :: Ann Operator a
    • _patternRhs :: Ann Pattern a
    }
  • | AppPat {
    • _patternName :: Ann Name a
    • _patternArgs :: AnnList Pattern a
    }
  • | TuplePat {
    • _patternElems :: AnnList Pattern a
    }
  • | UnboxTuplePat {
    • _patternElems :: AnnList Pattern a
    }
  • | ListPat {
    • _patternElems :: AnnList Pattern a
    }
  • | ParArrPat {
    • _patternElems :: AnnList Pattern a
    }
  • | ParenPat {
    • _patternInner :: Ann Pattern a
    }
  • | RecPat {
    • _patternName :: Ann Name a
    • _patternFields :: AnnList PatternField a
    }
  • | AsPat {
    • _patternName :: Ann Name a
    • _patternInner :: Ann Pattern a
    }
  • | WildPat
  • | IrrPat {
    • _patternInner :: Ann Pattern a
    }
  • | BangPat {
    • _patternInner :: Ann Pattern a
    }
  • | TypeSigPat {
    • _patternInner :: Ann Pattern a
    • _patternType :: Ann Type a
    }
  • | ViewPat {
    • _patternExpr :: Ann Expr a
    • _patternInner :: Ann Pattern a
    }
  • | SplicePat {
    • _patternSplice :: Ann Splice a
    }
  • | QuasiQuotePat {
    • _patQQ :: Ann QuasiQuote a
    }
  • | NPlusKPat {
    • _patternName :: Ann Name a
    • _patternLit :: Ann Literal a
    }
• data PatternField a
  • = NormalFieldPattern {
    • _fieldPatternName :: Ann Name a
    • _fieldPattern :: Ann Pattern a
    }
  • | FieldPunPattern {
    • _fieldPatternName :: Ann Name a
    }
  • | FieldWildcardPattern
• data TyVar a = TyVarDecl {
  • _tyVarName :: Ann Name a
  • _tyVarKind :: AnnMaybe KindConstraint a
  }
• data Type a
  • = TyForall {
    • _typeBounded :: AnnList TyVar a
    • _typeType :: Ann Type a
    }
  • | TyCtx {
    • _typeCtx :: Ann Context a
    • _typeType :: Ann Type a
    }
  • | TyFun {
    • _typeParam :: Ann Type a
    • _typeResult :: Ann Type a
    }
  • | TyTuple {
    • _typeElements :: AnnList Type a
    }
  • | TyUnbTuple {
    • _typeElements :: AnnList Type a
    }
  • | TyList {
    • _typeElement :: Ann Type a
    }
  • | TyParArray {
    • _typeElement :: Ann Type a
    }
  • | TyApp {
    • _typeCon :: Ann Type a
    • _typeArg :: Ann Type a
    }
  • | TyVar {
    • _typeName :: Ann Name a
    }
  • | TyParen {
    • _typeInner :: Ann Type a
    }
  • | TyInfix {
    • _typeLeft :: Ann Type a
    • _typeOperator :: Ann Operator a
    • _typeRight :: Ann Type a
    }
  • | TyKinded {
    • _typeInner :: Ann Type a
    • _typeKind :: Ann Kind a
    }
  • | TyPromoted {
    • _tpPromoted :: Ann (Promoted Type) a
    }
  • | TySplice {
    • _tsSplice :: Splice a
    }
  • | TyQuasiQuote {
    • _typeQQ :: QuasiQuote a
    }
  • | TyBang {
    • _typeInner :: Ann Type a
    }
  • | TyLazy {
    • _typeInner :: Ann Type a
    }
  • | TyUnpack {
    • _typeInner :: Ann Type a
    }
  • | TyNoUnpack {
    • _typeInner :: Ann Type a
    }
  • | TyWildcard
  • | TyNamedWildc {
    • _typeWildcardName :: Ann Name a
    }
• data Context a
  • = ContextOne {
    • _contextAssertion :: Ann Assertion a
    }
  • | ContextMulti {
    • _contextAssertions :: AnnList Assertion a
    }
• data Assertion a
  • = ClassAssert {
    • _assertClsName :: Ann Name a
    • _assertTypes :: AnnList Type a
    }
  • | InfixAssert {
    • _assertLhs :: Ann Type a
    • _assertOp :: Ann Operator a
    • _assertRhs :: Ann Type a
    }
• data KindConstraint a = KindConstraint {
  • _kindConstr :: Ann Kind a
  }
• data Kind a
  • = KindStar
  • | KindUnbox
  • | KindFn {
    • _kindLeft :: Ann Kind a
    • _kindRight :: Ann Kind a
    }
  • | KindParen {
    • _kindParen :: Ann Kind a
    }
  • | KindVar {
    • _kindVar :: Ann Name a
    }
  • | KindApp {
    • _kindAppFun :: Ann Kind a
    • _kindAppArg :: Ann Kind a
    }
  • | KindList {
    • _kindElem :: Ann Kind a
    }
  • | KindPromoted {
    • _kindPromoted :: Ann (Promoted Kind) a
    }
• data Promoted t a
  • = PromotedInt {
    • _promotedIntValue :: Integer
    }
  • | PromotedString {
    • _promotedStringValue :: String
    }
  • | PromotedCon {
    • _promotedConName :: Ann Name a
    }
  • | PromotedList {
    • _promotedElements :: AnnList t a
    }
  • | PromotedTuple {
    • _promotedElements :: AnnList t a
    }
  • | PromotedUnit
• data Literal a
  • = CharLit {
    • _charLitValue :: Char
    }
  • | StringLit {
    • _stringLitValue :: String
    }
  • | IntLit {
    • _intLitValue :: Integer
    }
  • | FracLit {
    • _fracLitValue :: Rational
    }
  • | PrimIntLit {
    • _intLitValue :: Integer
    }
  • | PrimWordLit {
    • _intLitValue :: Integer
    }
  • | PrimFloatLit {
    • _floatLitValue :: Rational
    }
  • | PrimDoubleLit {
    • _floatLitValue :: Rational
    }
  • | PrimCharLit {
    • _charLitValue :: Char
    }
  • | PrimStringLit {
    • _stringLitValue :: String
    }
• data Operator a
  • = BacktickOp {
    • _operatorName :: Ann SimpleName a
    }
  • | NormalOp {
    • _operatorName :: Ann SimpleName a
    }
• data Name a
  • = ParenName {
    • _simpleName :: Ann SimpleName a
    }
  • | NormalName {
    • _simpleName :: Ann SimpleName a
    }
• data SimpleName a = SimpleName {
  • _qualifiers :: AnnList UnqualName a
  • _unqualifiedName :: Ann UnqualName a
  }
• nameFromList :: AnnList UnqualName a -> SimpleName a
• data UnqualName a = UnqualName {
  • _simpleNameStr :: String
  }
• data StringNode a = StringNode {
  • _stringNodeStr :: String
  }
• data DataOrNewtypeKeyword a
  • = DataKeyword
  • | NewtypeKeyword
• data DoKind a
  • = DoKeyword
  • | MDoKeyword
• data TypeKeyword a = TypeKeyword
• data OverlapPragma a
  • = EnableOverlap
  • | DisableOverlap
  • | Overlappable
  • | Overlapping
  • | Overlaps
  • | IncoherentOverlap
• data CallConv a
  • = StdCall
  • | CCall
  • | CPlusPlus
  • | DotNet
  • | Jvm
  • | Js
  • | JavaScript
  • | CApi
• data ArrowAppl a
  • = LeftAppl
  • | RightAppl
  • | LeftHighApp
  • | RightHighApp
• data Safety a
  • = Safe
  • | ThreadSafe
  • | Unsafe
  • | Interruptible
• data Assoc a
  • = AssocNone
  • | AssocLeft
  • | AssocRight
• data Role a
  • = Nominal
  • | Representational
  • | Phantom
• data ConlikeAnnot a = ConlikeAnnot
• data Precedence a = Precedence {
  • _precedenceValue :: Int
  }
• data LineNumber a = LineNumber {
  • _lineNumber :: Int
  }
• data PhaseControl a = PhaseControl {
  • _phaseUntil :: AnnMaybe PhaseInvert a
  • _phaseNumber :: Ann PhaseNumber a
  }
• data PhaseNumber a = PhaseNumber {
  • _phaseNum :: Integer
  }
• data PhaseInvert a = PhaseInvert
• data Ann elem annot = Ann {
  • _annotation :: annot
  • _element :: elem annot
  }
• element :: forall elem annot elem'. Lens (Ann elem annot) (Ann elem' annot) (elem annot) (elem' annot)
• annotation :: forall elem annot. Lens (Ann elem annot) (Ann elem annot) annot annot
• data NodeInfo sema src = NodeInfo {
  • _semanticInfo :: sema
  • _sourceInfo :: src
  }
• sourceInfo :: forall sema src src'. Lens (NodeInfo sema src) (NodeInfo sema src') src src'
• semanticInfo :: forall sema src sema'. Lens (NodeInfo sema src) (NodeInfo sema' src) sema sema'
• data SpanInfo
  • = NodeSpan {
    • _nodeSpan :: SrcSpan
    }
  • | ListPos {
    • _listBefore :: String
    • _listAfter :: String
    • _listDefaultSep :: String
    • _listIndented :: Bool
    • _listPos :: SrcLoc
    }
  • | OptionalPos {
    • _optionalBefore :: String
    • _optionalAfter :: String
    • _optionalPos :: SrcLoc
    }
• optionalPos :: Partial SpanInfo SpanInfo SrcLoc SrcLoc
• optionalBefore :: Partial SpanInfo SpanInfo String String
• optionalAfter :: Partial SpanInfo SpanInfo String String
• nodeSpan :: Partial SpanInfo SpanInfo SrcSpan SrcSpan
• listPos :: Partial SpanInfo SpanInfo SrcLoc SrcLoc
• listIndented :: Partial SpanInfo SpanInfo Bool Bool
• listDefaultSep :: Partial SpanInfo SpanInfo String String
• listBefore :: Partial SpanInfo SpanInfo String String
• listAfter :: Partial SpanInfo SpanInfo String String
• spanRange :: SpanInfo -> SrcSpan
• class HasRange annot where
• type RangeInfo = NodeInfo (SemanticInfo RdrName) SpanInfo
• type RangeWithName = NodeInfo (SemanticInfo Name) SpanInfo
• type RangeWithType = NodeInfo (SemanticInfo Id) SpanInfo
• data SemanticInfo n
  • = NoSemanticInfo
  • | ScopeInfo {
    • _scopedLocals :: [[Name]]
    }
  • | NameInfo {
    • _scopedLocals :: [[Name]]
    • _isDefined :: Bool
    • _nameInfo :: n
    }
  • | ModuleInfo {
    • _defModuleName :: Module
    • _importedNames :: [n]
    }
  • | ImportInfo {
    • _importedModule :: Module
    • _availableNames :: [n]
    • _importedNames :: [n]
    }
  • | AmbiguousNameInfo {
    • _scopedLocals :: [[Name]]
    • _isDefined :: Bool
    • _ambiguousName :: RdrName
    • _ambiguousLocation :: SrcSpan
    }
• scopedLocals :: forall n. Partial (SemanticInfo n) (SemanticInfo n) [[Name]] [[Name]]
• nameInfo :: forall n. Partial (SemanticInfo n) (SemanticInfo n) n n
• isDefined :: forall n. Partial (SemanticInfo n) (SemanticInfo n) Bool Bool
• importedNames :: forall n. Partial (SemanticInfo n) (SemanticInfo n) [n] [n]
• importedModule :: forall n. Partial (SemanticInfo n) (SemanticInfo n) Module Module
• defModuleName :: forall n. Partial (SemanticInfo n) (SemanticInfo n) Module Module
• availableNames :: forall n. Partial (SemanticInfo n) (SemanticInfo n) [n] [n]
• ambiguousName :: forall n. Partial (SemanticInfo n) (SemanticInfo n) RdrName RdrName
• ambiguousLocation :: forall n. Partial (SemanticInfo n) (SemanticInfo n) SrcSpan SrcSpan
• data AnnList e a = AnnList {
  • _annListAnnot :: a
  • _annListElems :: [Ann e a]
  }
• annListElems :: forall e a e'. Lens (AnnList e a) (AnnList e' a) [Ann e a] [Ann e' a]
• annListAnnot :: forall e a. Lens (AnnList e a) (AnnList e a) a a
• annList :: Traversal (AnnList e a) (AnnList e' a) (Ann e a) (Ann e' a)
• data AnnMaybe e a = AnnMaybe {
  • _annMaybeAnnot :: a
  • _annMaybe :: Maybe (Ann e a)
  }
• annMaybeAnnot :: forall e a. Lens (AnnMaybe e a) (AnnMaybe e a) a a
• annMaybe :: forall e a e'. Lens (AnnMaybe e a) (AnnMaybe e' a) (Maybe (Ann e a)) (Maybe (Ann e' a))
• annJust :: Partial (AnnMaybe e a) (AnnMaybe e' a) (Ann e a) (Ann e' a)
• annNil :: a -> AnnList e a
• isAnnNothing :: AnnMaybe e a -> Bool
• annNothing :: a -> AnnMaybe e a
• class HasAnnot node where
• modImports :: forall a. Lens (Module a) (Module a) (AnnList ImportDecl a) (AnnList ImportDecl a)
• modHead :: forall a. Lens (Module a) (Module a) (AnnMaybe ModuleHead a) (AnnMaybe ModuleHead a)
• modDecl :: forall a. Lens (Module a) (Module a) (AnnList Decl a) (AnnList Decl a)
• filePragmas :: forall a. Lens (Module a) (Module a) (AnnList FilePragma a) (AnnList FilePragma a)
• mhPragma :: forall a. Lens (ModuleHead a) (ModuleHead a) (AnnMaybe ModulePragma a) (AnnMaybe ModulePragma a)
• mhName :: forall a. Lens (ModuleHead a) (ModuleHead a) (Ann SimpleName a) (Ann SimpleName a)
• mhExports :: forall a. Lens (ModuleHead a) (ModuleHead a) (AnnMaybe ExportSpecList a) (AnnMaybe ExportSpecList a)
• espExports :: forall a a'. Lens (ExportSpecList a) (ExportSpecList a') (AnnList ExportSpec a) (AnnList ExportSpec a')
• exportModuleName :: forall a. Partial (ExportSpec a) (ExportSpec a) (Ann SimpleName a) (Ann SimpleName a)
• exportDecl :: forall a. Partial (ExportSpec a) (ExportSpec a) (Ann IESpec a) (Ann IESpec a)
• ieSubspec :: forall a. Lens (IESpec a) (IESpec a) (AnnMaybe SubSpec a) (AnnMaybe SubSpec a)
• ieName :: forall a. Lens (IESpec a) (IESpec a) (Ann Name a) (Ann Name a)
• essList :: forall a a'. Partial (SubSpec a) (SubSpec a') (AnnList Name a) (AnnList Name a')
• modWarningStr :: forall a. Partial (ModulePragma a) (ModulePragma a) (AnnList StringNode a) (AnnList StringNode a)
• modDeprecatedPragma :: forall a. Partial (ModulePragma a) (ModulePragma a) (AnnList StringNode a) (AnnList StringNode a)
• importSpec :: forall a. Lens (ImportDecl a) (ImportDecl a) (AnnMaybe ImportSpec a) (AnnMaybe ImportSpec a)
• importSource :: forall a. Lens (ImportDecl a) (ImportDecl a) (AnnMaybe ImportSource a) (AnnMaybe ImportSource a)
• importSafe :: forall a. Lens (ImportDecl a) (ImportDecl a) (AnnMaybe ImportSafe a) (AnnMaybe ImportSafe a)
• importQualified :: forall a. Lens (ImportDecl a) (ImportDecl a) (AnnMaybe ImportQualified a) (AnnMaybe ImportQualified a)
• importPkg :: forall a. Lens (ImportDecl a) (ImportDecl a) (AnnMaybe StringNode a) (AnnMaybe StringNode a)
• importModule :: forall a. Lens (ImportDecl a) (ImportDecl a) (Ann SimpleName a) (Ann SimpleName a)
• importAs :: forall a. Lens (ImportDecl a) (ImportDecl a) (AnnMaybe ImportRenaming a) (AnnMaybe ImportRenaming a)
• importSpecList :: forall a. Partial (ImportSpec a) (ImportSpec a) (AnnList IESpec a) (AnnList IESpec a)
• importSpecHiding :: forall a. Partial (ImportSpec a) (ImportSpec a) (AnnList IESpec a) (AnnList IESpec a)
• importRename :: forall a a'. Lens (ImportRenaming a) (ImportRenaming a') (Ann SimpleName a) (Ann SimpleName a')
• declValBind :: forall a. Partial (Decl a) (Decl a) (Ann ValueBind a) (Ann ValueBind a)
• declTypes :: forall a. Partial (Decl a) (Decl a) (AnnList Type a) (AnnList Type a)
• declTypeSig :: forall a. Partial (Decl a) (Decl a) (Ann TypeSignature a) (Ann TypeSignature a)
• declTypeFamily :: forall a. Partial (Decl a) (Decl a) (Ann TypeFamily a) (Ann TypeFamily a)
• declType :: forall a. Partial (Decl a) (Decl a) (Ann Type a) (Ann Type a)
• declSplice :: forall a. Partial (Decl a) (Decl a) (Ann Splice a) (Ann Splice a)
• declSafety :: forall a. Partial (Decl a) (Decl a) (AnnMaybe Safety a) (AnnMaybe Safety a)
• declRoles :: forall a. Partial (Decl a) (Decl a) (AnnList Role a) (AnnList Role a)
• declRoleType :: forall a. Partial (Decl a) (Decl a) (Ann SimpleName a) (Ann SimpleName a)
• declPragma :: forall a. Partial (Decl a) (Decl a) (Ann TopLevelPragma a) (Ann TopLevelPragma a)
• declPatTypeSig :: forall a. Partial (Decl a) (Decl a) (Ann PatternTypeSignature a) (Ann PatternTypeSignature a)
• declPatSyn :: forall a. Partial (Decl a) (Decl a) (Ann PatternSynonym a) (Ann PatternSynonym a)
• declOverlap :: forall a. Partial (Decl a) (Decl a) (AnnMaybe OverlapPragma a) (AnnMaybe OverlapPragma a)
• declNewtype :: forall a. Partial (Decl a) (Decl a) (Ann DataOrNewtypeKeyword a) (Ann DataOrNewtypeKeyword a)
• declName :: forall a. Partial (Decl a) (Decl a) (Ann Name a) (Ann Name a)
• declKind :: forall a. Partial (Decl a) (Decl a) (AnnMaybe KindConstraint a) (AnnMaybe KindConstraint a)
• declInstance :: forall a. Partial (Decl a) (Decl a) (Ann InstanceRule a) (Ann InstanceRule a)
• declInstRule :: forall a. Partial (Decl a) (Decl a) (Ann InstanceRule a) (Ann InstanceRule a)
• declInstDecl :: forall a. Partial (Decl a) (Decl a) (AnnMaybe InstBody a) (AnnMaybe InstBody a)
• declHead :: forall a. Partial (Decl a) (Decl a) (Ann DeclHead a) (Ann DeclHead a)
• declGadt :: forall a. Partial (Decl a) (Decl a) (AnnList GadtConDecl a) (AnnList GadtConDecl a)
• declFunDeps :: forall a. Partial (Decl a) (Decl a) (AnnMaybe FunDeps a) (AnnMaybe FunDeps a)
• declFixity :: forall a. Partial (Decl a) (Decl a) (Ann FixitySignature a) (Ann FixitySignature a)
• declDeriving :: forall a. Partial (Decl a) (Decl a) (AnnMaybe Deriving a) (AnnMaybe Deriving a)
• declDecl :: forall a. Partial (Decl a) (Decl a) (AnnList TypeEqn a) (AnnList TypeEqn a)
• declCtx :: forall a. Partial (Decl a) (Decl a) (AnnMaybe Context a) (AnnMaybe Context a)
• declCons :: forall a. Partial (Decl a) (Decl a) (AnnList ConDecl a) (AnnList ConDecl a)
• declCallConv :: forall a. Partial (Decl a) (Decl a) (Ann CallConv a) (Ann CallConv a)
• declBody :: forall a. Partial (Decl a) (Decl a) (AnnMaybe ClassBody a) (AnnMaybe ClassBody a)
• declAssignedType :: forall a. Partial (Decl a) (Decl a) (Ann Type a) (Ann Type a)
• cbElements :: forall a a'. Lens (ClassBody a) (ClassBody a') (AnnList ClassElement a) (AnnList ClassElement a')
• pragmaFormula :: forall a. Partial (ClassElement a) (ClassElement a) (Ann MinimalFormula a) (Ann MinimalFormula a)
• ceTypeSig :: forall a. Partial (ClassElement a) (ClassElement a) (Ann TypeSignature a) (Ann TypeSignature a)
• ceTypeFam :: forall a. Partial (ClassElement a) (ClassElement a) (Ann TypeFamily a) (Ann TypeFamily a)
• ceType :: forall a. Partial (ClassElement a) (ClassElement a) (Ann Type a) (Ann Type a)
• cePatSig :: forall a. Partial (ClassElement a) (ClassElement a) (Ann PatternTypeSignature a) (Ann PatternTypeSignature a)
• ceName :: forall a. Partial (ClassElement a) (ClassElement a) (Ann Name a) (Ann Name a)
• ceKind :: forall a. Partial (ClassElement a) (ClassElement a) (Ann Type a) (Ann Type a)
• ceHead :: forall a. Partial (ClassElement a) (ClassElement a) (Ann DeclHead a) (Ann DeclHead a)
• ceBind :: forall a. Partial (ClassElement a) (ClassElement a) (Ann ValueBind a) (Ann ValueBind a)
• dhRight :: forall a. Partial (DeclHead a) (DeclHead a) (Ann TyVar a) (Ann TyVar a)
• dhOperator :: forall a. Partial (DeclHead a) (DeclHead a) (Ann Operator a) (Ann Operator a)
• dhName :: forall a. Partial (DeclHead a) (DeclHead a) (Ann Name a) (Ann Name a)
• dhLeft :: forall a. Partial (DeclHead a) (DeclHead a) (Ann TyVar a) (Ann TyVar a)
• dhBody :: forall a. Partial (DeclHead a) (DeclHead a) (Ann DeclHead a) (Ann DeclHead a)
• dhAppOperand :: forall a. Partial (DeclHead a) (DeclHead a) (Ann TyVar a) (Ann TyVar a)
• dhAppFun :: forall a. Partial (DeclHead a) (DeclHead a) (Ann DeclHead a) (Ann DeclHead a)
• instBodyDecls :: forall a a'. Lens (InstBody a) (InstBody a') (AnnList InstBodyDecl a) (AnnList InstBodyDecl a')
• specializeInstanceType :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (Ann Type a) (Ann Type a)
• instBodyTypeSig :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (Ann TypeSignature a) (Ann TypeSignature a)
• instBodyTypeEqn :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (Ann TypeEqn a) (Ann TypeEqn a)
• instBodyPatSyn :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (Ann PatternSynonym a) (Ann PatternSynonym a)
• instBodyLhsType :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (Ann InstanceRule a) (Ann InstanceRule a)
• instBodyGadtCons :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (AnnList GadtConDecl a) (AnnList GadtConDecl a)
• instBodyDerivings :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (AnnMaybe Deriving a) (AnnMaybe Deriving a)
• instBodyDeclFunbind :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (Ann ValueBind a) (Ann ValueBind a)
• instBodyDataNew :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (Ann DataOrNewtypeKeyword a) (Ann DataOrNewtypeKeyword a)
• instBodyDataKind :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (AnnMaybe Kind a) (AnnMaybe Kind a)
• instBodyDataCons :: forall a. Partial (InstBodyDecl a) (InstBodyDecl a) (AnnList ConDecl a) (AnnList ConDecl a)
• gadtConType :: forall a. Lens (GadtConDecl a) (GadtConDecl a) (Ann GadtConType a) (Ann GadtConType a)
• gadtConNames :: forall a. Lens (GadtConDecl a) (GadtConDecl a) (AnnList Name a) (AnnList Name a)
• gadtConResultType :: forall a. Partial (GadtConType a) (GadtConType a) (Ann Type a) (Ann Type a)
• gadtConRecordFields :: forall a. Partial (GadtConType a) (GadtConType a) (AnnList FieldDecl a) (AnnList FieldDecl a)
• gadtConNormalType :: forall a. Partial (GadtConType a) (GadtConType a) (Ann Type a) (Ann Type a)
• gadtFieldName :: forall a. Partial (GadtField a) (GadtField a) (Ann Name a) (Ann Name a)
• gadtFieldType :: forall a. Lens (GadtField a) (GadtField a) (Ann Type a) (Ann Type a)
• funDeps :: forall a a'. Lens (FunDeps a) (FunDeps a') (AnnList FunDep a) (AnnList FunDep a')
• funDepRhs :: forall a. Lens (FunDep a) (FunDep a) (AnnList Name a) (AnnList Name a)
• funDepLhs :: forall a. Lens (FunDep a) (FunDep a) (AnnList Name a) (AnnList Name a)
• conDeclRhs :: forall a. Partial (ConDecl a) (ConDecl a) (Ann Type a) (Ann Type a)
• conDeclOp :: forall a. Partial (ConDecl a) (ConDecl a) (Ann Operator a) (Ann Operator a)
• conDeclName :: forall a. Partial (ConDecl a) (ConDecl a) (Ann Name a) (Ann Name a)
• conDeclLhs :: forall a. Partial (ConDecl a) (ConDecl a) (Ann Type a) (Ann Type a)
• conDeclFields :: forall a. Partial (ConDecl a) (ConDecl a) (AnnList FieldDecl a) (AnnList FieldDecl a)
• conDeclArgs :: forall a. Partial (ConDecl a) (ConDecl a) (AnnList Type a) (AnnList Type a)
• fieldType :: forall a. Lens (FieldDecl a) (FieldDecl a) (Ann Type a) (Ann Type a)
• fieldNames :: forall a. Lens (FieldDecl a) (FieldDecl a) (AnnList Name a) (AnnList Name a)
• oneDerived :: forall a. Partial (Deriving a) (Deriving a) (Ann InstanceHead a) (Ann InstanceHead a)
• allDerived :: forall a. Partial (Deriving a) (Deriving a) (AnnList InstanceHead a) (AnnList InstanceHead a)
• irVars :: forall a. Partial (InstanceRule a) (InstanceRule a) (AnnMaybe (AnnList TyVar) a) (AnnMaybe (AnnList TyVar) a)
• irRule :: forall a. Partial (InstanceRule a) (InstanceRule a) (Ann InstanceRule a) (Ann InstanceRule a)
• irHead :: forall a. Partial (InstanceRule a) (InstanceRule a) (Ann InstanceHead a) (Ann InstanceHead a)
• irCtx :: forall a. Partial (InstanceRule a) (InstanceRule a) (AnnMaybe Context a) (AnnMaybe Context a)
• ihType :: forall a. Partial (InstanceHead a) (InstanceHead a) (Ann Type a) (Ann Type a)
• ihOperator :: forall a. Partial (InstanceHead a) (InstanceHead a) (Ann Name a) (Ann Name a)
• ihLeftOp :: forall a. Partial (InstanceHead a) (InstanceHead a) (Ann Type a) (Ann Type a)
• ihHead :: forall a. Partial (InstanceHead a) (InstanceHead a) (Ann InstanceHead a) (Ann InstanceHead a)
• ihFun :: forall a. Partial (InstanceHead a) (InstanceHead a) (Ann InstanceHead a) (Ann InstanceHead a)
• ihConName :: forall a. Partial (InstanceHead a) (InstanceHead a) (Ann Name a) (Ann Name a)
• teRhs :: forall a. Lens (TypeEqn a) (TypeEqn a) (Ann Type a) (Ann Type a)
• teLhs :: forall a. Lens (TypeEqn a) (TypeEqn a) (Ann Type a) (Ann Type a)
• kindConstr :: forall a a'. Lens (KindConstraint a) (KindConstraint a') (Ann Kind a) (Ann Kind a')
• tyVarName :: forall a. Lens (TyVar a) (TyVar a) (Ann Name a) (Ann Name a)
• tyVarKind :: forall a. Lens (TyVar a) (TyVar a) (AnnMaybe KindConstraint a) (AnnMaybe KindConstraint a)
• typeWildcardName :: forall a. Partial (Type a) (Type a) (Ann Name a) (Ann Name a)
• typeType :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• typeRight :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• typeResult :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• typeQQ :: forall a. Partial (Type a) (Type a) (QuasiQuote a) (QuasiQuote a)
• typeParam :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• typeOperator :: forall a. Partial (Type a) (Type a) (Ann Operator a) (Ann Operator a)
• typeName :: forall a. Partial (Type a) (Type a) (Ann Name a) (Ann Name a)
• typeLeft :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• typeKind :: forall a. Partial (Type a) (Type a) (Ann Kind a) (Ann Kind a)
• typeInner :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• typeElements :: forall a. Partial (Type a) (Type a) (AnnList Type a) (AnnList Type a)
• typeElement :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• typeCtx :: forall a. Partial (Type a) (Type a) (Ann Context a) (Ann Context a)
• typeCon :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• typeBounded :: forall a. Partial (Type a) (Type a) (AnnList TyVar a) (AnnList TyVar a)
• typeArg :: forall a. Partial (Type a) (Type a) (Ann Type a) (Ann Type a)
• tsSplice :: forall a. Partial (Type a) (Type a) (Splice a) (Splice a)
• tpPromoted :: forall a. Partial (Type a) (Type a) (Ann (Promoted Type) a) (Ann (Promoted Type) a)
• kindVar :: forall a. Partial (Kind a) (Kind a) (Ann Name a) (Ann Name a)
• kindRight :: forall a. Partial (Kind a) (Kind a) (Ann Kind a) (Ann Kind a)
• kindPromoted :: forall a. Partial (Kind a) (Kind a) (Ann (Promoted Kind) a) (Ann (Promoted Kind) a)
• kindParen :: forall a. Partial (Kind a) (Kind a) (Ann Kind a) (Ann Kind a)
• kindLeft :: forall a. Partial (Kind a) (Kind a) (Ann Kind a) (Ann Kind a)
• kindElem :: forall a. Partial (Kind a) (Kind a) (Ann Kind a) (Ann Kind a)
• kindAppFun :: forall a. Partial (Kind a) (Kind a) (Ann Kind a) (Ann Kind a)
• kindAppArg :: forall a. Partial (Kind a) (Kind a) (Ann Kind a) (Ann Kind a)
• contextAssertions :: forall a. Partial (Context a) (Context a) (AnnList Assertion a) (AnnList Assertion a)
• contextAssertion :: forall a. Partial (Context a) (Context a) (Ann Assertion a) (Ann Assertion a)
• assertTypes :: forall a. Partial (Assertion a) (Assertion a) (AnnList Type a) (AnnList Type a)
• assertRhs :: forall a. Partial (Assertion a) (Assertion a) (Ann Type a) (Ann Type a)
• assertOp :: forall a. Partial (Assertion a) (Assertion a) (Ann Operator a) (Ann Operator a)
• assertLhs :: forall a. Partial (Assertion a) (Assertion a) (Ann Type a) (Ann Type a)
• assertClsName :: forall a. Partial (Assertion a) (Assertion a) (Ann Name a) (Ann Name a)
• tupleSectionElems :: forall a. Partial (Expr a) (Expr a) (AnnList TupSecElem a) (AnnList TupSecElem a)
• tupleElems :: forall a. Partial (Expr a) (Expr a) (AnnList Expr a) (AnnList Expr a)
• quotedName :: forall a. Partial (Expr a) (Expr a) (Ann Name a) (Ann Name a)
• procPattern :: forall a. Partial (Expr a) (Expr a) (Ann Pattern a) (Ann Pattern a)
• procExpr :: forall a. Partial (Expr a) (Expr a) (Ann Cmd a) (Ann Cmd a)
• listElems :: forall a. Partial (Expr a) (Expr a) (AnnList Expr a) (AnnList Expr a)
• innerExpr :: forall a. Partial (Expr a) (Expr a) (Ann Splice a) (Ann Splice a)
• exprType :: forall a. Partial (Expr a) (Expr a) (Ann Type a) (Ann Type a)
• exprThen :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprStmts :: forall a. Partial (Expr a) (Expr a) (AnnList Stmt a) (AnnList Stmt a)
• exprSig :: forall a. Partial (Expr a) (Expr a) (Ann Type a) (Ann Type a)
• exprRhs :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprRecName :: forall a. Partial (Expr a) (Expr a) (Ann Name a) (Ann Name a)
• exprRecFields :: forall a. Partial (Expr a) (Expr a) (AnnList FieldUpdate a) (AnnList FieldUpdate a)
• exprQQ :: forall a. Partial (Expr a) (Expr a) (Ann QuasiQuote a) (Ann QuasiQuote a)
• exprPragma :: forall a. Partial (Expr a) (Expr a) (Ann ExprPragma a) (Ann ExprPragma a)
• exprOperator :: forall a. Partial (Expr a) (Expr a) (Ann Operator a) (Ann Operator a)
• exprName :: forall a. Partial (Expr a) (Expr a) (Ann Name a) (Ann Name a)
• exprLit :: forall a. Partial (Expr a) (Expr a) (Ann Literal a) (Ann Literal a)
• exprLhs :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprInner :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprIfAlts :: forall a. Partial (Expr a) (Expr a) (AnnList GuardedCaseRhs a) (AnnList GuardedCaseRhs a)
• exprFunBind :: forall a. Partial (Expr a) (Expr a) (AnnList LocalBind a) (AnnList LocalBind a)
• exprFun :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprElse :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprCond :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprCase :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprBindings :: forall a. Partial (Expr a) (Expr a) (AnnList Pattern a) (AnnList Pattern a)
• exprArg :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• exprAlts :: forall a. Partial (Expr a) (Expr a) (AnnList Alt a) (AnnList Alt a)
• enumToFix :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• enumTo :: forall a. Partial (Expr a) (Expr a) (AnnMaybe Expr a) (AnnMaybe Expr a)
• enumThen :: forall a. Partial (Expr a) (Expr a) (AnnMaybe Expr a) (AnnMaybe Expr a)
• enumFrom :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• doKind :: forall a. Partial (Expr a) (Expr a) (Ann DoKind a) (Ann DoKind a)
• compExpr :: forall a. Partial (Expr a) (Expr a) (Ann Expr a) (Ann Expr a)
• compBody :: forall a. Partial (Expr a) (Expr a) (AnnList ListCompBody a) (AnnList ListCompBody a)
• bracket :: forall a. Partial (Expr a) (Expr a) (Ann Bracket a) (Ann Bracket a)
• arrowAppl :: forall a. Partial (Expr a) (Expr a) (Ann ArrowAppl a) (Ann ArrowAppl a)
• stmtPattern :: forall expr a. Partial (Stmt' expr a) (Stmt' expr a) (Ann Pattern a) (Ann Pattern a)
• stmtExpr :: forall expr a. Partial (Stmt' expr a) (Stmt' expr a) (Ann expr a) (Ann expr a)
• stmtBinds :: forall expr a. Partial (Stmt' expr a) (Stmt' expr a) (AnnList LocalBind a) (AnnList LocalBind a)
• cmdStmtBinds :: forall expr a. Partial (Stmt' expr a) (Stmt' expr a) (AnnList (Stmt' expr) a) (AnnList (Stmt' expr) a)
• usingExpr :: forall a. Partial (CompStmt a) (CompStmt a) (AnnMaybe Expr a) (AnnMaybe Expr a)
• thenExpr :: forall a. Partial (CompStmt a) (CompStmt a) (Ann Expr a) (Ann Expr a)
• compStmt :: forall a. Partial (CompStmt a) (CompStmt a) (Ann Stmt a) (Ann Stmt a)
• byExpr :: forall a. Partial (CompStmt a) (CompStmt a) (AnnMaybe Expr a) (AnnMaybe Expr a)
• valBindRhs :: forall a. Partial (ValueBind a) (ValueBind a) (Ann Rhs a) (Ann Rhs a)
• valBindPat :: forall a. Partial (ValueBind a) (ValueBind a) (Ann Pattern a) (Ann Pattern a)
• valBindLocals :: forall a. Partial (ValueBind a) (ValueBind a) (AnnMaybe LocalBinds a) (AnnMaybe LocalBinds a)
• funBindMatches :: forall a. Partial (ValueBind a) (ValueBind a) (AnnList Match a) (AnnList Match a)
• patternType :: forall a. Partial (Pattern a) (Pattern a) (Ann Type a) (Ann Type a)
• patternSplice :: forall a. Partial (Pattern a) (Pattern a) (Ann Splice a) (Ann Splice a)
• patternRhs :: forall a. Partial (Pattern a) (Pattern a) (Ann Pattern a) (Ann Pattern a)
• patternOperator :: forall a. Partial (Pattern a) (Pattern a) (Ann Operator a) (Ann Operator a)
• patternName :: forall a. Partial (Pattern a) (Pattern a) (Ann Name a) (Ann Name a)
• patternLiteral :: forall a. Partial (Pattern a) (Pattern a) (Ann Literal a) (Ann Literal a)
• patternLit :: forall a. Partial (Pattern a) (Pattern a) (Ann Literal a) (Ann Literal a)
• patternLhs :: forall a. Partial (Pattern a) (Pattern a) (Ann Pattern a) (Ann Pattern a)
• patternInner :: forall a. Partial (Pattern a) (Pattern a) (Ann Pattern a) (Ann Pattern a)
• patternFields :: forall a. Partial (Pattern a) (Pattern a) (AnnList PatternField a) (AnnList PatternField a)
• patternExpr :: forall a. Partial (Pattern a) (Pattern a) (Ann Expr a) (Ann Expr a)
• patternElems :: forall a. Partial (Pattern a) (Pattern a) (AnnList Pattern a) (AnnList Pattern a)
• patternArgs :: forall a. Partial (Pattern a) (Pattern a) (AnnList Pattern a) (AnnList Pattern a)
• patQQ :: forall a. Partial (Pattern a) (Pattern a) (Ann QuasiQuote a) (Ann QuasiQuote a)
• fieldPatternName :: forall a. Partial (PatternField a) (PatternField a) (Ann Name a) (Ann Name a)
• fieldPattern :: forall a. Partial (PatternField a) (PatternField a) (Ann Pattern a) (Ann Pattern a)
• spliceId :: forall a. Partial (Splice a) (Splice a) (Ann Name a) (Ann Name a)
• spliceExpr :: forall a. Partial (Splice a) (Splice a) (Ann Expr a) (Ann Expr a)
• qqString :: forall a. Lens (QQString a) (QQString a) String String
• matchRhs :: forall a. Lens (Match a) (Match a) (Ann Rhs a) (Ann Rhs a)
• matchLhs :: forall a. Lens (Match a) (Match a) (Ann MatchLhs a) (Ann MatchLhs a)
• matchBinds :: forall a. Lens (Match a) (Match a) (AnnMaybe LocalBinds a) (AnnMaybe LocalBinds a)
• altRhs :: forall expr a expr'. Lens (Alt' expr a) (Alt' expr' a) (Ann (CaseRhs' expr) a) (Ann (CaseRhs' expr') a)
• altPattern :: forall expr a. Lens (Alt' expr a) (Alt' expr a) (Ann Pattern a) (Ann Pattern a)
• altBinds :: forall expr a. Lens (Alt' expr a) (Alt' expr a) (AnnMaybe LocalBinds a) (AnnMaybe LocalBinds a)
• rhsGuards :: forall a. Partial (Rhs a) (Rhs a) (AnnList GuardedRhs a) (AnnList GuardedRhs a)
• rhsExpr :: forall a. Partial (Rhs a) (Rhs a) (Ann Expr a) (Ann Expr a)
• guardStmts :: forall a. Lens (GuardedRhs a) (GuardedRhs a) (AnnList RhsGuard a) (AnnList RhsGuard a)
• guardExpr :: forall a. Lens (GuardedRhs a) (GuardedRhs a) (Ann Expr a) (Ann Expr a)
• fieldValue :: forall a. Partial (FieldUpdate a) (FieldUpdate a) (Ann Expr a) (Ann Expr a)
• fieldUpdateName :: forall a. Partial (FieldUpdate a) (FieldUpdate a) (Ann Name a) (Ann Name a)
• fieldName :: forall a. Partial (FieldUpdate a) (FieldUpdate a) (Ann Name a) (Ann Name a)
• bracketType :: forall a. Partial (Bracket a) (Bracket a) (Ann Type a) (Ann Type a)
• bracketPattern :: forall a. Partial (Bracket a) (Bracket a) (Ann Pattern a) (Ann Pattern a)
• bracketExpr :: forall a. Partial (Bracket a) (Bracket a) (Ann Expr a) (Ann Expr a)
• bracketDecl :: forall a. Partial (Bracket a) (Bracket a) (AnnList Decl a) (AnnList Decl a)
• specializeType :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (AnnList Type a) (AnnList Type a)
• specializeDef :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (Ann Name a) (Ann Name a)
• pragmaRule :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (AnnList Rule a) (AnnList Rule a)
• pragmaPhase :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (AnnMaybe PhaseControl a) (AnnMaybe PhaseControl a)
• pragmaObjects :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (AnnList Name a) (AnnList Name a)
• pragmaMessage :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (Ann StringNode a) (Ann StringNode a)
• pragmaLineNum :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (Ann LineNumber a) (Ann LineNumber a)
• pragmaFileName :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (AnnMaybe StringNode a) (AnnMaybe StringNode a)
• pragmaConlike :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (AnnMaybe ConlikeAnnot a) (AnnMaybe ConlikeAnnot a)
• noInlineDef :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (Ann Name a) (Ann Name a)
• inlineDef :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (Ann Name a) (Ann Name a)
• inlinableDef :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (Ann Name a) (Ann Name a)
• annotationSubject :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (Ann AnnotationSubject a) (Ann AnnotationSubject a)
• annotateExpr :: forall a. Partial (TopLevelPragma a) (TopLevelPragma a) (Ann Expr a) (Ann Expr a)
• ruleRhs :: forall a. Lens (Rule a) (Rule a) (Ann Expr a) (Ann Expr a)
• rulePhase :: forall a. Lens (Rule a) (Rule a) (AnnMaybe PhaseControl a) (AnnMaybe PhaseControl a)
• ruleName :: forall a. Lens (Rule a) (Rule a) (Ann StringNode a) (Ann StringNode a)
• ruleLhs :: forall a. Lens (Rule a) (Rule a) (Ann Expr a) (Ann Expr a)
• ruleBounded :: forall a. Lens (Rule a) (Rule a) (AnnList TyVar a) (AnnList TyVar a)
• annotateName :: forall a a'. Partial (AnnotationSubject a) (AnnotationSubject a') (Ann Name a) (Ann Name a')
• minimalOrs :: forall a. Partial (MinimalFormula a) (MinimalFormula a) (AnnList MinimalFormula a) (AnnList MinimalFormula a)
• minimalName :: forall a. Partial (MinimalFormula a) (MinimalFormula a) (Ann Name a) (Ann Name a)
• minimalInner :: forall a. Partial (MinimalFormula a) (MinimalFormula a) (Ann MinimalFormula a) (Ann MinimalFormula a)
• minimalAnds :: forall a. Partial (MinimalFormula a) (MinimalFormula a) (AnnList MinimalFormula a) (AnnList MinimalFormula a)
• pragmaStr :: forall a. Partial (ExprPragma a) (ExprPragma a) (Ann StringNode a) (Ann StringNode a)
• pragmaSrcRange :: forall a. Partial (ExprPragma a) (ExprPragma a) (Ann SourceRange a) (Ann SourceRange a)
• srToLine :: forall a. Lens (SourceRange a) (SourceRange a) (Ann Number a) (Ann Number a)
• srToCol :: forall a. Lens (SourceRange a) (SourceRange a) (Ann Number a) (Ann Number a)
• srFromLine :: forall a. Lens (SourceRange a) (SourceRange a) (Ann Number a) (Ann Number a)
• srFromCol :: forall a. Lens (SourceRange a) (SourceRange a) (Ann Number a) (Ann Number a)
• srFileName :: forall a. Lens (SourceRange a) (SourceRange a) (Ann StringNode a) (Ann StringNode a)
• numberInteger :: forall a. Lens (Number a) (Number a) Integer Integer
• qqExprName :: forall a. Lens (QuasiQuote a) (QuasiQuote a) (Ann Name a) (Ann Name a)
• qqExprBody :: forall a. Lens (QuasiQuote a) (QuasiQuote a) (Ann QQString a) (Ann QQString a)
• guardRhs :: forall a. Partial (RhsGuard a) (RhsGuard a) (Ann Expr a) (Ann Expr a)
• guardPat :: forall a. Partial (RhsGuard a) (RhsGuard a) (Ann Pattern a) (Ann Pattern a)
• guardCheck :: forall a. Partial (RhsGuard a) (RhsGuard a) (Ann Expr a) (Ann Expr a)
• guardBinds :: forall a. Partial (RhsGuard a) (RhsGuard a) (AnnList LocalBind a) (AnnList LocalBind a)
• localVal :: forall a. Partial (LocalBind a) (LocalBind a) (Ann ValueBind a) (Ann ValueBind a)
• localSig :: forall a. Partial (LocalBind a) (LocalBind a) (Ann TypeSignature a) (Ann TypeSignature a)
• localFixity :: forall a. Partial (LocalBind a) (LocalBind a) (Ann FixitySignature a) (Ann FixitySignature a)
• localBinds :: forall a a'. Lens (LocalBinds a) (LocalBinds a') (AnnList LocalBind a) (AnnList LocalBind a')
• fixityPrecedence :: forall a. Lens (FixitySignature a) (FixitySignature a) (Ann Precedence a) (Ann Precedence a)
• fixityOperators :: forall a. Lens (FixitySignature a) (FixitySignature a) (AnnList Operator a) (AnnList Operator a)
• fixityAssoc :: forall a. Lens (FixitySignature a) (FixitySignature a) (Ann Assoc a) (Ann Assoc a)
• tsType :: forall a. Lens (TypeSignature a) (TypeSignature a) (Ann Type a) (Ann Type a)
• tsName :: forall a. Lens (TypeSignature a) (TypeSignature a) (AnnList Name a) (AnnList Name a)
• compStmts :: forall a a'. Lens (ListCompBody a) (ListCompBody a') (AnnList CompStmt a) (AnnList CompStmt a')
• tupSecExpr :: forall a a'. Partial (TupSecElem a) (TupSecElem a') (Ann Expr a) (Ann Expr a')
• tfSpec :: forall a. Partial (TypeFamily a) (TypeFamily a) (AnnMaybe TypeFamilySpec a) (AnnMaybe TypeFamilySpec a)
• tfKind :: forall a. Partial (TypeFamily a) (TypeFamily a) (AnnMaybe KindConstraint a) (AnnMaybe KindConstraint a)
• tfHead :: forall a. Lens (TypeFamily a) (TypeFamily a) (Ann DeclHead a) (Ann DeclHead a)
• tfSpecKind :: forall a. Partial (TypeFamilySpec a) (TypeFamilySpec a) (Ann KindConstraint a) (Ann KindConstraint a)
• tfInjectivity :: forall a. Partial (TypeFamilySpec a) (TypeFamilySpec a) (Ann InjectivityAnn a) (Ann InjectivityAnn a)
• injAnnRes :: forall a. Lens (InjectivityAnn a) (InjectivityAnn a) (Ann Name a) (Ann Name a)
• injAnnDeps :: forall a. Lens (InjectivityAnn a) (InjectivityAnn a) (AnnList Name a) (AnnList Name a)
• rhsCaseGuards :: forall expr a. Partial (CaseRhs' expr a) (CaseRhs' expr a) (AnnList (GuardedCaseRhs' expr) a) (AnnList (GuardedCaseRhs' expr) a)
• rhsCaseExpr :: forall expr a. Partial (CaseRhs' expr a) (CaseRhs' expr a) (Ann expr a) (Ann expr a)
• caseGuardStmts :: forall expr a. Lens (GuardedCaseRhs' expr a) (GuardedCaseRhs' expr a) (AnnList RhsGuard a) (AnnList RhsGuard a)
• caseGuardExpr :: forall expr a expr'. Lens (GuardedCaseRhs' expr a) (GuardedCaseRhs' expr' a) (Ann expr a) (Ann expr' a)
• patRhs :: forall a. Lens (PatternSynonym a) (PatternSynonym a) (Ann PatSynRhs a) (Ann PatSynRhs a)
• patLhs :: forall a. Lens (PatternSynonym a) (PatternSynonym a) (Ann PatSynLhs a) (Ann PatSynLhs a)
• patRhsOpposite :: forall a. Partial (PatSynRhs a) (PatSynRhs a) (AnnMaybe PatSynWhere a) (AnnMaybe PatSynWhere a)
• patRhsPat :: forall a. Lens (PatSynRhs a) (PatSynRhs a) (Ann Pattern a) (Ann Pattern a)
• patSynRhs :: forall a. Partial (PatSynLhs a) (PatSynLhs a) (Ann Name a) (Ann Name a)
• patSynOp :: forall a. Partial (PatSynLhs a) (PatSynLhs a) (Ann Operator a) (Ann Operator a)
• patSynLhs :: forall a. Partial (PatSynLhs a) (PatSynLhs a) (Ann Name a) (Ann Name a)
• patName :: forall a. Partial (PatSynLhs a) (PatSynLhs a) (Ann Name a) (Ann Name a)
• patArgs :: forall a. Partial (PatSynLhs a) (PatSynLhs a) (AnnList Name a) (AnnList Name a)
• patOpposite :: forall a a'. Lens (PatSynWhere a) (PatSynWhere a') (AnnList Match a) (AnnList Match a')
• patSigType :: forall a. Lens (PatternTypeSignature a) (PatternTypeSignature a) (Ann Type a) (Ann Type a)
• patSigName :: forall a. Lens (PatternTypeSignature a) (PatternTypeSignature a) (Ann Name a) (Ann Name a)
• langExt :: forall a. Lens (LanguageExtension a) (LanguageExtension a) String String
• matchLhsRhs :: forall a. Partial (MatchLhs a) (MatchLhs a) (Ann Pattern a) (Ann Pattern a)
• matchLhsOperator :: forall a. Partial (MatchLhs a) (MatchLhs a) (Ann Operator a) (Ann Operator a)
• matchLhsName :: forall a. Partial (MatchLhs a) (MatchLhs a) (Ann Name a) (Ann Name a)
• matchLhsLhs :: forall a. Partial (MatchLhs a) (MatchLhs a) (Ann Pattern a) (Ann Pattern a)
• matchLhsArgs :: forall a. Lens (MatchLhs a) (MatchLhs a) (AnnList Pattern a) (AnnList Pattern a)
• stringLitValue :: forall a. Partial (Literal a) (Literal a) String String
• intLitValue :: forall a. Partial (Literal a) (Literal a) Integer Integer
• fracLitValue :: forall a. Partial (Literal a) (Literal a) Rational Rational
• floatLitValue :: forall a. Partial (Literal a) (Literal a) Rational Rational
• charLitValue :: forall a. Partial (Literal a) (Literal a) Char Char
• promotedStringValue :: forall t a. Partial (Promoted t a) (Promoted t a) String String
• promotedIntValue :: forall t a. Partial (Promoted t a) (Promoted t a) Integer Integer
• promotedElements :: forall t a t'. Partial (Promoted t a) (Promoted t' a) (AnnList t a) (AnnList t' a)
• promotedConName :: forall t a. Partial (Promoted t a) (Promoted t a) (Ann Name a) (Ann Name a)
• operatorName :: forall a a'. Lens (Operator a) (Operator a') (Ann SimpleName a) (Ann SimpleName a')
• simpleName :: forall a a'. Lens (Name a) (Name a') (Ann SimpleName a) (Ann SimpleName a')
• unqualifiedName :: forall a. Lens (SimpleName a) (SimpleName a) (Ann UnqualName a) (Ann UnqualName a)
• qualifiers :: forall a. Lens (SimpleName a) (SimpleName a) (AnnList UnqualName a) (AnnList UnqualName a)
• simpleNameStr :: forall a. Lens (UnqualName a) (UnqualName a) String String
• stringNodeStr :: forall a. Lens (StringNode a) (StringNode a) String String
• precedenceValue :: forall a. Lens (Precedence a) (Precedence a) Int Int
• phaseUntil :: forall a. Lens (PhaseControl a) (PhaseControl a) (AnnMaybe PhaseInvert a) (AnnMaybe PhaseInvert a)
• phaseNumber :: forall a. Lens (PhaseControl a) (PhaseControl a) (Ann PhaseNumber a) (Ann PhaseNumber a)
• phaseNum :: forall a. Lens (PhaseNumber a) (PhaseNumber a) Integer Integer
• ordByOccurrence :: SimpleName a -> SimpleName a -> Ordering
• nameString :: SimpleName a -> String
• nameElements :: SimpleName a -> [String]
• nameQualifier :: SimpleName a -> [String]
• importIsExact :: ImportDecl a -> Bool
• importIsHiding :: ImportDecl a -> Bool
• importExacts :: Simple Traversal (ImportDecl a) (IESpec a)
• importHidings :: Simple Traversal (ImportDecl a) (IESpec a)
• importQualifiers :: ImportDecl a -> [[String]]
• bindingSemantics :: Simple Traversal (Ann ValueBind (NodeInfo (SemanticInfo n) s)) (SemanticInfo n)
• bindingName :: Simple Traversal (Ann ValueBind (NodeInfo (SemanticInfo n) s)) n
• declHeadNames :: Simple Traversal (Ann DeclHead a) (Ann SimpleName a)
• typeParams :: Simple Traversal (Ann Type a) (Ann Type a)
• semantics :: Simple Lens (Ann a (NodeInfo sema src)) sema
• dhNames :: Simple Traversal (Ann DeclHead (NodeInfo (SemanticInfo n) src)) n
• class BindingElem d where
• bindName :: BindingElem d => Simple Traversal (d (NodeInfo (SemanticInfo n) src)) n
• valBindsInList :: BindingElem d => Simple Traversal (AnnList d a) (Ann ValueBind a)
• getValBindInList :: (BindingElem d, HasRange a) => RealSrcSpan -> AnnList d a -> Maybe (Ann ValueBind a)
• nodesContaining :: forall node inner a. (Biplate (node a) (inner a), HasAnnot node, HasAnnot inner, HasRange a) => RealSrcSpan -> Simple Traversal (node a) (inner a)
• isInside :: (HasAnnot node, HasRange a) => RealSrcSpan -> node a -> Bool
• nodesWithRange :: forall node inner a. (Biplate (node a) (inner a), HasAnnot node, HasAnnot inner, HasRange a) => RealSrcSpan -> Simple Traversal (node a) (inner a)
• hasRange :: (HasAnnot node, HasRange a) => RealSrcSpan -> node a -> Bool
• getNodeContaining :: (Biplate (node a) (Ann inner a), HasAnnot node, HasRange a) => RealSrcSpan -> node a -> Maybe (Ann inner a)
• compareRangeLength :: SrcSpan -> SrcSpan -> Ordering
• getNode :: (Biplate (node a) (inner a), HasAnnot node, HasAnnot inner, HasRange a) => RealSrcSpan -> node a -> inner a
• ordSrcSpan :: SrcSpan -> OrdSrcSpan
• fromOrdSrcSpan :: OrdSrcSpan -> SrcSpan
• data OrdSrcSpan
  • = OrdSrcSpan RealSrcSpan
  • | NoOrdSrcSpan FastString

Documentation