Safe Haskell | Safe-Infered |
---|
Copilot.Core.External
Documentation
Constructors
ExtVar | |
Fields
|
Constructors
forall a b . Integral a => ExtArray | |
Fields
|
Constructors
forall a . ExtFun | |
Fields
|
externVars :: Spec -> [ExtVar]Source
externArrays :: Spec -> [ExtArray]Source
externFuns :: Spec -> [ExtFun]Source