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

Safe Haskell	Trustworthy
Language	Haskell2010

Copilot.Core.External

Documentation

data ExtVar Source #

Constructors

ExtVar
Fields externVarName :: Name externVarType :: UType

data ExtFun Source #

Constructors

Typeable a => ExtFun
Fields externFunName :: Name externFunType :: Type a externFunArgs :: [UExpr] externFunTag :: Maybe Tag

externVars :: Spec -> [ExtVar] Source #

externFuns :: Spec -> [ExtFun] Source #