Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This module defines the DynamicWriter
class.
Synopsis
- type MonadDynamicWriter = DynamicWriter
- class (Monad m, Monoid w) => DynamicWriter t w m | m -> t w where
Documentation
type MonadDynamicWriter = DynamicWriter Source #
Deprecated: Use DynamicWriter
instead
Type synonym for DynamicWriter
class (Monad m, Monoid w) => DynamicWriter t w m | m -> t w where Source #
MonadDynamicWriter
efficiently collects Dynamic
values using tellDyn
and combines them monoidally to provide a Dynamic
result.
Instances
DynamicWriter t w m => DynamicWriter t w (ReaderT r m) Source # | |
(Monad m, Monoid w, Reflex t) => DynamicWriter t w (DynamicWriterT t w m) Source # | |
Defined in Reflex.DynamicWriter.Base tellDyn :: Dynamic t w -> DynamicWriterT t w m () Source # | |
DynamicWriter t w m => DynamicWriter t w (EventWriterT t v m) Source # | |
Defined in Reflex.EventWriter.Base tellDyn :: Dynamic t w -> EventWriterT t v m () Source # | |
DynamicWriter t w m => DynamicWriter t w (QueryT t q m) Source # | |
DynamicWriter t w m => DynamicWriter (ProfiledTimeline t) w (ProfiledM m) Source # | |
Defined in Reflex.Profiled |