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

Safe HaskellSafe

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
 

externVars :: Spec -> [ExtVar]Source

externArrays :: Spec -> [ExtArray]Source

externFuns :: Spec -> [ExtFun]Source