copilot-c99-0.2.3: A compiler for Copilot targeting C99.

Copilot.Compile.C99.MetaTable

Documentation

data StreamInfo Source

Constructors

forall a . StreamInfo 

Fields

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

data ExternInfo Source

Constructors

forall a . ExternInfo 

Fields

externInfoVar :: V a
 
externInfoType :: Type a
 

data ExternArrayInfo Source

Constructors

forall a b . Integral a => ExternArrayInfo 

Fields

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

data ExternFunInfo Source

Constructors

forall a . ExternFunInfo 

Fields

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

type StreamInfoMap = Map Id StreamInfoSource

type ExternInfoMap = Map Name ExternInfoSource

type ExternFunInfoMap = Map (Name, Tag) ExternFunInfoSource

data MetaTable Source

Constructors

MetaTable 

Fields

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

allocMetaTable :: Spec -> Atom MetaTableSource