Copilot.Compile.SBV.MetaTable

Documentation

data StreamInfo

Constructors

forall a . StreamInfo

Fields

streamInfoQueue :: [a]

streamInfoType :: Type a

type StreamInfoMap = Map Id StreamInfo

type ExternInfoMap = Map Name UType

data ExternFunInfo

Constructors

forall a . ExternFunInfo

Fields

externFunInfoArgs :: [(UType, UExpr)]

externFunInfoType :: Type a

type ExternFunInfoMap = Map Name ExternFunInfo

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

externInfoMap :: ExternInfoMap

externFunInfoMap :: ExternFunInfoMap

triggerInfoMap :: TriggerInfoMap

observerInfoMap :: ObserverInfoMap

allocMetaTable :: Spec -> MetaTable

argToCall :: Arg -> [String]

data Arg

Constructors

Extern Name

ExternFun Name

ExternArr Name

Queue Id

Instances

Eq Arg

c2Args :: Expr a -> [Arg]