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

Safe HaskellNone

Feldspar.Core.Constructs.Trace

Documentation

data Trace a whereSource

Constructors

Trace :: Type a => Trace (IntN :-> (a :-> Full a)) 

Instances

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