 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
HasCASL.Le | Portability | portable | Stability | experimental | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
abstract syntax during static analysis
|
|
Synopsis |
|
|
|
Documentation |
|
data ClassInfo |
|
|
type ClassMap = Map ClassId ClassInfo |
|
data GenKind |
|
|
data AltDefn |
|
|
data Selector |
|
|
data TypeDefn |
|
|
data TypeInfo |
|
|
isTypeVarDefn :: TypeInfo -> Bool |
|
type TypeMap = Map TypeId TypeInfo |
|
data OpInfo |
|
|
data ConstrInfo |
|
|
data OpDefn |
|
|
isVarDefn :: OpInfo -> Bool |
|
data OpInfos |
|
|
type Assumps = Map UninstOpId OpInfos |
|
type PrecMap = (Map Id Int, Int, Int) |
|
data Env |
|
|
initialEnv :: Env |
|
addDiags :: [Diagnosis] -> State Env () |
add diagnostic messages |
|
Produced by Haddock version 0.6 |