Copilot.Core.External

Documentation

data ExtVar

Constructors

ExtVar

Fields

externVarName :: Name

externVarType :: UType

data ExtArray

Constructors

forall a b . Integral a => ExtArray

Fields

externArrayName :: Name

externArrayElemType :: Type b

externArrayIdx :: Expr a

externArrayIdxType :: Type a

externArrayTag :: Maybe Tag

data ExtFun

Constructors

forall a . ExtFun

Fields

externFunName :: Name

externFunType :: Type a

externFunArgs :: [UExpr]

externFunTag :: Maybe Tag

externVars :: Spec -> [ExtVar]

externArrays :: Spec -> [ExtArray]

externFuns :: Spec -> [ExtFun]