hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.HsSyn
Synopsis
data
SrcLoc
=
SrcLoc
Int
Int
newtype
Module
=
Module
String
data
HsQName
=
Qual
Module
HsName
|
UnQual
HsName
data
HsName
=
HsIdent
String
|
HsSymbol
String
|
HsSpecial
String
data
HsModule
=
HsModule
Module
(
Maybe
[
HsExportSpec
]) [
HsImportDecl
] [
HsDecl
]
data
HsExportSpec
=
HsEVar
HsQName
|
HsEAbs
HsQName
|
HsEThingAll
HsQName
|
HsEThingWith
HsQName
[
HsQName
]
|
HsEModuleContents
Module
data
HsImportDecl
=
HsImportDecl
SrcLoc
Module
Bool
(
Maybe
Module
) (
Maybe
(
Bool
, [
HsImportSpec
]))
data
HsImportSpec
=
HsIVar
HsName
|
HsIAbs
HsName
|
HsIThingAll
HsName
|
HsIThingWith
HsName
[
HsName
]
data
HsAssoc
=
HsAssocNone
|
HsAssocLeft
|
HsAssocRight
data
HsDecl
=
HsTypeDecl
SrcLoc
HsName
[
HsName
]
HsType
|
HsDataDecl
SrcLoc
HsContext
HsName
[
HsName
] [
HsConDecl
] [
HsQName
]
|
HsInfixDecl
SrcLoc
HsAssoc
Int
[
HsName
]
|
HsNewTypeDecl
SrcLoc
HsContext
HsName
[
HsName
]
HsConDecl
[
HsQName
]
|
HsClassDecl
SrcLoc
HsQualType
[
HsDecl
]
|
HsInstDecl
SrcLoc
HsQualType
[
HsDecl
]
|
HsDefaultDecl
SrcLoc
HsType
|
HsTypeSig
SrcLoc
[
HsName
]
HsQualType
|
HsFunBind
[
HsMatch
]
|
HsPatBind
SrcLoc
HsPat
HsRhs
[
HsDecl
]
|
HsAxiomBind
AxBinding
data
HsMatch
=
HsMatch
SrcLoc
HsQName
[
HsPat
]
HsRhs
[
HsDecl
]
data
HsConDecl
=
HsConDecl
SrcLoc
HsName
[
HsBangType
]
|
HsRecDecl
SrcLoc
HsName
[([
HsName
],
HsBangType
)]
data
HsBangType
=
HsBangedTy
HsType
|
HsUnBangedTy
HsType
data
HsRhs
=
HsUnGuardedRhs
HsExp
|
HsGuardedRhss
[
HsGuardedRhs
]
data
HsGuardedRhs
=
HsGuardedRhs
SrcLoc
HsExp
HsExp
data
HsQualType
=
HsQualType
HsContext
HsType
|
HsUnQualType
HsType
data
HsType
=
HsTyFun
HsType
HsType
|
HsTyTuple
[
HsType
]
|
HsTyApp
HsType
HsType
|
HsTyVar
HsName
|
HsTyCon
HsQName
type
HsContext
= [
HsAsst
]
type
HsAsst
= (
HsQName
, [
HsType
])
data
HsLiteral
=
HsInt
Integer
|
HsChar
Char
|
HsString
String
|
HsFrac
Rational
|
HsCharPrim
Char
|
HsStringPrim
String
|
HsIntPrim
Integer
|
HsFloatPrim
Rational
|
HsDoublePrim
Rational
|
HsLitLit
String
data
HsExp
=
HsVar
HsQName
|
HsCon
HsQName
|
HsLit
HsLiteral
|
HsInfixApp
HsExp
HsExp
HsExp
|
HsApp
HsExp
HsExp
|
HsNegApp
HsExp
|
HsLambda
SrcLoc
[
HsPat
]
HsExp
|
HsLet
[
HsDecl
]
HsExp
|
HsIf
HsExp
HsExp
HsExp
|
HsCase
HsExp
[
HsAlt
]
|
HsDo
[
HsStmt
]
|
HsTuple
[
HsExp
]
|
HsList
[
HsExp
]
|
HsParen
HsExp
|
HsLeftSection
HsExp
HsExp
|
HsRightSection
HsExp
HsExp
|
HsRecConstr
HsQName
[
HsFieldUpdate
]
|
HsRecUpdate
HsExp
[
HsFieldUpdate
]
|
HsEnumFrom
HsExp
|
HsEnumFromTo
HsExp
HsExp
|
HsEnumFromThen
HsExp
HsExp
|
HsEnumFromThenTo
HsExp
HsExp
HsExp
|
HsListComp
HsExp
[
HsStmt
]
|
HsExpTypeSig
SrcLoc
HsExp
HsQualType
|
HsAsPat
HsName
HsExp
|
HsWildCard
|
HsIrrPat
HsExp
data
HsPat
=
HsPVar
HsName
|
HsPLit
HsLiteral
|
HsPNeg
HsPat
|
HsPInfixApp
HsPat
HsQName
HsPat
|
HsPApp
HsQName
[
HsPat
]
|
HsPTuple
[
HsPat
]
|
HsPList
[
HsPat
]
|
HsPParen
HsPat
|
HsPRec
HsQName
[
HsPatField
]
|
HsPAsPat
HsName
HsPat
|
HsPWildCard
|
HsPIrrPat
HsPat
data
HsPatField
=
HsPFieldPat
HsQName
HsPat
data
HsStmt
=
HsGenerator
SrcLoc
HsPat
HsExp
|
HsQualifier
HsExp
|
HsLetStmt
[
HsDecl
]
data
HsFieldUpdate
=
HsFieldUpdate
HsQName
HsExp
data
HsAlt
=
HsAlt
SrcLoc
HsPat
HsGuardedAlts
[
HsDecl
]
data
HsGuardedAlts
=
HsUnGuardedAlt
HsExp
|
HsGuardedAlts
[
HsGuardedAlt
]
data
HsGuardedAlt
=
HsGuardedAlt
SrcLoc
HsExp
HsExp
data
AxBinding
=
AndBindings
AxBinding
AxBinding
|
AxiomDecl
AxiomName
Formula
data
AxiomBndr
=
AxiomBndr
HsName
|
AxiomBndrSig
HsName
HsQualType
data
Quantifier
=
AxForall
[
AxiomBndr
]
|
AxExists
[
AxiomBndr
]
|
AxExistsOne
[
AxiomBndr
]
data
Formula
=
AxQuant
Quantifier
Formula
|
AxEq
Formula
HsExp
SrcLoc
|
AxExp
HsExp
type
AxiomName
=
String
Produced by
Haddock
version 0.6