Copilot.Compile.SBV.MetaTable

Documentation

type StreamInfoMap = Map Id Stream

type ExternVarInfoMap = Map Name ExtVar

type ExternArrInfoMap = Map Tag ExtArray

type ExternFunInfoMap = Map Tag ExtFun

data TriggerInfo

Constructors

TriggerInfo

Fields

• guardArgs :: [String]
• triggerArgArgs :: [[String]]

type TriggerInfoMap = Map Name TriggerInfo

data ObserverInfo

Constructors

ObserverInfo

Fields

• observerArgs :: [String]

type ObserverInfoMap = Map Name ObserverInfo

data MetaTable

Constructors

MetaTable

Fields

• streamInfoMap :: StreamInfoMap
• externVarInfoMap :: ExternVarInfoMap
• externArrInfoMap :: ExternArrInfoMap
• externFunInfoMap :: ExternFunInfoMap
• triggerInfoMap :: TriggerInfoMap
• observerInfoMap :: ObserverInfoMap

allocMetaTable :: Spec -> MetaTable

collectArgs :: Expr a -> [String]

data Arg

Constructors

Extern Name

ExternFun Name Tag

ExternArr Name Tag

Queue Id

Instances

Eq Arg

Methods

(==) :: Arg -> Arg -> Bool

(/=) :: Arg -> Arg -> Bool

c2Args :: Expr a -> [Arg]