Feldspar.Core.Constructs.FFI

Documentation

data FFI a where

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