| Safe Haskell | None |
|---|
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
| Semantic MutableToPure | |
| StringTree MutableToPure | |
| Render MutableToPure | |
| Eval MutableToPure | |
| Equality MutableToPure | |
| Typed MutableToPure | |
| EvalBind 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 |