hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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