helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

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

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