Copilot.Compile.C99.MetaTable

Documentation

data StreamInfo

Constructors

StreamInfo

Fields

• streamInfoQueue :: Queue a
• streamInfoTempVar :: V a
• streamInfoType :: Type a

data ExternInfo

Constructors

ExternInfo

Fields

• externInfoVar :: V a
• externInfoType :: Type a

data ExternArrayInfo

Constructors

Integral a => ExternArrayInfo

Fields

• externArrayInfoVar :: V b
• externArrayInfoIdxExpr :: Expr a
• externArrayInfoIdxType :: Type a
• externArrayInfoElemType :: Type b

data ExternFunInfo

Constructors

ExternFunInfo

Fields

• externFunInfoArgs :: [UExpr]
• externFunInfoVar :: V a
• externFunInfoType :: Type a

type StreamInfoMap = Map Id StreamInfo

type ExternInfoMap = Map Name ExternInfo

type ExternFunInfoMap = Map (Name, Tag) ExternFunInfo

data MetaTable

Constructors

MetaTable

Fields

• streamInfoMap :: StreamInfoMap
• externInfoMap :: ExternInfoMap
• externArrayInfoMap :: ExternArrayInfoMap
• externFunInfoMap :: ExternFunInfoMap

allocMetaTable :: Spec -> Atom MetaTable