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

Safe HaskellNone

Feldspar.Core.Constructs.Mutable

Documentation

data Mutable a whereSource

Constructors

Run :: Type a => Mutable (Mut a :-> Full a) 

Instances

Semantic Mutable 
StringTree Mutable 
Render Mutable 
Eval Mutable 
Equality Mutable 
Typed Mutable 
EvalBind Mutable 
Monotonic Mutable 
SizeProp Mutable 
Sharable Mutable 
(:<: Mutable dom, :<: (MONAD Mut) dom, OptimizeSuper dom) => Optimize Mutable dom 
AlphaEq dom dom dom env => AlphaEq Mutable Mutable dom env 

monadProxy :: P MutSource