Safe Haskell | None |
---|---|
Language | Haskell98 |
Helium.StaticAnalysis.Directives.TS_Attributes
Description
(directives based on "Scripting the Type Inference Process", ICFP 2003)
Documentation
type MetaVariableTable = [(String, MetaVariableInfo)] Source
data MetaVariableInfo Source
Constructors
MetaVarInfo | |
Fields |
metaVarInfo :: ConstraintSet -> Assumptions -> LocalInfo -> MetaVariableInfo Source
getType :: MetaVariableInfo -> Tp Source
getRange :: MetaVariableInfo -> Range Source
type AttributeTable = [(String, MetaVariableInfo -> MessageBlock)] Source
Constructors
LocalAttribute String | |
MetaVarAttribute String String |
findAttributes :: String -> [Attribute] Source
substituteAttributes :: (Attribute -> MessageBlock) -> String -> MessageBlock Source
toMessageBlock :: [(String, MessageBlock)] -> MetaVariableInfo -> MetaVariableTable -> Attribute -> MessageBlock Source
findAttributeField :: String -> String -> MetaVariableInfo -> MessageBlock Source
attributeFieldTable :: [(String, MetaVariableInfo -> MessageBlock)] Source