Copilot.Compile.SBV.MetaTable

Documentation

type StreamInfoMap = Map Id Stream

type ExternVarInfoMap = Map Name ExtVar

type ExternArrInfoMap = Map Name ExtArray

type ExternFunInfoMap = Map Name 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

Queue Id

Instances

Eq Arg

c2Args :: Expr a -> [Arg]