hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.Hatchet.AnnotatedHsSyn
Synopsis
data ASrcLoc = ASrcLoc Int Int
newtype AModule = AModule String
data AHsName
= AQual AModule AHsIdentifier
| AUnQual AHsIdentifier
data AHsName
= AQual AModule AHsIdentifier
| AUnQual AHsIdentifier
data AHsModule = AHsModule AModule (Maybe [AHsExportSpec]) [AHsImportDecl] [AHsDecl]
data AHsExportSpec
= AHsEVar AHsName
| AHsEAbs AHsName
| AHsEThingAll AHsName
| AHsEThingWith AHsName [AHsName]
| AHsEModuleContents AModule
data AHsImportDecl = AHsImportDecl ASrcLoc AModule Bool (Maybe AModule) (Maybe (Bool, [AHsImportSpec]))
data AHsImportSpec
= AHsIVar AHsName
| AHsIAbs AHsName
| AHsIThingAll AHsName
| AHsIThingWith AHsName [AHsName]
data AHsAssoc
= AHsAssocNone
| AHsAssocLeft
| AHsAssocRight
data AHsDecl
= AHsTypeDecl ASrcLoc AHsName [AHsName] AHsType
| AHsDataDecl ASrcLoc AHsContext AHsName [AHsName] [AHsConDecl] [AHsName]
| AHsInfixDecl ASrcLoc AHsAssoc Int [AHsName]
| AHsNewTypeDecl ASrcLoc AHsContext AHsName [AHsName] AHsConDecl [AHsName]
| AHsClassDecl ASrcLoc AHsQualType [AHsDecl]
| AHsInstDecl ASrcLoc AHsQualType [AHsDecl]
| AHsDefaultDecl ASrcLoc AHsType
| AHsTypeSig ASrcLoc [AHsName] AHsQualType
| AHsFunBind [AHsMatch]
| AHsPatBind ASrcLoc AHsPat AHsRhs [AHsDecl]
| AHsAxiomBind AAxBinding
data AHsMatch = AHsMatch ASrcLoc AHsName [AHsPat] AHsRhs [AHsDecl]
data AHsConDecl
= AHsConDecl ASrcLoc AHsName [AHsBangType]
| AHsRecDecl ASrcLoc AHsName [([AHsName], AHsBangType)]
data AHsBangType
= AHsBangedTy AHsType
| AHsUnBangedTy AHsType
data AHsRhs
= AHsUnGuardedRhs AHsExp
| AHsGuardedRhss [AHsGuardedRhs]
data AHsGuardedRhs = AHsGuardedRhs ASrcLoc AHsExp AHsExp
data AHsQualType
= AHsQualType AHsContext AHsType
| AHsUnQualType AHsType
data AHsType
= AHsTyFun AHsType AHsType
| AHsTyTuple [AHsType]
| AHsTyApp AHsType AHsType
| AHsTyVar AHsName
| AHsTyCon AHsName
type AHsContext = [AHsAsst]
type AHsAsst = (AHsName, AHsName)
data AHsLiteral
= AHsInt Integer
| AHsChar Char
| AHsString String
| AHsFrac Rational
| AHsCharPrim Char
| AHsStringPrim String
| AHsIntPrim Integer
| AHsFloatPrim Rational
| AHsDoublePrim Rational
| AHsLitLit String
data AHsExp
= AHsVar AHsName
| AHsCon AHsName
| AHsLit AHsLiteral
| AHsInfixApp AHsExp AHsExp AHsExp
| AHsApp AHsExp AHsExp
| AHsNegApp AHsExp
| AHsLambda ASrcLoc [AHsPat] AHsExp
| AHsLet [AHsDecl] AHsExp
| AHsIf AHsExp AHsExp AHsExp
| AHsCase AHsExp [AHsAlt]
| AHsDo [AHsStmt]
| AHsTuple [AHsExp]
| AHsList [AHsExp]
| AHsParen AHsExp
| AHsLeftSection AHsExp AHsExp
| AHsRightSection AHsExp AHsExp
| AHsRecConstr AHsName [AHsFieldUpdate]
| AHsRecUpdate AHsExp [AHsFieldUpdate]
| AHsEnumFrom AHsExp
| AHsEnumFromTo AHsExp AHsExp
| AHsEnumFromThen AHsExp AHsExp
| AHsEnumFromThenTo AHsExp AHsExp AHsExp
| AHsListComp AHsExp [AHsStmt]
| AHsExpTypeSig ASrcLoc AHsExp AHsQualType
| AHsAsPat AHsName AHsExp
| AHsWildCard
| AHsIrrPat AHsExp
data AHsPat
= AHsPVar AHsName
| AHsPLit AHsLiteral
| AHsPNeg AHsPat
| AHsPInfixApp AHsPat AHsName AHsPat
| AHsPApp AHsName [AHsPat]
| AHsPTuple [AHsPat]
| AHsPList [AHsPat]
| AHsPParen AHsPat
| AHsPRec AHsName [AHsPatField]
| AHsPAsPat AHsName AHsPat
| AHsPWildCard
| AHsPIrrPat AHsPat
data AHsPatField = AHsPFieldPat AHsName AHsPat
data AHsStmt
= AHsGenerator ASrcLoc AHsPat AHsExp
| AHsQualifier AHsExp
| AHsLetStmt [AHsDecl]
data AHsFieldUpdate = AHsFieldUpdate AHsName AHsExp
data AHsAlt = AHsAlt ASrcLoc AHsPat AHsGuardedAlts [AHsDecl]
data AHsGuardedAlts
= AHsUnGuardedAlt AHsExp
| AHsGuardedAlts [AHsGuardedAlt]
data AHsGuardedAlt = AHsGuardedAlt ASrcLoc AHsExp AHsExp
data AHsIdentifier
= AHsIdent String
| AHsSymbol String
| AHsSpecial String
data AAxBinding
= AAndBindings AAxBinding AAxBinding
| AAxiomDecl AAxiomName AFormula
data AAxiomBndr
= AAxiomBndr AHsName
| AAxiomBndrSig AHsName AHsQualType
data AQuantifier
= AAxForall [AAxiomBndr]
| AAxExists [AAxiomBndr]
| AAxExistsOne [AAxiomBndr]
data AFormula
= AAxQuant AQuantifier AFormula
| AAxEq AFormula AHsExp ASrcLoc
| AAxExp AHsExp
Produced by Haddock version 0.6