Copilot.Core.External

Documentation

data ExtVar

Constructors

ExtVar

Fields

• externVarName :: Name
• externVarType :: UType

data ExtArray

Constructors

Integral a => ExtArray

Fields

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

data ExtFun

Constructors

ExtFun

Fields

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

data ExtStruct

Constructors

ExtStruct

Fields

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

externVars :: Spec -> [ExtVar]

externArrays :: Spec -> [ExtArray]

externFuns :: Spec -> [ExtFun]

externStructs :: Spec -> [ExtStruct]