haskell-tools-ast-1.1.0.1: Haskell AST for efficient tooling

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Tools.AST.References

Contents

Description

Generated references for AST elements.

Synopsis

Modules

modImports :: forall dom stage. Lens (Ann UModule dom stage) (Ann UModule dom stage) (AnnListG UImportDecl dom stage) (AnnListG UImportDecl dom stage) Source #

modHead :: forall dom stage. Lens (Ann UModule dom stage) (Ann UModule dom stage) (AnnMaybeG UModuleHead dom stage) (AnnMaybeG UModuleHead dom stage) Source #

modDecl :: forall dom stage. Lens (Ann UModule dom stage) (Ann UModule dom stage) (AnnListG UDecl dom stage) (AnnListG UDecl dom stage) Source #

filePragmas :: forall dom stage. Lens (Ann UModule dom stage) (Ann UModule dom stage) (AnnListG UFilePragma dom stage) (AnnListG UFilePragma dom stage) Source #

mhPragma :: forall dom stage. Lens (Ann UModuleHead dom stage) (Ann UModuleHead dom stage) (AnnMaybeG UModulePragma dom stage) (AnnMaybeG UModulePragma dom stage) Source #

mhName :: forall dom stage. Lens (Ann UModuleHead dom stage) (Ann UModuleHead dom stage) (Ann UModuleName dom stage) (Ann UModuleName dom stage) Source #

mhExports :: forall dom stage. Lens (Ann UModuleHead dom stage) (Ann UModuleHead dom stage) (AnnMaybeG UExportSpecs dom stage) (AnnMaybeG UExportSpecs dom stage) Source #

espExports :: forall dom stage dom' stage'. Lens (Ann UExportSpecs dom stage) (Ann UExportSpecs dom stage) (AnnListG UExportSpec dom stage) (AnnListG UExportSpec dom stage) Source #

exportModuleName :: forall dom stage. Partial (Ann UExportSpec dom stage) (Ann UExportSpec dom stage) (Ann UModuleName dom stage) (Ann UModuleName dom stage) Source #

exportDecl :: forall dom stage. Partial (Ann UExportSpec dom stage) (Ann UExportSpec dom stage) (Ann UIESpec dom stage) (Ann UIESpec dom stage) Source #

ieSubspec :: forall dom stage. Lens (Ann UIESpec dom stage) (Ann UIESpec dom stage) (AnnMaybeG USubSpec dom stage) (AnnMaybeG USubSpec dom stage) Source #

ieName :: forall dom stage. Lens (Ann UIESpec dom stage) (Ann UIESpec dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

ieModifier :: forall dom stage. Lens (Ann UIESpec dom stage) (Ann UIESpec dom stage) (AnnMaybeG UImportModifier dom stage) (AnnMaybeG UImportModifier dom stage) Source #

essList :: forall dom stage dom' stage'. Partial (Ann USubSpec dom stage) (Ann USubSpec dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

modWarningStr :: forall dom stage. Partial (Ann UModulePragma dom stage) (Ann UModulePragma dom stage) (AnnListG UStringNode dom stage) (AnnListG UStringNode dom stage) Source #

modDeprecatedPragma :: forall dom stage. Partial (Ann UModulePragma dom stage) (Ann UModulePragma dom stage) (AnnListG UStringNode dom stage) (AnnListG UStringNode dom stage) Source #

opStr :: forall dom stage. Partial (Ann UFilePragma dom stage) (Ann UFilePragma dom stage) (Ann UStringNode dom stage) (Ann UStringNode dom stage) Source #

lpPragmas :: forall dom stage. Partial (Ann UFilePragma dom stage) (Ann UFilePragma dom stage) (AnnListG ULanguageExtension dom stage) (AnnListG ULanguageExtension dom stage) Source #

importSpec :: forall dom stage. Lens (Ann UImportDecl dom stage) (Ann UImportDecl dom stage) (AnnMaybeG UImportSpec dom stage) (AnnMaybeG UImportSpec dom stage) Source #

importSource :: forall dom stage. Lens (Ann UImportDecl dom stage) (Ann UImportDecl dom stage) (AnnMaybeG UImportSource dom stage) (AnnMaybeG UImportSource dom stage) Source #

importSafe :: forall dom stage. Lens (Ann UImportDecl dom stage) (Ann UImportDecl dom stage) (AnnMaybeG UImportSafe dom stage) (AnnMaybeG UImportSafe dom stage) Source #

importQualified :: forall dom stage. Lens (Ann UImportDecl dom stage) (Ann UImportDecl dom stage) (AnnMaybeG UImportQualified dom stage) (AnnMaybeG UImportQualified dom stage) Source #

importPkg :: forall dom stage. Lens (Ann UImportDecl dom stage) (Ann UImportDecl dom stage) (AnnMaybeG UStringNode dom stage) (AnnMaybeG UStringNode dom stage) Source #

importModule :: forall dom stage. Lens (Ann UImportDecl dom stage) (Ann UImportDecl dom stage) (Ann UModuleName dom stage) (Ann UModuleName dom stage) Source #

importAs :: forall dom stage. Lens (Ann UImportDecl dom stage) (Ann UImportDecl dom stage) (AnnMaybeG UImportRenaming dom stage) (AnnMaybeG UImportRenaming dom stage) Source #

importSpecList :: forall dom stage. Partial (Ann UImportSpec dom stage) (Ann UImportSpec dom stage) (AnnListG UIESpec dom stage) (AnnListG UIESpec dom stage) Source #

importSpecHiding :: forall dom stage. Partial (Ann UImportSpec dom stage) (Ann UImportSpec dom stage) (AnnListG UIESpec dom stage) (AnnListG UIESpec dom stage) Source #

importRename :: forall dom stage dom' stage'. Lens (Ann UImportRenaming dom stage) (Ann UImportRenaming dom stage) (Ann UModuleName dom stage) (Ann UModuleName dom stage) Source #

moduleNameString :: forall dom stage. Lens (Ann UModuleName dom stage) (Ann UModuleName dom stage) String String Source #

langExt :: forall dom stage. Lens (Ann ULanguageExtension dom stage) (Ann ULanguageExtension dom stage) String String Source #

Declarations

declValBind :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UValueBind dom stage) (Ann UValueBind dom stage) Source #

declTypes :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnListG UType dom stage) (AnnListG UType dom stage) Source #

declTypeSig :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UTypeSignature dom stage) (Ann UTypeSignature dom stage) Source #

declTypeFamily :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UTypeFamily dom stage) (Ann UTypeFamily dom stage) Source #

declType :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

declSplice :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann USplice dom stage) (Ann USplice dom stage) Source #

declSpec :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG UTypeFamilySpec dom stage) (AnnMaybeG UTypeFamilySpec dom stage) Source #

declSafety :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG USafety dom stage) (AnnMaybeG USafety dom stage) Source #

declRoles :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnListG URole dom stage) (AnnListG URole dom stage) Source #

declRoleType :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UQualifiedName dom stage) (Ann UQualifiedName dom stage) Source #

declPragma :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) Source #

declPatTypeSig :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UPatternTypeSignature dom stage) (Ann UPatternTypeSignature dom stage) Source #

declPatSyn :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UPatternSynonym dom stage) (Ann UPatternSynonym dom stage) Source #

declOverlap :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG UOverlapPragma dom stage) (AnnMaybeG UOverlapPragma dom stage) Source #

declNewtype :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UDataOrNewtypeKeyword dom stage) (Ann UDataOrNewtypeKeyword dom stage) Source #

declName :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

declKind :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG UKindConstraint dom stage) (AnnMaybeG UKindConstraint dom stage) Source #

declInstance :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UInstanceRule dom stage) (Ann UInstanceRule dom stage) Source #

declInstRule :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UInstanceRule dom stage) (Ann UInstanceRule dom stage) Source #

declInstDecl :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG UInstBody dom stage) (AnnMaybeG UInstBody dom stage) Source #

declHead :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) Source #

declGadt :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnListG UGadtConDecl dom stage) (AnnListG UGadtConDecl dom stage) Source #

declFunDeps :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG UFunDeps dom stage) (AnnMaybeG UFunDeps dom stage) Source #

declForeignType :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

declFixity :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UFixitySignature dom stage) (Ann UFixitySignature dom stage) Source #

declDeriving :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnListG UDeriving dom stage) (AnnListG UDeriving dom stage) Source #

declDerivStrat :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG UDeriveStrategy dom stage) (AnnMaybeG UDeriveStrategy dom stage) Source #

declDecl :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnListG UTypeEqn dom stage) (AnnListG UTypeEqn dom stage) Source #

declCtx :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG UContext dom stage) (AnnMaybeG UContext dom stage) Source #

declCons :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnListG UConDecl dom stage) (AnnListG UConDecl dom stage) Source #

declCallConv :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UCallConv dom stage) (Ann UCallConv dom stage) Source #

declBody :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (AnnMaybeG UClassBody dom stage) (AnnMaybeG UClassBody dom stage) Source #

declAssignedType :: forall dom stage. Partial (Ann UDecl dom stage) (Ann UDecl dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

cbElements :: forall dom stage dom' stage'. Lens (Ann UClassBody dom stage) (Ann UClassBody dom stage) (AnnListG UClassElement dom stage) (AnnListG UClassElement dom stage) Source #

pragmaFormula :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UMinimalFormula dom stage) (Ann UMinimalFormula dom stage) Source #

clsInline :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UInlinePragma dom stage) (Ann UInlinePragma dom stage) Source #

clsFixity :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UFixitySignature dom stage) (Ann UFixitySignature dom stage) Source #

ceTypeSig :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UTypeSignature dom stage) (Ann UTypeSignature dom stage) Source #

ceTypeFam :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UTypeFamily dom stage) (Ann UTypeFamily dom stage) Source #

ceType :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

ceName :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

ceKind :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

ceHead :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) Source #

ceBind :: forall dom stage. Partial (Ann UClassElement dom stage) (Ann UClassElement dom stage) (Ann UValueBind dom stage) (Ann UValueBind dom stage) Source #

dhRight :: forall dom stage. Partial (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UTyVar dom stage) (Ann UTyVar dom stage) Source #

dhOperator :: forall dom stage. Partial (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

dhName :: forall dom stage. Partial (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

dhLeft :: forall dom stage. Partial (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UTyVar dom stage) (Ann UTyVar dom stage) Source #

dhBody :: forall dom stage. Partial (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) Source #

dhAppOperand :: forall dom stage. Partial (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UTyVar dom stage) (Ann UTyVar dom stage) Source #

dhAppFun :: forall dom stage. Partial (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) Source #

instBodyDecls :: forall dom stage dom' stage'. Lens (Ann UInstBody dom stage) (Ann UInstBody dom stage) (AnnListG UInstBodyDecl dom stage) (AnnListG UInstBodyDecl dom stage) Source #

specializeInstanceType :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

specializeInstance :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (Ann USpecializePragma dom stage) (Ann USpecializePragma dom stage) Source #

instanceInline :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (Ann UInlinePragma dom stage) (Ann UInlinePragma dom stage) Source #

instBodyTypeSig :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (Ann UTypeSignature dom stage) (Ann UTypeSignature dom stage) Source #

instBodyTypeEqn :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (Ann UTypeEqn dom stage) (Ann UTypeEqn dom stage) Source #

instBodyLhsType :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (Ann UInstanceRule dom stage) (Ann UInstanceRule dom stage) Source #

instBodyGadtCons :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (AnnListG UGadtConDecl dom stage) (AnnListG UGadtConDecl dom stage) Source #

instBodyDerivings :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (AnnListG UDeriving dom stage) (AnnListG UDeriving dom stage) Source #

instBodyDeclFunbind :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (Ann UValueBind dom stage) (Ann UValueBind dom stage) Source #

instBodyDataNew :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (Ann UDataOrNewtypeKeyword dom stage) (Ann UDataOrNewtypeKeyword dom stage) Source #

instBodyDataKind :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (AnnMaybeG UKindConstraint dom stage) (AnnMaybeG UKindConstraint dom stage) Source #

instBodyDataCons :: forall dom stage. Partial (Ann UInstBodyDecl dom stage) (Ann UInstBodyDecl dom stage) (AnnListG UConDecl dom stage) (AnnListG UConDecl dom stage) Source #

tfSpec :: forall dom stage. Partial (Ann UTypeFamily dom stage) (Ann UTypeFamily dom stage) (AnnMaybeG UTypeFamilySpec dom stage) (AnnMaybeG UTypeFamilySpec dom stage) Source #

tfKind :: forall dom stage. Partial (Ann UTypeFamily dom stage) (Ann UTypeFamily dom stage) (AnnMaybeG UKindConstraint dom stage) (AnnMaybeG UKindConstraint dom stage) Source #

tfHead :: forall dom stage. Lens (Ann UTypeFamily dom stage) (Ann UTypeFamily dom stage) (Ann UDeclHead dom stage) (Ann UDeclHead dom stage) Source #

tfTypeVar :: forall dom stage. Partial (Ann UTypeFamilySpec dom stage) (Ann UTypeFamilySpec dom stage) (Ann UTyVar dom stage) (Ann UTyVar dom stage) Source #

tfSpecKind :: forall dom stage. Partial (Ann UTypeFamilySpec dom stage) (Ann UTypeFamilySpec dom stage) (Ann UKindConstraint dom stage) (Ann UKindConstraint dom stage) Source #

tfInjectivity :: forall dom stage. Partial (Ann UTypeFamilySpec dom stage) (Ann UTypeFamilySpec dom stage) (Ann UInjectivityAnn dom stage) (Ann UInjectivityAnn dom stage) Source #

injAnnRes :: forall dom stage. Lens (Ann UInjectivityAnn dom stage) (Ann UInjectivityAnn dom stage) (Ann UTyVar dom stage) (Ann UTyVar dom stage) Source #

injAnnDeps :: forall dom stage. Lens (Ann UInjectivityAnn dom stage) (Ann UInjectivityAnn dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

gadtConTypeCtx :: forall dom stage. Lens (Ann UGadtConDecl dom stage) (Ann UGadtConDecl dom stage) (AnnMaybeG UContext dom stage) (AnnMaybeG UContext dom stage) Source #

gadtConTypeArgs :: forall dom stage. Lens (Ann UGadtConDecl dom stage) (Ann UGadtConDecl dom stage) (AnnListG UTyVar dom stage) (AnnListG UTyVar dom stage) Source #

gadtConType :: forall dom stage. Lens (Ann UGadtConDecl dom stage) (Ann UGadtConDecl dom stage) (Ann UGadtConType dom stage) (Ann UGadtConType dom stage) Source #

gadtConNames :: forall dom stage. Lens (Ann UGadtConDecl dom stage) (Ann UGadtConDecl dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

gadtConResultType :: forall dom stage. Partial (Ann UGadtConType dom stage) (Ann UGadtConType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

gadtConRecordFields :: forall dom stage. Partial (Ann UGadtConType dom stage) (Ann UGadtConType dom stage) (AnnListG UFieldDecl dom stage) (AnnListG UFieldDecl dom stage) Source #

gadtConNormalType :: forall dom stage. Partial (Ann UGadtConType dom stage) (Ann UGadtConType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

patRhs :: forall dom stage. Lens (Ann UPatternSynonym dom stage) (Ann UPatternSynonym dom stage) (Ann UPatSynRhs dom stage) (Ann UPatSynRhs dom stage) Source #

patLhs :: forall dom stage. Lens (Ann UPatternSynonym dom stage) (Ann UPatternSynonym dom stage) (Ann UPatSynLhs dom stage) (Ann UPatSynLhs dom stage) Source #

patRhsOpposite :: forall dom stage. Partial (Ann UPatSynRhs dom stage) (Ann UPatSynRhs dom stage) (AnnMaybeG UPatSynWhere dom stage) (AnnMaybeG UPatSynWhere dom stage) Source #

patRhsPat :: forall dom stage. Lens (Ann UPatSynRhs dom stage) (Ann UPatSynRhs dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

patSynRhs :: forall dom stage. Partial (Ann UPatSynLhs dom stage) (Ann UPatSynLhs dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

patSynOp :: forall dom stage. Partial (Ann UPatSynLhs dom stage) (Ann UPatSynLhs dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

patSynLhs :: forall dom stage. Partial (Ann UPatSynLhs dom stage) (Ann UPatSynLhs dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

patName :: forall dom stage. Partial (Ann UPatSynLhs dom stage) (Ann UPatSynLhs dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

patArgs :: forall dom stage. Partial (Ann UPatSynLhs dom stage) (Ann UPatSynLhs dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

patOpposite :: forall dom stage dom' stage'. Lens (Ann UPatSynWhere dom stage) (Ann UPatSynWhere dom stage) (AnnListG UMatch dom stage) (AnnListG UMatch dom stage) Source #

patSigType :: forall dom stage. Lens (Ann UPatternTypeSignature dom stage) (Ann UPatternTypeSignature dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

patSigName :: forall dom stage. Lens (Ann UPatternTypeSignature dom stage) (Ann UPatternTypeSignature dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

funDeps :: forall dom stage dom' stage'. Lens (Ann UFunDeps dom stage) (Ann UFunDeps dom stage) (AnnListG UFunDep dom stage) (AnnListG UFunDep dom stage) Source #

funDepRhs :: forall dom stage. Lens (Ann UFunDep dom stage) (Ann UFunDep dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

funDepLhs :: forall dom stage. Lens (Ann UFunDep dom stage) (Ann UFunDep dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

conDeclRhs :: forall dom stage. Partial (Ann UConDecl dom stage) (Ann UConDecl dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

conDeclOp :: forall dom stage. Partial (Ann UConDecl dom stage) (Ann UConDecl dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

conDeclName :: forall dom stage. Partial (Ann UConDecl dom stage) (Ann UConDecl dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

conDeclLhs :: forall dom stage. Partial (Ann UConDecl dom stage) (Ann UConDecl dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

conDeclFields :: forall dom stage. Partial (Ann UConDecl dom stage) (Ann UConDecl dom stage) (AnnListG UFieldDecl dom stage) (AnnListG UFieldDecl dom stage) Source #

conDeclArgs :: forall dom stage. Partial (Ann UConDecl dom stage) (Ann UConDecl dom stage) (AnnListG UType dom stage) (AnnListG UType dom stage) Source #

conTypeCtx :: forall dom stage. Lens (Ann UConDecl dom stage) (Ann UConDecl dom stage) (AnnMaybeG UContext dom stage) (AnnMaybeG UContext dom stage) Source #

conTypeArgs :: forall dom stage. Lens (Ann UConDecl dom stage) (Ann UConDecl dom stage) (AnnListG UTyVar dom stage) (AnnListG UTyVar dom stage) Source #

fieldType :: forall dom stage. Lens (Ann UFieldDecl dom stage) (Ann UFieldDecl dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

fieldNames :: forall dom stage. Lens (Ann UFieldDecl dom stage) (Ann UFieldDecl dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

oneDerived :: forall dom stage. Partial (Ann UDeriving dom stage) (Ann UDeriving dom stage) (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) Source #

allDerived :: forall dom stage. Partial (Ann UDeriving dom stage) (Ann UDeriving dom stage) (AnnListG UInstanceHead dom stage) (AnnListG UInstanceHead dom stage) Source #

deriveStrategy :: forall dom stage. Lens (Ann UDeriving dom stage) (Ann UDeriving dom stage) (AnnMaybeG UDeriveStrategy dom stage) (AnnMaybeG UDeriveStrategy dom stage) Source #

irVars :: forall dom stage. Lens (Ann UInstanceRule dom stage) (Ann UInstanceRule dom stage) (AnnMaybeG (AnnListG UTyVar) dom stage) (AnnMaybeG (AnnListG UTyVar) dom stage) Source #

irHead :: forall dom stage. Lens (Ann UInstanceRule dom stage) (Ann UInstanceRule dom stage) (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) Source #

irCtx :: forall dom stage. Lens (Ann UInstanceRule dom stage) (Ann UInstanceRule dom stage) (AnnMaybeG UContext dom stage) (AnnMaybeG UContext dom stage) Source #

ihType :: forall dom stage. Partial (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

ihOperator :: forall dom stage. Partial (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

ihLeftOp :: forall dom stage. Partial (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

ihHead :: forall dom stage. Partial (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) Source #

ihFun :: forall dom stage. Partial (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) Source #

ihConName :: forall dom stage. Partial (Ann UInstanceHead dom stage) (Ann UInstanceHead dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

teRhs :: forall dom stage. Lens (Ann UTypeEqn dom stage) (Ann UTypeEqn dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

teLhs :: forall dom stage. Lens (Ann UTypeEqn dom stage) (Ann UTypeEqn dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

ruleRhs :: forall dom stage. Lens (Ann URule dom stage) (Ann URule dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

rulePhase :: forall dom stage. Lens (Ann URule dom stage) (Ann URule dom stage) (AnnMaybeG UPhaseControl dom stage) (AnnMaybeG UPhaseControl dom stage) Source #

ruleName :: forall dom stage. Lens (Ann URule dom stage) (Ann URule dom stage) (Ann UStringNode dom stage) (Ann UStringNode dom stage) Source #

ruleLhs :: forall dom stage. Lens (Ann URule dom stage) (Ann URule dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

ruleBounded :: forall dom stage. Lens (Ann URule dom stage) (Ann URule dom stage) (AnnListG URuleVar dom stage) (AnnListG URuleVar dom stage) Source #

ruleVarType :: forall dom stage. Partial (Ann URuleVar dom stage) (Ann URuleVar dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

ruleVarName :: forall dom stage. Lens (Ann URuleVar dom stage) (Ann URuleVar dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

phaseUntil :: forall dom stage. Lens (Ann UPhaseControl dom stage) (Ann UPhaseControl dom stage) (AnnMaybeG PhaseInvert dom stage) (AnnMaybeG PhaseInvert dom stage) Source #

phaseNumber :: forall dom stage. Lens (Ann UPhaseControl dom stage) (Ann UPhaseControl dom stage) (AnnMaybeG PhaseNumber dom stage) (AnnMaybeG PhaseNumber dom stage) Source #

phaseNum :: forall dom stage. Lens (Ann PhaseNumber dom stage) (Ann PhaseNumber dom stage) Integer Integer Source #

warnMessage :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (AnnListG UStringNode dom stage) (AnnListG UStringNode dom stage) Source #

specializePragma :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (Ann USpecializePragma dom stage) (Ann USpecializePragma dom stage) Source #

pragmaSignature :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (AnnMaybeG UName dom stage) (AnnMaybeG UName dom stage) Source #

pragmaRule :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (AnnListG URule dom stage) (AnnListG URule dom stage) Source #

pragmaObjects :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

pragmaLineNum :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (Ann LineNumber dom stage) (Ann LineNumber dom stage) Source #

pragmaInline :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (Ann UInlinePragma dom stage) (Ann UInlinePragma dom stage) Source #

pragmaFileName :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (AnnMaybeG UStringNode dom stage) (AnnMaybeG UStringNode dom stage) Source #

deprMessage :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (AnnListG UStringNode dom stage) (AnnListG UStringNode dom stage) Source #

annotationSubject :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (Ann UAnnotationSubject dom stage) (Ann UAnnotationSubject dom stage) Source #

annotateExpr :: forall dom stage. Partial (Ann UTopLevelPragma dom stage) (Ann UTopLevelPragma dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

annotateName :: forall dom stage dom' stage'. Partial (Ann UAnnotationSubject dom stage) (Ann UAnnotationSubject dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

minimalOrs :: forall dom stage. Partial (Ann UMinimalFormula dom stage) (Ann UMinimalFormula dom stage) (AnnListG UMinimalFormula dom stage) (AnnListG UMinimalFormula dom stage) Source #

minimalName :: forall dom stage. Partial (Ann UMinimalFormula dom stage) (Ann UMinimalFormula dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

minimalInner :: forall dom stage. Partial (Ann UMinimalFormula dom stage) (Ann UMinimalFormula dom stage) (Ann UMinimalFormula dom stage) (Ann UMinimalFormula dom stage) Source #

minimalAnds :: forall dom stage. Partial (Ann UMinimalFormula dom stage) (Ann UMinimalFormula dom stage) (AnnListG UMinimalFormula dom stage) (AnnListG UMinimalFormula dom stage) Source #

srToLine :: forall dom stage. Lens (Ann USourceRange dom stage) (Ann USourceRange dom stage) (Ann Number dom stage) (Ann Number dom stage) Source #

srToCol :: forall dom stage. Lens (Ann USourceRange dom stage) (Ann USourceRange dom stage) (Ann Number dom stage) (Ann Number dom stage) Source #

srFromLine :: forall dom stage. Lens (Ann USourceRange dom stage) (Ann USourceRange dom stage) (Ann Number dom stage) (Ann Number dom stage) Source #

srFromCol :: forall dom stage. Lens (Ann USourceRange dom stage) (Ann USourceRange dom stage) (Ann Number dom stage) (Ann Number dom stage) Source #

srFileName :: forall dom stage. Lens (Ann USourceRange dom stage) (Ann USourceRange dom stage) (Ann UStringNode dom stage) (Ann UStringNode dom stage) Source #

numberInteger :: forall dom stage. Lens (Ann Number dom stage) (Ann Number dom stage) Integer Integer Source #

specializeType :: forall dom stage. Lens (Ann USpecializePragma dom stage) (Ann USpecializePragma dom stage) (AnnListG UType dom stage) (AnnListG UType dom stage) Source #

specializeDef :: forall dom stage. Lens (Ann USpecializePragma dom stage) (Ann USpecializePragma dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

pragmaPhase :: forall dom stage. Lens (Ann USpecializePragma dom stage) (Ann USpecializePragma dom stage) (AnnMaybeG UPhaseControl dom stage) (AnnMaybeG UPhaseControl dom stage) Source #

Binds

matchRhs :: forall dom stage. Lens (Ann UMatch dom stage) (Ann UMatch dom stage) (Ann URhs dom stage) (Ann URhs dom stage) Source #

matchLhs :: forall dom stage. Lens (Ann UMatch dom stage) (Ann UMatch dom stage) (Ann UMatchLhs dom stage) (Ann UMatchLhs dom stage) Source #

matchBinds :: forall dom stage. Lens (Ann UMatch dom stage) (Ann UMatch dom stage) (AnnMaybeG ULocalBinds dom stage) (AnnMaybeG ULocalBinds dom stage) Source #

rhsGuards :: forall dom stage. Partial (Ann URhs dom stage) (Ann URhs dom stage) (AnnListG UGuardedRhs dom stage) (AnnListG UGuardedRhs dom stage) Source #

rhsExpr :: forall dom stage. Partial (Ann URhs dom stage) (Ann URhs dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

guardStmts :: forall dom stage. Lens (Ann UGuardedRhs dom stage) (Ann UGuardedRhs dom stage) (AnnListG URhsGuard dom stage) (AnnListG URhsGuard dom stage) Source #

guardExpr :: forall dom stage. Lens (Ann UGuardedRhs dom stage) (Ann UGuardedRhs dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

guardRhs :: forall dom stage. Partial (Ann URhsGuard dom stage) (Ann URhsGuard dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

guardPat :: forall dom stage. Partial (Ann URhsGuard dom stage) (Ann URhsGuard dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

guardCheck :: forall dom stage. Partial (Ann URhsGuard dom stage) (Ann URhsGuard dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

guardBinds :: forall dom stage. Partial (Ann URhsGuard dom stage) (Ann URhsGuard dom stage) (AnnListG ULocalBind dom stage) (AnnListG ULocalBind dom stage) Source #

localVal :: forall dom stage. Partial (Ann ULocalBind dom stage) (Ann ULocalBind dom stage) (Ann UValueBind dom stage) (Ann UValueBind dom stage) Source #

localSig :: forall dom stage. Partial (Ann ULocalBind dom stage) (Ann ULocalBind dom stage) (Ann UTypeSignature dom stage) (Ann UTypeSignature dom stage) Source #

localInline :: forall dom stage. Partial (Ann ULocalBind dom stage) (Ann ULocalBind dom stage) (Ann UInlinePragma dom stage) (Ann UInlinePragma dom stage) Source #

localFixity :: forall dom stage. Partial (Ann ULocalBind dom stage) (Ann ULocalBind dom stage) (Ann UFixitySignature dom stage) (Ann UFixitySignature dom stage) Source #

localBinds :: forall dom stage dom' stage'. Lens (Ann ULocalBinds dom stage) (Ann ULocalBinds dom stage) (AnnListG ULocalBind dom stage) (AnnListG ULocalBind dom stage) Source #

fixityPrecedence :: forall dom stage. Lens (Ann UFixitySignature dom stage) (Ann UFixitySignature dom stage) (AnnMaybeG Precedence dom stage) (AnnMaybeG Precedence dom stage) Source #

fixityOperators :: forall dom stage. Lens (Ann UFixitySignature dom stage) (Ann UFixitySignature dom stage) (AnnListG UOperator dom stage) (AnnListG UOperator dom stage) Source #

fixityAssoc :: forall dom stage. Lens (Ann UFixitySignature dom stage) (Ann UFixitySignature dom stage) (Ann Assoc dom stage) (Ann Assoc dom stage) Source #

precedenceValue :: forall dom stage. Lens (Ann Precedence dom stage) (Ann Precedence dom stage) Int Int Source #

tsType :: forall dom stage. Lens (Ann UTypeSignature dom stage) (Ann UTypeSignature dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

tsName :: forall dom stage. Lens (Ann UTypeSignature dom stage) (Ann UTypeSignature dom stage) (AnnListG UName dom stage) (AnnListG UName dom stage) Source #

matchLhsRhs :: forall dom stage. Partial (Ann UMatchLhs dom stage) (Ann UMatchLhs dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

matchLhsOperator :: forall dom stage. Partial (Ann UMatchLhs dom stage) (Ann UMatchLhs dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

matchLhsName :: forall dom stage. Partial (Ann UMatchLhs dom stage) (Ann UMatchLhs dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

matchLhsLhs :: forall dom stage. Partial (Ann UMatchLhs dom stage) (Ann UMatchLhs dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

matchLhsArgs :: forall dom stage. Lens (Ann UMatchLhs dom stage) (Ann UMatchLhs dom stage) (AnnListG UPattern dom stage) (AnnListG UPattern dom stage) Source #

Kinds

kindConstr :: forall dom stage dom' stage'. Lens (Ann UKindConstraint dom stage) (Ann UKindConstraint dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

Types

valBindRhs :: forall dom stage. Partial (Ann UValueBind dom stage) (Ann UValueBind dom stage) (Ann URhs dom stage) (Ann URhs dom stage) Source #

valBindPat :: forall dom stage. Partial (Ann UValueBind dom stage) (Ann UValueBind dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

valBindLocals :: forall dom stage. Partial (Ann UValueBind dom stage) (Ann UValueBind dom stage) (AnnMaybeG ULocalBinds dom stage) (AnnMaybeG ULocalBinds dom stage) Source #

funBindMatches :: forall dom stage. Partial (Ann UValueBind dom stage) (Ann UValueBind dom stage) (AnnListG UMatch dom stage) (AnnListG UMatch dom stage) Source #

tyVarName :: forall dom stage. Lens (Ann UTyVar dom stage) (Ann UTyVar dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

tyVarKind :: forall dom stage. Lens (Ann UTyVar dom stage) (Ann UTyVar dom stage) (AnnMaybeG UKindConstraint dom stage) (AnnMaybeG UKindConstraint dom stage) Source #

typeWildcardName :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

typeType :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

typeRight :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

typeResult :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

typeQQ :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UQuasiQuote dom stage) (Ann UQuasiQuote dom stage) Source #

typeParam :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

typeOperator :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

typeName :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

typeLeft :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

typeKind :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

typeInner :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

typeElements :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (AnnListG UType dom stage) (AnnListG UType dom stage) Source #

typeElement :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

typeCtx :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UContext dom stage) (Ann UContext dom stage) Source #

typeCon :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

typeBounded :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (AnnListG UTyVar dom stage) (AnnListG UTyVar dom stage) Source #

typeArg :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

tsSplice :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann USplice dom stage) (Ann USplice dom stage) Source #

tpPromoted :: forall dom stage. Partial (Ann UType dom stage) (Ann UType dom stage) (Ann (UPromoted UType) dom stage) (Ann (UPromoted UType) dom stage) Source #

kindVar :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

kindType :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

kindRight :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

kindRhs :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

kindPromoted :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann (UPromoted UKind) dom stage) (Ann (UPromoted UKind) dom stage) Source #

kindParen :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

kindLhs :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

kindLeft :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

kindElems :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (AnnListG UKind dom stage) (AnnListG UKind dom stage) Source #

kindElem :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

kindAppOp :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

kindAppFun :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

kindAppArg :: forall dom stage. Partial (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) (Ann UKind dom stage) Source #

contextAssertion :: forall dom stage dom' stage'. Lens (Ann UContext dom stage) (Ann UContext dom stage) (Ann UAssertion dom stage) (Ann UAssertion dom stage) Source #

innerAsserts :: forall dom stage. Partial (Ann UAssertion dom stage) (Ann UAssertion dom stage) (AnnListG UAssertion dom stage) (AnnListG UAssertion dom stage) Source #

assertTypes :: forall dom stage. Partial (Ann UAssertion dom stage) (Ann UAssertion dom stage) (AnnListG UType dom stage) (AnnListG UType dom stage) Source #

assertRhs :: forall dom stage. Partial (Ann UAssertion dom stage) (Ann UAssertion dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

assertOp :: forall dom stage. Partial (Ann UAssertion dom stage) (Ann UAssertion dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

assertLhs :: forall dom stage. Partial (Ann UAssertion dom stage) (Ann UAssertion dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

assertImplVar :: forall dom stage. Partial (Ann UAssertion dom stage) (Ann UAssertion dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

assertImplType :: forall dom stage. Partial (Ann UAssertion dom stage) (Ann UAssertion dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

assertClsName :: forall dom stage. Partial (Ann UAssertion dom stage) (Ann UAssertion dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

Expressions

tupleSectionElems :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UTupSecElem dom stage) (AnnListG UTupSecElem dom stage) Source #

tupleElems :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UExpr dom stage) (AnnListG UExpr dom stage) Source #

quotedName :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

procPattern :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

procExpr :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) Source #

listElems :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UExpr dom stage) (AnnListG UExpr dom stage) Source #

innerExpr :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprType :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

exprThen :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprSumPlaceholdersBefore :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UUnboxedSumPlaceHolder dom stage) (AnnListG UUnboxedSumPlaceHolder dom stage) Source #

exprSumPlaceholdersAfter :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UUnboxedSumPlaceHolder dom stage) (AnnListG UUnboxedSumPlaceHolder dom stage) Source #

exprStmts :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UStmt dom stage) (AnnListG UStmt dom stage) Source #

exprSplice :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann USplice dom stage) (Ann USplice dom stage) Source #

exprSig :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

exprRhs :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprRecName :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

exprRecFields :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UFieldUpdate dom stage) (AnnListG UFieldUpdate dom stage) Source #

exprQQ :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UQuasiQuote dom stage) (Ann UQuasiQuote dom stage) Source #

exprPragma :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExprPragma dom stage) (Ann UExprPragma dom stage) Source #

exprOperator :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

exprName :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

exprLit :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann ULiteral dom stage) (Ann ULiteral dom stage) Source #

exprLhs :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprInner :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprIfAlts :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UGuardedCaseRhs dom stage) (AnnListG UGuardedCaseRhs dom stage) Source #

exprFunBind :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG ULocalBind dom stage) (AnnListG ULocalBind dom stage) Source #

exprFun :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprElse :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprCond :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprCase :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprBracket :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UBracket dom stage) (Ann UBracket dom stage) Source #

exprBindings :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UPattern dom stage) (AnnListG UPattern dom stage) Source #

exprArg :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

exprAlts :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UAlt dom stage) (AnnListG UAlt dom stage) Source #

enumToFix :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

enumTo :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnMaybeG UExpr dom stage) (AnnMaybeG UExpr dom stage) Source #

enumThen :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnMaybeG UExpr dom stage) (AnnMaybeG UExpr dom stage) Source #

enumFrom :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

doKind :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UDoKind dom stage) (Ann UDoKind dom stage) Source #

compExpr :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

compBody :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (AnnListG UListCompBody dom stage) (AnnListG UListCompBody dom stage) Source #

arrowAppl :: forall dom stage. Partial (Ann UExpr dom stage) (Ann UExpr dom stage) (Ann UArrowAppl dom stage) (Ann UArrowAppl dom stage) Source #

altRhs :: forall expr dom stage expr'. Lens (Ann (UAlt' expr) dom stage) (Ann (UAlt' expr) dom stage) (Ann (UCaseRhs' expr) dom stage) (Ann (UCaseRhs' expr) dom stage) Source #

altPattern :: forall expr dom stage. Lens (Ann (UAlt' expr) dom stage) (Ann (UAlt' expr) dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

altBinds :: forall expr dom stage. Lens (Ann (UAlt' expr) dom stage) (Ann (UAlt' expr) dom stage) (AnnMaybeG ULocalBinds dom stage) (AnnMaybeG ULocalBinds dom stage) Source #

fieldWildcard :: forall dom stage. Partial (Ann UFieldUpdate dom stage) (Ann UFieldUpdate dom stage) (Ann UFieldWildcard dom stage) (Ann UFieldWildcard dom stage) Source #

fieldValue :: forall dom stage. Partial (Ann UFieldUpdate dom stage) (Ann UFieldUpdate dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

fieldUpdateName :: forall dom stage. Partial (Ann UFieldUpdate dom stage) (Ann UFieldUpdate dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

fieldName :: forall dom stage. Partial (Ann UFieldUpdate dom stage) (Ann UFieldUpdate dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

tupSecExpr :: forall dom stage dom' stage'. Partial (Ann UTupSecElem dom stage) (Ann UTupSecElem dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

pragmaStr :: forall dom stage. Partial (Ann UExprPragma dom stage) (Ann UExprPragma dom stage) (Ann UStringNode dom stage) (Ann UStringNode dom stage) Source #

pragmaSrcRange :: forall dom stage. Partial (Ann UExprPragma dom stage) (Ann UExprPragma dom stage) (Ann USourceRange dom stage) (Ann USourceRange dom stage) Source #

rhsCaseGuards :: forall expr dom stage. Partial (Ann (UCaseRhs' expr) dom stage) (Ann (UCaseRhs' expr) dom stage) (AnnListG (UGuardedCaseRhs' expr) dom stage) (AnnListG (UGuardedCaseRhs' expr) dom stage) Source #

rhsCaseExpr :: forall expr dom stage. Partial (Ann (UCaseRhs' expr) dom stage) (Ann (UCaseRhs' expr) dom stage) (Ann expr dom stage) (Ann expr dom stage) Source #

caseGuardStmts :: forall expr dom stage. Lens (Ann (UGuardedCaseRhs' expr) dom stage) (Ann (UGuardedCaseRhs' expr) dom stage) (AnnListG URhsGuard dom stage) (AnnListG URhsGuard dom stage) Source #

caseGuardExpr :: forall expr dom stage expr'. Lens (Ann (UGuardedCaseRhs' expr) dom stage) (Ann (UGuardedCaseRhs' expr) dom stage) (Ann expr dom stage) (Ann expr dom stage) Source #

Statements

stmtPattern :: forall expr dom stage. Partial (Ann (UStmt' expr) dom stage) (Ann (UStmt' expr) dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

stmtExpr :: forall expr dom stage. Partial (Ann (UStmt' expr) dom stage) (Ann (UStmt' expr) dom stage) (Ann expr dom stage) (Ann expr dom stage) Source #

stmtBinds :: forall expr dom stage. Partial (Ann (UStmt' expr) dom stage) (Ann (UStmt' expr) dom stage) (AnnListG ULocalBind dom stage) (AnnListG ULocalBind dom stage) Source #

cmdStmtBinds :: forall expr dom stage. Partial (Ann (UStmt' expr) dom stage) (Ann (UStmt' expr) dom stage) (AnnListG (UStmt' expr) dom stage) (AnnListG (UStmt' expr) dom stage) Source #

usingExpr :: forall dom stage. Partial (Ann UCompStmt dom stage) (Ann UCompStmt dom stage) (AnnMaybeG UExpr dom stage) (AnnMaybeG UExpr dom stage) Source #

thenExpr :: forall dom stage. Partial (Ann UCompStmt dom stage) (Ann UCompStmt dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

compStmt :: forall dom stage. Partial (Ann UCompStmt dom stage) (Ann UCompStmt dom stage) (Ann UStmt dom stage) (Ann UStmt dom stage) Source #

byExpr :: forall dom stage. Partial (Ann UCompStmt dom stage) (Ann UCompStmt dom stage) (AnnMaybeG UExpr dom stage) (AnnMaybeG UExpr dom stage) Source #

compStmts :: forall dom stage dom' stage'. Lens (Ann UListCompBody dom stage) (Ann UListCompBody dom stage) (AnnListG UCompStmt dom stage) (AnnListG UCompStmt dom stage) Source #

cmdThen :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) Source #

cmdStmts :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (AnnListG UCmdStmt dom stage) (AnnListG UCmdStmt dom stage) Source #

cmdRightCmd :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) Source #

cmdRhs :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

cmdOperator :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

cmdLhs :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

cmdLeftCmd :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) Source #

cmdInnerCmds :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (AnnListG UCmd dom stage) (AnnListG UCmd dom stage) Source #

cmdInnerCmd :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) Source #

cmdInner :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) Source #

cmdExpr :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

cmdElse :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UCmd dom stage) Source #

cmdBinds :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (AnnListG ULocalBind dom stage) (AnnListG ULocalBind dom stage) Source #

cmdBindings :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (AnnListG UPattern dom stage) (AnnListG UPattern dom stage) Source #

cmdArrowOp :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UArrowAppl dom stage) (Ann UArrowAppl dom stage) Source #

cmdApplied :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

cmdAlts :: forall dom stage. Partial (Ann UCmd dom stage) (Ann UCmd dom stage) (AnnListG UCmdAlt dom stage) (AnnListG UCmdAlt dom stage) Source #

Patterns

patternType :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

patternSplice :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann USplice dom stage) (Ann USplice dom stage) Source #

patternRhs :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

patternOperator :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UOperator dom stage) (Ann UOperator dom stage) Source #

patternName :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

patternLiteral :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann ULiteral dom stage) (Ann ULiteral dom stage) Source #

patternLit :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann ULiteral dom stage) (Ann ULiteral dom stage) Source #

patternLhs :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

patternInner :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

patternFields :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (AnnListG UPatternField dom stage) (AnnListG UPatternField dom stage) Source #

patternExpr :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

patternElems :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (AnnListG UPattern dom stage) (AnnListG UPattern dom stage) Source #

patternArgs :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (AnnListG UPattern dom stage) (AnnListG UPattern dom stage) Source #

patQQ :: forall dom stage. Partial (Ann UPattern dom stage) (Ann UPattern dom stage) (Ann UQuasiQuote dom stage) (Ann UQuasiQuote dom stage) Source #

fieldPatternWildcard :: forall dom stage. Partial (Ann UPatternField dom stage) (Ann UPatternField dom stage) (Ann UFieldWildcard dom stage) (Ann UFieldWildcard dom stage) Source #

fieldPatternName :: forall dom stage. Partial (Ann UPatternField dom stage) (Ann UPatternField dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

fieldPattern :: forall dom stage. Partial (Ann UPatternField dom stage) (Ann UPatternField dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

Template Haskell

spliceId :: forall dom stage. Partial (Ann USplice dom stage) (Ann USplice dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

spliceExpr :: forall dom stage. Partial (Ann USplice dom stage) (Ann USplice dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

qqExprName :: forall dom stage. Lens (Ann UQuasiQuote dom stage) (Ann UQuasiQuote dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

qqExprBody :: forall dom stage. Lens (Ann UQuasiQuote dom stage) (Ann UQuasiQuote dom stage) (Ann QQString dom stage) (Ann QQString dom stage) Source #

qqString :: forall dom stage. Lens (Ann QQString dom stage) (Ann QQString dom stage) String String Source #

bracketType :: forall dom stage. Partial (Ann UBracket dom stage) (Ann UBracket dom stage) (Ann UType dom stage) (Ann UType dom stage) Source #

bracketPattern :: forall dom stage. Partial (Ann UBracket dom stage) (Ann UBracket dom stage) (Ann UPattern dom stage) (Ann UPattern dom stage) Source #

bracketExpr :: forall dom stage. Partial (Ann UBracket dom stage) (Ann UBracket dom stage) (Ann UExpr dom stage) (Ann UExpr dom stage) Source #

bracketDecl :: forall dom stage. Partial (Ann UBracket dom stage) (Ann UBracket dom stage) (AnnListG UDecl dom stage) (AnnListG UDecl dom stage) Source #

Literals

stringLitValue :: forall dom stage. Partial (Ann ULiteral dom stage) (Ann ULiteral dom stage) String String Source #

intLitValue :: forall dom stage. Partial (Ann ULiteral dom stage) (Ann ULiteral dom stage) Integer Integer Source #

fracLitValue :: forall dom stage. Partial (Ann ULiteral dom stage) (Ann ULiteral dom stage) Rational Rational Source #

floatLitValue :: forall dom stage. Partial (Ann ULiteral dom stage) (Ann ULiteral dom stage) Rational Rational Source #

charLitValue :: forall dom stage. Partial (Ann ULiteral dom stage) (Ann ULiteral dom stage) Char Char Source #

promotedStringValue :: forall t dom stage. Partial (Ann (UPromoted t) dom stage) (Ann (UPromoted t) dom stage) String String Source #

promotedIntValue :: forall t dom stage. Partial (Ann (UPromoted t) dom stage) (Ann (UPromoted t) dom stage) Integer Integer Source #

promotedElements :: forall t dom stage t'. Partial (Ann (UPromoted t) dom stage) (Ann (UPromoted t) dom stage) (AnnListG t dom stage) (AnnListG t dom stage) Source #

promotedConName :: forall t dom stage. Partial (Ann (UPromoted t) dom stage) (Ann (UPromoted t) dom stage) (Ann UName dom stage) (Ann UName dom stage) Source #

Names

operatorName :: forall dom stage dom' stage'. Lens (Ann UOperator dom stage) (Ann UOperator dom stage) (Ann UQualifiedName dom stage) (Ann UQualifiedName dom stage) Source #

simpleName :: forall dom stage dom' stage'. Lens (Ann UName dom stage) (Ann UName dom stage) (Ann UQualifiedName dom stage) (Ann UQualifiedName dom stage) Source #

unqualifiedName :: forall dom stage. Lens (Ann UQualifiedName dom stage) (Ann UQualifiedName dom stage) (Ann UNamePart dom stage) (Ann UNamePart dom stage) Source #

qualifiers :: forall dom stage. Lens (Ann UQualifiedName dom stage) (Ann UQualifiedName dom stage) (AnnListG UNamePart dom stage) (AnnListG UNamePart dom stage) Source #

simpleNameStr :: forall dom stage. Lens (Ann UNamePart dom stage) (Ann UNamePart dom stage) String String Source #

stringNodeStr :: forall dom stage. Lens (Ann UStringNode dom stage) (Ann UStringNode dom stage) String String Source #