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

Safe HaskellNone

Feldspar.Core.Constructs.MutableToPure

Documentation

data MutableToPure a whereSource

Constructors

RunMutableArray :: Type a => MutableToPure (Mut (MArr a) :-> Full [a]) 
WithArray :: Type b => MutableToPure (MArr a :-> (([a] -> Mut b) :-> Full (Mut b))) 

Instances