Copilot.Compile.C99.MetaTable

Documentation

data StreamInfo

Constructors

forall a . StreamInfo

Fields

streamInfoQueue :: Queue a

streamInfoTempVar :: V a

streamInfoType :: Type a

data ExternInfo

Constructors

forall a . ExternInfo

Fields

externInfoVar :: V a

externInfoType :: Type a

data ExternArrayInfo

Constructors

forall a b . Integral a => ExternArrayInfo

Fields

externArrayInfoVar :: V b

externArrayInfoIdxExpr :: Expr a

externArrayInfoIdxType :: Type a

externArrayInfoElemType :: Type b

data ExternFunInfo

Constructors

forall a . 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