feldspar-language-0.7: A functional embedded language for DSP and parallelism

Safe HaskellNone

Feldspar.Core.Constructs.FFI

Documentation

data FFI a whereSource

Constructors

ForeignImport :: Type (DenResult a) => String -> Denotation a -> FFI a 

Instances

Semantic FFI 
StringTree FFI 
Render FFI 
Eval FFI 
Equality FFI 
EvalBind FFI 
Monotonic FFI 
Sharable FFI 
AlphaEq dom dom dom env => AlphaEq FFI FFI dom env 
SizeProp (:|| FFI Type) 
(:<: (:|| FFI Type) dom, OptimizeSuper dom) => Optimize (:|| FFI Type) dom