@@ -103,6 +103,15 @@ instance (Monad m, Ref m ~ Ref IO, Reflex t) => TriggerEvent t (StaticDomBuilder
103103 {-# INLINABLE newEventWithLazyTriggerWithOnComplete #-}
104104 newEventWithLazyTriggerWithOnComplete _ = return never
105105
106+instance MonadRef m => MonadRef (StaticDomBuilderT t m) where
107+ type Ref (StaticDomBuilderT t m) = Ref m
108+ newRef = lift . newRef
109+ readRef = lift . readRef
110+ writeRef r = lift . writeRef r
111+
112+instance MonadAtomicRef m => MonadAtomicRef (StaticDomBuilderT t m) where
113+ atomicModifyRef r = lift . atomicModifyRef r
114+
106115type SupportsStaticDomBuilder t m = (Reflex t, MonadIO m, MonadHold t m, MonadFix m, PerformEvent t m, Performable m ~ m, MonadReflexCreateTrigger t m, Deletable t m, MonadRef m, Ref m ~ Ref IO)
107116
108117data StaticDomSpace