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

Safe HaskellNone

Feldspar.Core.Constructs.Save

Documentation

data Save a whereSource

Constructors

Save :: Type a => Save (a :-> Full a) 

Instances

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