| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.MutableToPure
Documentation
data MutableToPure a where Source
Constructors
| RunMutableArray :: Type a => MutableToPure (Mut (MArr a) :-> Full [a]) | |
| WithArray :: Type b => MutableToPure (MArr a :-> (([a] -> Mut b) :-> Full (Mut b))) |
Instances
| EvalBind MutableToPure | |
| Semantic MutableToPure | |
| Eval MutableToPure | |
| Render MutableToPure | |
| StringTree MutableToPure | |
| Equality MutableToPure | |
| Typed MutableToPure | |
| Monotonic MutableToPure | |
| SizeProp MutableToPure | |
| Sharable MutableToPure | |
| ((:<:) MutableToPure dom, Optimize dom dom) => Optimize MutableToPure dom | |
| AlphaEq dom dom dom env => AlphaEq MutableToPure MutableToPure dom env |