| Safe Haskell | None |
|---|
Feldspar.Core.Constructs.MutableReference
Documentation
data MutableReference a whereSource
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
| Semantic MutableReference | |
| StringTree MutableReference | |
| Render MutableReference | |
| Eval MutableReference | |
| Equality MutableReference | |
| EvalBind 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 |