copilot-core-2.2.0: An intermediate representation for Copilot.

Safe HaskellTrustworthy
LanguageHaskell2010

Copilot.Core.External

Documentation

data ExtVar Source

Constructors

ExtVar 

Fields

externVarName :: Name
 
externVarType :: UType
 

data ExtArray Source

Constructors

forall a b . Integral a => ExtArray 

Fields

externArrayName :: Name
 
externArrayElemType :: Type b
 
externArrayIdx :: Expr a
 
externArrayIdxType :: Type a
 
externArraySize :: Int
 
externArrayTag :: Maybe Tag
 

data ExtFun Source

Constructors

forall a . ExtFun 

Fields

externFunName :: Name
 
externFunType :: Type a
 
externFunArgs :: [UExpr]
 
externFunTag :: Maybe Tag
 

data ExtStruct Source

Constructors

ExtStruct 

Fields

externStructName :: Name
 
externStructArgs :: [(Name, UExpr)]
 
externStructTag :: Maybe Tag
 

externVars :: Spec -> [ExtVar] Source

externArrays :: Spec -> [ExtArray] Source

externFuns :: Spec -> [ExtFun] Source

externStructs :: Spec -> [ExtStruct] Source