helium-1.8: The Helium Compiler.

Safe Haskell	None

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 getConstraintSet :: ConstraintSet getAssumptions :: Assumptions getLocalInfo :: LocalInfo

metaVarInfo :: ConstraintSet -> Assumptions -> LocalInfo -> MetaVariableInfo Source

getMaybeType :: MetaVariableInfo -> Maybe Tp Source

getType :: MetaVariableInfo -> Tp Source

getRange :: MetaVariableInfo -> Range Source

getOneLineTree :: MetaVariableInfo -> OneLineTree Source

type AttributeTable = [(String, MetaVariableInfo -> MessageBlock)]Source

data Attribute Source

Constructors

LocalAttribute String
MetaVarAttribute String String

Instances

Eq Attribute
Show Attribute

parseWithAttributes :: String -> [Either Attribute String]Source

findAttributes :: String -> [Attribute]Source

changeAttributes :: (Attribute -> Attribute) -> String -> String 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