| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.MutableReference
Documentation
data MutableReference a where Source
Constructors
| NewRef :: Type a => MutableReference (a :-> Full (Mut (IORef a))) | |
| GetRef :: Type a => MutableReference (IORef a :-> Full (Mut a)) | |
| SetRef :: Type a => MutableReference (IORef a :-> (a :-> Full (Mut ()))) | |
| ModRef :: Type a => MutableReference (IORef a :-> ((a -> a) :-> Full (Mut ()))) |
Instances
| EvalBind MutableReference | |
| Semantic MutableReference | |
| Eval MutableReference | |
| Render MutableReference | |
| StringTree MutableReference | |
| Equality MutableReference | |
| Monotonic MutableReference | |
| SizeProp MutableReference | |
| Sharable MutableReference | |
| ((:<:) MutableReference dom, (:<:) (MONAD Mut) dom, Project (CLambda Type) dom, Project ((:||) Variable Type) dom, OptimizeSuper dom) => Optimize MutableReference dom | |
| AlphaEq dom dom dom env => AlphaEq MutableReference MutableReference dom env |