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

Safe Haskell	None
Language	Haskell2010

Feldspar.Core.Constructs.FFI

Documentation

data FFI a where Source

Constructors

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

Instances

EvalBind FFI
Semantic FFI
Eval FFI
Render FFI
StringTree FFI
Equality 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