1[{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadCont\">MonadCont</a> m <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:callCC\">callCC</a> :: ((a -> m b) -> m a) -> m a</li></ul>","name":"MonadCont callCC","module":"Control.Monad.Cont.Class","link":"Control-Monad-Cont-Class.html#t:MonadCont"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"#t:Error\">Error</a> a <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:noMsg\">noMsg</a> :: a</li><li><a href=\"#v:strMsg\">strMsg</a> :: <a href=\"../base-4.13.0.0/Data-String.html#t:String\" title=\"Data.String\">String</a> -> a</li></ul>","name":"Error noMsg strMsg","module":"Control.Monad.Error.Class","link":"Control-Monad-Error-Class.html#t:Error"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadError\">MonadError</a> e m | m -> e <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:throwError\">throwError</a> :: e -> m a</li><li><a href=\"#v:catchError\">catchError</a> :: m a -> (e -> m a) -> m a</li></ul>","name":"MonadError throwError catchError","module":"Control.Monad.Error.Class","link":"Control-Monad-Error-Class.html#t:MonadError"},{"display_html":"<a href=\"#v:liftEither\">liftEither</a> :: <a href=\"Control-Monad-Error-Class.html#t:MonadError\" title=\"Control.Monad.Error.Class\">MonadError</a> e m => <a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a -> m a","name":"liftEither","module":"Control.Monad.Error.Class","link":"Control-Monad-Error-Class.html#v:liftEither"},{"display_html":"module <a href=\"../base-4.13.0.0/Data-Functor-Identity.html\">Data.Functor.Identity</a>","name":"","module":"Control.Monad.Identity","link":""},{"display_html":"module <a href=\"../transformers-0.5.6.2/Control-Monad-Trans-Identity.html\">Control.Monad.Trans.Identity</a>","name":"","module":"Control.Monad.Identity","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.Identity","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.Identity","link":""},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadReader\">MonadReader</a> r m | m -> r <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:ask\">ask</a> :: m r</li><li><a href=\"#v:local\">local</a> :: (r -> r) -> m a -> m a</li><li><a href=\"#v:reader\">reader</a> :: (r -> a) -> m a</li></ul>","name":"MonadReader reader ask local","module":"Control.Monad.Reader.Class","link":"Control-Monad-Reader-Class.html#t:MonadReader"},{"display_html":"<a href=\"#v:asks\">asks</a> :: <a href=\"Control-Monad-Reader-Class.html#t:MonadReader\" title=\"Control.Monad.Reader.Class\">MonadReader</a> r m => (r -> a) -> m a","name":"asks","module":"Control.Monad.Reader.Class","link":"Control-Monad-Reader-Class.html#v:asks"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadState\">MonadState</a> s m | m -> s <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:get\">get</a> :: m s</li><li><a href=\"#v:put\">put</a> :: s -> m ()</li><li><a href=\"#v:state\">state</a> :: (s -> (a, s)) -> m a</li></ul>","name":"MonadState get state put","module":"Control.Monad.State.Class","link":"Control-Monad-State-Class.html#t:MonadState"},{"display_html":"<a href=\"#v:modify\">modify</a> :: <a href=\"Control-Monad-State-Class.html#t:MonadState\" title=\"Control.Monad.State.Class\">MonadState</a> s m => (s -> s) -> m ()","name":"modify","module":"Control.Monad.State.Class","link":"Control-Monad-State-Class.html#v:modify"},{"display_html":"<a href=\"#v:modify-39-\">modify'</a> :: <a href=\"Control-Monad-State-Class.html#t:MonadState\" title=\"Control.Monad.State.Class\">MonadState</a> s m => (s -> s) -> m ()","name":"modify'","module":"Control.Monad.State.Class","link":"Control-Monad-State-Class.html#v:modify-39-"},{"display_html":"<a href=\"#v:gets\">gets</a> :: <a href=\"Control-Monad-State-Class.html#t:MonadState\" title=\"Control.Monad.State.Class\">MonadState</a> s m => (s -> a) -> m a","name":"gets","module":"Control.Monad.State.Class","link":"Control-Monad-State-Class.html#v:gets"},{"display_html":"module <a href=\"../transformers-0.5.6.2/Control-Monad-Trans-Class.html\">Control.Monad.Trans.Class</a>","name":"","module":"Control.Monad.Trans","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-IO-Class.html\">Control.Monad.IO.Class</a>","name":"","module":"Control.Monad.Trans","link":""},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadState\">MonadState</a> s m | m -> s <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:get\">get</a> :: m s</li><li><a href=\"#v:put\">put</a> :: s -> m ()</li><li><a href=\"#v:state\">state</a> :: (s -> (a, s)) -> m a</li></ul>","name":"MonadState get state put","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#t:MonadState"},{"display_html":"<a href=\"#v:modify\">modify</a> :: <a href=\"Control-Monad-State-Strict.html#t:MonadState\" title=\"Control.Monad.State.Strict\">MonadState</a> s m => (s -> s) -> m ()","name":"modify","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:modify"},{"display_html":"<a href=\"#v:modify-39-\">modify'</a> :: <a href=\"Control-Monad-State-Strict.html#t:MonadState\" title=\"Control.Monad.State.Strict\">MonadState</a> s m => (s -> s) -> m ()","name":"modify'","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:modify-39-"},{"display_html":"<a href=\"#v:gets\">gets</a> :: <a href=\"Control-Monad-State-Strict.html#t:MonadState\" title=\"Control.Monad.State.Strict\">MonadState</a> s m => (s -> a) -> m a","name":"gets","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:gets"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:State\">State</a> s = <a href=\"Control-Monad-State-Strict.html#t:StateT\" title=\"Control.Monad.State.Strict\">StateT</a> s <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"State","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#t:State"},{"display_html":"<a href=\"#v:runState\">runState</a> :: <a href=\"Control-Monad-State-Strict.html#t:State\" title=\"Control.Monad.State.Strict\">State</a> s a -> s -> (a, s)","name":"runState","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:runState"},{"display_html":"<a href=\"#v:evalState\">evalState</a> :: <a href=\"Control-Monad-State-Strict.html#t:State\" title=\"Control.Monad.State.Strict\">State</a> s a -> s -> a","name":"evalState","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:evalState"},{"display_html":"<a href=\"#v:execState\">execState</a> :: <a href=\"Control-Monad-State-Strict.html#t:State\" title=\"Control.Monad.State.Strict\">State</a> s a -> s -> s","name":"execState","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:execState"},{"display_html":"<a href=\"#v:mapState\">mapState</a> :: ((a, s) -> (b, s)) -> <a href=\"Control-Monad-State-Strict.html#t:State\" title=\"Control.Monad.State.Strict\">State</a> s a -> <a href=\"Control-Monad-State-Strict.html#t:State\" title=\"Control.Monad.State.Strict\">State</a> s b","name":"mapState","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:mapState"},{"display_html":"<a href=\"#v:withState\">withState</a> :: (s -> s) -> <a href=\"Control-Monad-State-Strict.html#t:State\" title=\"Control.Monad.State.Strict\">State</a> s a -> <a href=\"Control-Monad-State-Strict.html#t:State\" title=\"Control.Monad.State.Strict\">State</a> s a","name":"withState","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:withState"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:StateT\">StateT</a> s (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:StateT\">StateT</a> (s -> m (a, s))","name":"StateT StateT","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#t:StateT"},{"display_html":"<a href=\"#v:runStateT\">runStateT</a> :: <a href=\"Control-Monad-State-Strict.html#t:StateT\" title=\"Control.Monad.State.Strict\">StateT</a> s m a -> s -> m (a, s)","name":"runStateT","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:runStateT"},{"display_html":"<a href=\"#v:evalStateT\">evalStateT</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-State-Strict.html#t:StateT\" title=\"Control.Monad.State.Strict\">StateT</a> s m a -> s -> m a","name":"evalStateT","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:evalStateT"},{"display_html":"<a href=\"#v:execStateT\">execStateT</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-State-Strict.html#t:StateT\" title=\"Control.Monad.State.Strict\">StateT</a> s m a -> s -> m s","name":"execStateT","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:execStateT"},{"display_html":"<a href=\"#v:mapStateT\">mapStateT</a> :: (m (a, s) -> n (b, s)) -> <a href=\"Control-Monad-State-Strict.html#t:StateT\" title=\"Control.Monad.State.Strict\">StateT</a> s m a -> <a href=\"Control-Monad-State-Strict.html#t:StateT\" title=\"Control.Monad.State.Strict\">StateT</a> s n b","name":"mapStateT","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:mapStateT"},{"display_html":"<a href=\"#v:withStateT\">withStateT</a> :: <span class=\"keyword\">forall</span> s (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a. (s -> s) -> <a href=\"Control-Monad-State-Strict.html#t:StateT\" title=\"Control.Monad.State.Strict\">StateT</a> s m a -> <a href=\"Control-Monad-State-Strict.html#t:StateT\" title=\"Control.Monad.State.Strict\">StateT</a> s m a","name":"withStateT","module":"Control.Monad.State.Strict","link":"Control-Monad-State-Strict.html#v:withStateT"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.State.Strict","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.State.Strict","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.State.Strict","link":""},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadState\">MonadState</a> s m | m -> s <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:get\">get</a> :: m s</li><li><a href=\"#v:put\">put</a> :: s -> m ()</li><li><a href=\"#v:state\">state</a> :: (s -> (a, s)) -> m a</li></ul>","name":"MonadState get state put","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#t:MonadState"},{"display_html":"<a href=\"#v:modify\">modify</a> :: <a href=\"Control-Monad-State-Lazy.html#t:MonadState\" title=\"Control.Monad.State.Lazy\">MonadState</a> s m => (s -> s) -> m ()","name":"modify","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:modify"},{"display_html":"<a href=\"#v:modify-39-\">modify'</a> :: <a href=\"Control-Monad-State-Lazy.html#t:MonadState\" title=\"Control.Monad.State.Lazy\">MonadState</a> s m => (s -> s) -> m ()","name":"modify'","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:modify-39-"},{"display_html":"<a href=\"#v:gets\">gets</a> :: <a href=\"Control-Monad-State-Lazy.html#t:MonadState\" title=\"Control.Monad.State.Lazy\">MonadState</a> s m => (s -> a) -> m a","name":"gets","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:gets"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:State\">State</a> s = <a href=\"Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> s <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"State","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#t:State"},{"display_html":"<a href=\"#v:runState\">runState</a> :: <a href=\"Control-Monad-State-Lazy.html#t:State\" title=\"Control.Monad.State.Lazy\">State</a> s a -> s -> (a, s)","name":"runState","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:runState"},{"display_html":"<a href=\"#v:evalState\">evalState</a> :: <a href=\"Control-Monad-State-Lazy.html#t:State\" title=\"Control.Monad.State.Lazy\">State</a> s a -> s -> a","name":"evalState","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:evalState"},{"display_html":"<a href=\"#v:execState\">execState</a> :: <a href=\"Control-Monad-State-Lazy.html#t:State\" title=\"Control.Monad.State.Lazy\">State</a> s a -> s -> s","name":"execState","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:execState"},{"display_html":"<a href=\"#v:mapState\">mapState</a> :: ((a, s) -> (b, s)) -> <a href=\"Control-Monad-State-Lazy.html#t:State\" title=\"Control.Monad.State.Lazy\">State</a> s a -> <a href=\"Control-Monad-State-Lazy.html#t:State\" title=\"Control.Monad.State.Lazy\">State</a> s b","name":"mapState","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:mapState"},{"display_html":"<a href=\"#v:withState\">withState</a> :: (s -> s) -> <a href=\"Control-Monad-State-Lazy.html#t:State\" title=\"Control.Monad.State.Lazy\">State</a> s a -> <a href=\"Control-Monad-State-Lazy.html#t:State\" title=\"Control.Monad.State.Lazy\">State</a> s a","name":"withState","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:withState"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:StateT\">StateT</a> s (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:StateT\">StateT</a> (s -> m (a, s))","name":"StateT StateT","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#t:StateT"},{"display_html":"<a href=\"#v:runStateT\">runStateT</a> :: <a href=\"Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> s m a -> s -> m (a, s)","name":"runStateT","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:runStateT"},{"display_html":"<a href=\"#v:evalStateT\">evalStateT</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> s m a -> s -> m a","name":"evalStateT","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:evalStateT"},{"display_html":"<a href=\"#v:execStateT\">execStateT</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> s m a -> s -> m s","name":"execStateT","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:execStateT"},{"display_html":"<a href=\"#v:mapStateT\">mapStateT</a> :: (m (a, s) -> n (b, s)) -> <a href=\"Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> s m a -> <a href=\"Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> s n b","name":"mapStateT","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:mapStateT"},{"display_html":"<a href=\"#v:withStateT\">withStateT</a> :: <span class=\"keyword\">forall</span> s (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a. (s -> s) -> <a href=\"Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> s m a -> <a href=\"Control-Monad-State-Lazy.html#t:StateT\" title=\"Control.Monad.State.Lazy\">StateT</a> s m a","name":"withStateT","module":"Control.Monad.State.Lazy","link":"Control-Monad-State-Lazy.html#v:withStateT"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.State.Lazy","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.State.Lazy","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.State.Lazy","link":""},{"display_html":"module <a href=\"Control-Monad-State-Lazy.html\">Control.Monad.State.Lazy</a>","name":"","module":"Control.Monad.State","link":""},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadReader\">MonadReader</a> r m | m -> r <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:ask\">ask</a> :: m r</li><li><a href=\"#v:local\">local</a> :: (r -> r) -> m a -> m a</li><li><a href=\"#v:reader\">reader</a> :: (r -> a) -> m a</li></ul>","name":"MonadReader reader ask local","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#t:MonadReader"},{"display_html":"<a href=\"#v:asks\">asks</a> :: <a href=\"Control-Monad-Reader.html#t:MonadReader\" title=\"Control.Monad.Reader\">MonadReader</a> r m => (r -> a) -> m a","name":"asks","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#v:asks"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:Reader\">Reader</a> r = <a href=\"Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> r <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"Reader","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#t:Reader"},{"display_html":"<a href=\"#v:runReader\">runReader</a> :: <a href=\"Control-Monad-Reader.html#t:Reader\" title=\"Control.Monad.Reader\">Reader</a> r a -> r -> a","name":"runReader","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#v:runReader"},{"display_html":"<a href=\"#v:mapReader\">mapReader</a> :: (a -> b) -> <a href=\"Control-Monad-Reader.html#t:Reader\" title=\"Control.Monad.Reader\">Reader</a> r a -> <a href=\"Control-Monad-Reader.html#t:Reader\" title=\"Control.Monad.Reader\">Reader</a> r b","name":"mapReader","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#v:mapReader"},{"display_html":"<a href=\"#v:withReader\">withReader</a> :: (r' -> r) -> <a href=\"Control-Monad-Reader.html#t:Reader\" title=\"Control.Monad.Reader\">Reader</a> r a -> <a href=\"Control-Monad-Reader.html#t:Reader\" title=\"Control.Monad.Reader\">Reader</a> r' a","name":"withReader","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#v:withReader"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:ReaderT\">ReaderT</a> r (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:ReaderT\">ReaderT</a> (r -> m a)","name":"ReaderT ReaderT","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#t:ReaderT"},{"display_html":"<a href=\"#v:runReaderT\">runReaderT</a> :: <a href=\"Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> r m a -> r -> m a","name":"runReaderT","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#v:runReaderT"},{"display_html":"<a href=\"#v:mapReaderT\">mapReaderT</a> :: (m a -> n b) -> <a href=\"Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> r m a -> <a href=\"Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> r n b","name":"mapReaderT","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#v:mapReaderT"},{"display_html":"<a href=\"#v:withReaderT\">withReaderT</a> :: <span class=\"keyword\">forall</span> r' r (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a. (r' -> r) -> <a href=\"Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> r m a -> <a href=\"Control-Monad-Reader.html#t:ReaderT\" title=\"Control.Monad.Reader\">ReaderT</a> r' m a","name":"withReaderT","module":"Control.Monad.Reader","link":"Control-Monad-Reader.html#v:withReaderT"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.Reader","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.Reader","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.Reader","link":""},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:ListT\">ListT</a> (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:ListT\">ListT</a> {<ul class=\"subs\"><li><a href=\"#v:runListT\">runListT</a> :: m [a]</li></ul>}","name":"ListT ListT runListT","module":"Control.Monad.List","link":"Control-Monad-List.html#t:ListT"},{"display_html":"<a href=\"#v:mapListT\">mapListT</a> :: (m [a] -> n [b]) -> <a href=\"Control-Monad-List.html#t:ListT\" title=\"Control.Monad.List\">ListT</a> m a -> <a href=\"Control-Monad-List.html#t:ListT\" title=\"Control.Monad.List\">ListT</a> n b","name":"mapListT","module":"Control.Monad.List","link":"Control-Monad-List.html#v:mapListT"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.List","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.List","link":""},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadError\">MonadError</a> e m | m -> e <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:throwError\">throwError</a> :: e -> m a</li><li><a href=\"#v:catchError\">catchError</a> :: m a -> (e -> m a) -> m a</li></ul>","name":"MonadError throwError catchError","module":"Control.Monad.Except","link":"Control-Monad-Except.html#t:MonadError"},{"display_html":"<a href=\"#v:liftEither\">liftEither</a> :: <a href=\"Control-Monad-Except.html#t:MonadError\" title=\"Control.Monad.Except\">MonadError</a> e m => <a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a -> m a","name":"liftEither","module":"Control.Monad.Except","link":"Control-Monad-Except.html#v:liftEither"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:ExceptT\">ExceptT</a> e (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:ExceptT\">ExceptT</a> (m (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a))","name":"ExceptT ExceptT","module":"Control.Monad.Except","link":"Control-Monad-Except.html#t:ExceptT"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:Except\">Except</a> e = <a href=\"Control-Monad-Except.html#t:ExceptT\" title=\"Control.Monad.Except\">ExceptT</a> e <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"Except","module":"Control.Monad.Except","link":"Control-Monad-Except.html#t:Except"},{"display_html":"<a href=\"#v:runExceptT\">runExceptT</a> :: <a href=\"Control-Monad-Except.html#t:ExceptT\" title=\"Control.Monad.Except\">ExceptT</a> e m a -> m (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a)","name":"runExceptT","module":"Control.Monad.Except","link":"Control-Monad-Except.html#v:runExceptT"},{"display_html":"<a href=\"#v:mapExceptT\">mapExceptT</a> :: (m (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a) -> n (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e' b)) -> <a href=\"Control-Monad-Except.html#t:ExceptT\" title=\"Control.Monad.Except\">ExceptT</a> e m a -> <a href=\"Control-Monad-Except.html#t:ExceptT\" title=\"Control.Monad.Except\">ExceptT</a> e' n b","name":"mapExceptT","module":"Control.Monad.Except","link":"Control-Monad-Except.html#v:mapExceptT"},{"display_html":"<a href=\"#v:withExceptT\">withExceptT</a> :: <span class=\"keyword\">forall</span> (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) e e' a. <a href=\"../base-4.13.0.0/Data-Functor.html#t:Functor\" title=\"Data.Functor\">Functor</a> m => (e -> e') -> <a href=\"Control-Monad-Except.html#t:ExceptT\" title=\"Control.Monad.Except\">ExceptT</a> e m a -> <a href=\"Control-Monad-Except.html#t:ExceptT\" title=\"Control.Monad.Except\">ExceptT</a> e' m a","name":"withExceptT","module":"Control.Monad.Except","link":"Control-Monad-Except.html#v:withExceptT"},{"display_html":"<a href=\"#v:runExcept\">runExcept</a> :: <a href=\"Control-Monad-Except.html#t:Except\" title=\"Control.Monad.Except\">Except</a> e a -> <a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a","name":"runExcept","module":"Control.Monad.Except","link":"Control-Monad-Except.html#v:runExcept"},{"display_html":"<a href=\"#v:mapExcept\">mapExcept</a> :: (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a -> <a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e' b) -> <a href=\"Control-Monad-Except.html#t:Except\" title=\"Control.Monad.Except\">Except</a> e a -> <a href=\"Control-Monad-Except.html#t:Except\" title=\"Control.Monad.Except\">Except</a> e' b","name":"mapExcept","module":"Control.Monad.Except","link":"Control-Monad-Except.html#v:mapExcept"},{"display_html":"<a href=\"#v:withExcept\">withExcept</a> :: (e -> e') -> <a href=\"Control-Monad-Except.html#t:Except\" title=\"Control.Monad.Except\">Except</a> e a -> <a href=\"Control-Monad-Except.html#t:Except\" title=\"Control.Monad.Except\">Except</a> e' a","name":"withExcept","module":"Control.Monad.Except","link":"Control-Monad-Except.html#v:withExcept"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.Except","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.Except","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.Except","link":""},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadError\">MonadError</a> e m | m -> e <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:throwError\">throwError</a> :: e -> m a</li><li><a href=\"#v:catchError\">catchError</a> :: m a -> (e -> m a) -> m a</li></ul>","name":"MonadError throwError catchError","module":"Control.Monad.Error","link":"Control-Monad-Error.html#t:MonadError"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"#t:Error\">Error</a> a <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:noMsg\">noMsg</a> :: a</li><li><a href=\"#v:strMsg\">strMsg</a> :: <a href=\"../base-4.13.0.0/Data-String.html#t:String\" title=\"Data.String\">String</a> -> a</li></ul>","name":"Error noMsg strMsg","module":"Control.Monad.Error","link":"Control-Monad-Error.html#t:Error"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:ErrorT\">ErrorT</a> e (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:ErrorT\">ErrorT</a> (m (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a))","name":"ErrorT ErrorT","module":"Control.Monad.Error","link":"Control-Monad-Error.html#t:ErrorT"},{"display_html":"<a href=\"#v:runErrorT\">runErrorT</a> :: <a href=\"Control-Monad-Error.html#t:ErrorT\" title=\"Control.Monad.Error\">ErrorT</a> e m a -> m (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a)","name":"runErrorT","module":"Control.Monad.Error","link":"Control-Monad-Error.html#v:runErrorT"},{"display_html":"<a href=\"#v:mapErrorT\">mapErrorT</a> :: (m (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e a) -> n (<a href=\"../base-4.13.0.0/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> e' b)) -> <a href=\"Control-Monad-Error.html#t:ErrorT\" title=\"Control.Monad.Error\">ErrorT</a> e m a -> <a href=\"Control-Monad-Error.html#t:ErrorT\" title=\"Control.Monad.Error\">ErrorT</a> e' n b","name":"mapErrorT","module":"Control.Monad.Error","link":"Control-Monad-Error.html#v:mapErrorT"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.Error","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.Error","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.Error","link":""},{"display_html":"<span class=\"keyword\">class</span> <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"#t:MonadCont\">MonadCont</a> m <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:callCC\">callCC</a> :: ((a -> m b) -> m a) -> m a</li></ul>","name":"MonadCont callCC","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#t:MonadCont"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:Cont\">Cont</a> r = <a href=\"Control-Monad-Cont.html#t:ContT\" title=\"Control.Monad.Cont\">ContT</a> r <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"Cont","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#t:Cont"},{"display_html":"<a href=\"#v:cont\">cont</a> :: ((a -> r) -> r) -> <a href=\"Control-Monad-Cont.html#t:Cont\" title=\"Control.Monad.Cont\">Cont</a> r a","name":"cont","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#v:cont"},{"display_html":"<a href=\"#v:runCont\">runCont</a> :: <a href=\"Control-Monad-Cont.html#t:Cont\" title=\"Control.Monad.Cont\">Cont</a> r a -> (a -> r) -> r","name":"runCont","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#v:runCont"},{"display_html":"<a href=\"#v:mapCont\">mapCont</a> :: (r -> r) -> <a href=\"Control-Monad-Cont.html#t:Cont\" title=\"Control.Monad.Cont\">Cont</a> r a -> <a href=\"Control-Monad-Cont.html#t:Cont\" title=\"Control.Monad.Cont\">Cont</a> r a","name":"mapCont","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#v:mapCont"},{"display_html":"<a href=\"#v:withCont\">withCont</a> :: ((b -> r) -> a -> r) -> <a href=\"Control-Monad-Cont.html#t:Cont\" title=\"Control.Monad.Cont\">Cont</a> r a -> <a href=\"Control-Monad-Cont.html#t:Cont\" title=\"Control.Monad.Cont\">Cont</a> r b","name":"withCont","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#v:withCont"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:ContT\">ContT</a> (r :: k) (m :: k -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:ContT\">ContT</a> ((a -> m r) -> m r)","name":"ContT ContT","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#t:ContT"},{"display_html":"<a href=\"#v:runContT\">runContT</a> :: <a href=\"Control-Monad-Cont.html#t:ContT\" title=\"Control.Monad.Cont\">ContT</a> r m a -> (a -> m r) -> m r","name":"runContT","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#v:runContT"},{"display_html":"<a href=\"#v:mapContT\">mapContT</a> :: <span class=\"keyword\">forall</span> k m (r :: k) a. (m r -> m r) -> <a href=\"Control-Monad-Cont.html#t:ContT\" title=\"Control.Monad.Cont\">ContT</a> r m a -> <a href=\"Control-Monad-Cont.html#t:ContT\" title=\"Control.Monad.Cont\">ContT</a> r m a","name":"mapContT","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#v:mapContT"},{"display_html":"<a href=\"#v:withContT\">withContT</a> :: <span class=\"keyword\">forall</span> k b m (r :: k) a. ((b -> m r) -> a -> m r) -> <a href=\"Control-Monad-Cont.html#t:ContT\" title=\"Control.Monad.Cont\">ContT</a> r m a -> <a href=\"Control-Monad-Cont.html#t:ContT\" title=\"Control.Monad.Cont\">ContT</a> r m b","name":"withContT","module":"Control.Monad.Cont","link":"Control-Monad-Cont.html#v:withContT"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.Cont","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.Cont","link":""},{"display_html":"<span class=\"keyword\">class</span> (<a href=\"../base-4.13.0.0/Data-Monoid.html#t:Monoid\" title=\"Data.Monoid\">Monoid</a> w, <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m) => <a href=\"#t:MonadWriter\">MonadWriter</a> w m | m -> w <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:writer\">writer</a> :: (a, w) -> m a</li><li><a href=\"#v:tell\">tell</a> :: w -> m ()</li><li><a href=\"#v:listen\">listen</a> :: m a -> m (a, w)</li><li><a href=\"#v:pass\">pass</a> :: m (a, w -> w) -> m a</li></ul>","name":"MonadWriter tell writer listen pass","module":"Control.Monad.Writer.Class","link":"Control-Monad-Writer-Class.html#t:MonadWriter"},{"display_html":"<a href=\"#v:listens\">listens</a> :: <a href=\"Control-Monad-Writer-Class.html#t:MonadWriter\" title=\"Control.Monad.Writer.Class\">MonadWriter</a> w m => (w -> b) -> m a -> m (a, b)","name":"listens","module":"Control.Monad.Writer.Class","link":"Control-Monad-Writer-Class.html#v:listens"},{"display_html":"<a href=\"#v:censor\">censor</a> :: <a href=\"Control-Monad-Writer-Class.html#t:MonadWriter\" title=\"Control.Monad.Writer.Class\">MonadWriter</a> w m => (w -> w) -> m a -> m a","name":"censor","module":"Control.Monad.Writer.Class","link":"Control-Monad-Writer-Class.html#v:censor"},{"display_html":"<span class=\"keyword\">class</span> (<a href=\"../base-4.13.0.0/Data-Monoid.html#t:Monoid\" title=\"Data.Monoid\">Monoid</a> w, <a href=\"Control-Monad-Reader-Class.html#t:MonadReader\" title=\"Control.Monad.Reader.Class\">MonadReader</a> r m, <a href=\"Control-Monad-Writer-Class.html#t:MonadWriter\" title=\"Control.Monad.Writer.Class\">MonadWriter</a> w m, <a href=\"Control-Monad-State-Class.html#t:MonadState\" title=\"Control.Monad.State.Class\">MonadState</a> s m) => <a href=\"#t:MonadRWS\">MonadRWS</a> r w s m | m -> r, m -> w, m -> s","name":"MonadRWS","module":"Control.Monad.RWS.Class","link":"Control-Monad-RWS-Class.html#t:MonadRWS"},{"display_html":"module <a href=\"Control-Monad-Reader-Class.html\">Control.Monad.Reader.Class</a>","name":"","module":"Control.Monad.RWS.Class","link":""},{"display_html":"module <a href=\"Control-Monad-State-Class.html\">Control.Monad.State.Class</a>","name":"","module":"Control.Monad.RWS.Class","link":""},{"display_html":"module <a href=\"Control-Monad-Writer-Class.html\">Control.Monad.Writer.Class</a>","name":"","module":"Control.Monad.RWS.Class","link":""},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:RWS\">RWS</a> r w s = <a href=\"Control-Monad-RWS-Strict.html#t:RWST\" title=\"Control.Monad.RWS.Strict\">RWST</a> r w s <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"RWS","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#t:RWS"},{"display_html":"<a href=\"#v:rws\">rws</a> :: (r -> s -> (a, s, w)) -> <a href=\"Control-Monad-RWS-Strict.html#t:RWS\" title=\"Control.Monad.RWS.Strict\">RWS</a> r w s a","name":"rws","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:rws"},{"display_html":"<a href=\"#v:runRWS\">runRWS</a> :: <a href=\"Control-Monad-RWS-Strict.html#t:RWS\" title=\"Control.Monad.RWS.Strict\">RWS</a> r w s a -> r -> s -> (a, s, w)","name":"runRWS","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:runRWS"},{"display_html":"<a href=\"#v:evalRWS\">evalRWS</a> :: <a href=\"Control-Monad-RWS-Strict.html#t:RWS\" title=\"Control.Monad.RWS.Strict\">RWS</a> r w s a -> r -> s -> (a, w)","name":"evalRWS","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:evalRWS"},{"display_html":"<a href=\"#v:execRWS\">execRWS</a> :: <a href=\"Control-Monad-RWS-Strict.html#t:RWS\" title=\"Control.Monad.RWS.Strict\">RWS</a> r w s a -> r -> s -> (s, w)","name":"execRWS","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:execRWS"},{"display_html":"<a href=\"#v:mapRWS\">mapRWS</a> :: ((a, s, w) -> (b, s, w')) -> <a href=\"Control-Monad-RWS-Strict.html#t:RWS\" title=\"Control.Monad.RWS.Strict\">RWS</a> r w s a -> <a href=\"Control-Monad-RWS-Strict.html#t:RWS\" title=\"Control.Monad.RWS.Strict\">RWS</a> r w' s b","name":"mapRWS","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:mapRWS"},{"display_html":"<a href=\"#v:withRWS\">withRWS</a> :: (r' -> s -> (r, s)) -> <a href=\"Control-Monad-RWS-Strict.html#t:RWS\" title=\"Control.Monad.RWS.Strict\">RWS</a> r w s a -> <a href=\"Control-Monad-RWS-Strict.html#t:RWS\" title=\"Control.Monad.RWS.Strict\">RWS</a> r' w s a","name":"withRWS","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:withRWS"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:RWST\">RWST</a> r w s (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:RWST\">RWST</a> (r -> s -> m (a, s, w))","name":"RWST RWST","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#t:RWST"},{"display_html":"<a href=\"#v:runRWST\">runRWST</a> :: <a href=\"Control-Monad-RWS-Strict.html#t:RWST\" title=\"Control.Monad.RWS.Strict\">RWST</a> r w s m a -> r -> s -> m (a, s, w)","name":"runRWST","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:runRWST"},{"display_html":"<a href=\"#v:evalRWST\">evalRWST</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-RWS-Strict.html#t:RWST\" title=\"Control.Monad.RWS.Strict\">RWST</a> r w s m a -> r -> s -> m (a, w)","name":"evalRWST","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:evalRWST"},{"display_html":"<a href=\"#v:execRWST\">execRWST</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-RWS-Strict.html#t:RWST\" title=\"Control.Monad.RWS.Strict\">RWST</a> r w s m a -> r -> s -> m (s, w)","name":"execRWST","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:execRWST"},{"display_html":"<a href=\"#v:mapRWST\">mapRWST</a> :: (m (a, s, w) -> n (b, s, w')) -> <a href=\"Control-Monad-RWS-Strict.html#t:RWST\" title=\"Control.Monad.RWS.Strict\">RWST</a> r w s m a -> <a href=\"Control-Monad-RWS-Strict.html#t:RWST\" title=\"Control.Monad.RWS.Strict\">RWST</a> r w' s n b","name":"mapRWST","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:mapRWST"},{"display_html":"<a href=\"#v:withRWST\">withRWST</a> :: <span class=\"keyword\">forall</span> r' s r w (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a. (r' -> s -> (r, s)) -> <a href=\"Control-Monad-RWS-Strict.html#t:RWST\" title=\"Control.Monad.RWS.Strict\">RWST</a> r w s m a -> <a href=\"Control-Monad-RWS-Strict.html#t:RWST\" title=\"Control.Monad.RWS.Strict\">RWST</a> r' w s m a","name":"withRWST","module":"Control.Monad.RWS.Strict","link":"Control-Monad-RWS-Strict.html#v:withRWST"},{"display_html":"module <a href=\"Control-Monad-RWS-Class.html\">Control.Monad.RWS.Class</a>","name":"","module":"Control.Monad.RWS.Strict","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.RWS.Strict","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.RWS.Strict","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.RWS.Strict","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Data-Monoid.html\">Data.Monoid</a>","name":"","module":"Control.Monad.RWS.Strict","link":""},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:RWS\">RWS</a> r w s = <a href=\"Control-Monad-RWS-Lazy.html#t:RWST\" title=\"Control.Monad.RWS.Lazy\">RWST</a> r w s <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"RWS","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#t:RWS"},{"display_html":"<a href=\"#v:rws\">rws</a> :: (r -> s -> (a, s, w)) -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWS\" title=\"Control.Monad.RWS.Lazy\">RWS</a> r w s a","name":"rws","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:rws"},{"display_html":"<a href=\"#v:runRWS\">runRWS</a> :: <a href=\"Control-Monad-RWS-Lazy.html#t:RWS\" title=\"Control.Monad.RWS.Lazy\">RWS</a> r w s a -> r -> s -> (a, s, w)","name":"runRWS","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:runRWS"},{"display_html":"<a href=\"#v:evalRWS\">evalRWS</a> :: <a href=\"Control-Monad-RWS-Lazy.html#t:RWS\" title=\"Control.Monad.RWS.Lazy\">RWS</a> r w s a -> r -> s -> (a, w)","name":"evalRWS","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:evalRWS"},{"display_html":"<a href=\"#v:execRWS\">execRWS</a> :: <a href=\"Control-Monad-RWS-Lazy.html#t:RWS\" title=\"Control.Monad.RWS.Lazy\">RWS</a> r w s a -> r -> s -> (s, w)","name":"execRWS","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:execRWS"},{"display_html":"<a href=\"#v:mapRWS\">mapRWS</a> :: ((a, s, w) -> (b, s, w')) -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWS\" title=\"Control.Monad.RWS.Lazy\">RWS</a> r w s a -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWS\" title=\"Control.Monad.RWS.Lazy\">RWS</a> r w' s b","name":"mapRWS","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:mapRWS"},{"display_html":"<a href=\"#v:withRWS\">withRWS</a> :: (r' -> s -> (r, s)) -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWS\" title=\"Control.Monad.RWS.Lazy\">RWS</a> r w s a -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWS\" title=\"Control.Monad.RWS.Lazy\">RWS</a> r' w s a","name":"withRWS","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:withRWS"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:RWST\">RWST</a> r w s (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:RWST\">RWST</a> (r -> s -> m (a, s, w))","name":"RWST RWST","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#t:RWST"},{"display_html":"<a href=\"#v:runRWST\">runRWST</a> :: <a href=\"Control-Monad-RWS-Lazy.html#t:RWST\" title=\"Control.Monad.RWS.Lazy\">RWST</a> r w s m a -> r -> s -> m (a, s, w)","name":"runRWST","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:runRWST"},{"display_html":"<a href=\"#v:evalRWST\">evalRWST</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-RWS-Lazy.html#t:RWST\" title=\"Control.Monad.RWS.Lazy\">RWST</a> r w s m a -> r -> s -> m (a, w)","name":"evalRWST","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:evalRWST"},{"display_html":"<a href=\"#v:execRWST\">execRWST</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-RWS-Lazy.html#t:RWST\" title=\"Control.Monad.RWS.Lazy\">RWST</a> r w s m a -> r -> s -> m (s, w)","name":"execRWST","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:execRWST"},{"display_html":"<a href=\"#v:mapRWST\">mapRWST</a> :: (m (a, s, w) -> n (b, s, w')) -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWST\" title=\"Control.Monad.RWS.Lazy\">RWST</a> r w s m a -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWST\" title=\"Control.Monad.RWS.Lazy\">RWST</a> r w' s n b","name":"mapRWST","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:mapRWST"},{"display_html":"<a href=\"#v:withRWST\">withRWST</a> :: <span class=\"keyword\">forall</span> r' s r w (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a. (r' -> s -> (r, s)) -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWST\" title=\"Control.Monad.RWS.Lazy\">RWST</a> r w s m a -> <a href=\"Control-Monad-RWS-Lazy.html#t:RWST\" title=\"Control.Monad.RWS.Lazy\">RWST</a> r' w s m a","name":"withRWST","module":"Control.Monad.RWS.Lazy","link":"Control-Monad-RWS-Lazy.html#v:withRWST"},{"display_html":"module <a href=\"Control-Monad-RWS-Class.html\">Control.Monad.RWS.Class</a>","name":"","module":"Control.Monad.RWS.Lazy","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.RWS.Lazy","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.RWS.Lazy","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.RWS.Lazy","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Data-Monoid.html\">Data.Monoid</a>","name":"","module":"Control.Monad.RWS.Lazy","link":""},{"display_html":"module <a href=\"Control-Monad-RWS-Lazy.html\">Control.Monad.RWS.Lazy</a>","name":"","module":"Control.Monad.RWS","link":""},{"display_html":"<span class=\"keyword\">class</span> (<a href=\"../base-4.13.0.0/Data-Monoid.html#t:Monoid\" title=\"Data.Monoid\">Monoid</a> w, <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m) => <a href=\"#t:MonadWriter\">MonadWriter</a> w m | m -> w <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:writer\">writer</a> :: (a, w) -> m a</li><li><a href=\"#v:tell\">tell</a> :: w -> m ()</li><li><a href=\"#v:listen\">listen</a> :: m a -> m (a, w)</li><li><a href=\"#v:pass\">pass</a> :: m (a, w -> w) -> m a</li></ul>","name":"MonadWriter tell writer listen pass","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#t:MonadWriter"},{"display_html":"<a href=\"#v:listens\">listens</a> :: <a href=\"Control-Monad-Writer-Lazy.html#t:MonadWriter\" title=\"Control.Monad.Writer.Lazy\">MonadWriter</a> w m => (w -> b) -> m a -> m (a, b)","name":"listens","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#v:listens"},{"display_html":"<a href=\"#v:censor\">censor</a> :: <a href=\"Control-Monad-Writer-Lazy.html#t:MonadWriter\" title=\"Control.Monad.Writer.Lazy\">MonadWriter</a> w m => (w -> w) -> m a -> m a","name":"censor","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#v:censor"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:Writer\">Writer</a> w = <a href=\"Control-Monad-Writer-Lazy.html#t:WriterT\" title=\"Control.Monad.Writer.Lazy\">WriterT</a> w <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"Writer","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#t:Writer"},{"display_html":"<a href=\"#v:runWriter\">runWriter</a> :: <a href=\"Control-Monad-Writer-Lazy.html#t:Writer\" title=\"Control.Monad.Writer.Lazy\">Writer</a> w a -> (a, w)","name":"runWriter","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#v:runWriter"},{"display_html":"<a href=\"#v:execWriter\">execWriter</a> :: <a href=\"Control-Monad-Writer-Lazy.html#t:Writer\" title=\"Control.Monad.Writer.Lazy\">Writer</a> w a -> w","name":"execWriter","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#v:execWriter"},{"display_html":"<a href=\"#v:mapWriter\">mapWriter</a> :: ((a, w) -> (b, w')) -> <a href=\"Control-Monad-Writer-Lazy.html#t:Writer\" title=\"Control.Monad.Writer.Lazy\">Writer</a> w a -> <a href=\"Control-Monad-Writer-Lazy.html#t:Writer\" title=\"Control.Monad.Writer.Lazy\">Writer</a> w' b","name":"mapWriter","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#v:mapWriter"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:WriterT\">WriterT</a> w (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:WriterT\">WriterT</a> (m (a, w))","name":"WriterT WriterT","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#t:WriterT"},{"display_html":"<a href=\"#v:runWriterT\">runWriterT</a> :: <a href=\"Control-Monad-Writer-Lazy.html#t:WriterT\" title=\"Control.Monad.Writer.Lazy\">WriterT</a> w m a -> m (a, w)","name":"runWriterT","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#v:runWriterT"},{"display_html":"<a href=\"#v:execWriterT\">execWriterT</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-Writer-Lazy.html#t:WriterT\" title=\"Control.Monad.Writer.Lazy\">WriterT</a> w m a -> m w","name":"execWriterT","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#v:execWriterT"},{"display_html":"<a href=\"#v:mapWriterT\">mapWriterT</a> :: (m (a, w) -> n (b, w')) -> <a href=\"Control-Monad-Writer-Lazy.html#t:WriterT\" title=\"Control.Monad.Writer.Lazy\">WriterT</a> w m a -> <a href=\"Control-Monad-Writer-Lazy.html#t:WriterT\" title=\"Control.Monad.Writer.Lazy\">WriterT</a> w' n b","name":"mapWriterT","module":"Control.Monad.Writer.Lazy","link":"Control-Monad-Writer-Lazy.html#v:mapWriterT"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.Writer.Lazy","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.Writer.Lazy","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.Writer.Lazy","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Data-Monoid.html\">Data.Monoid</a>","name":"","module":"Control.Monad.Writer.Lazy","link":""},{"display_html":"module <a href=\"Control-Monad-Writer-Lazy.html\">Control.Monad.Writer.Lazy</a>","name":"","module":"Control.Monad.Writer","link":""},{"display_html":"<span class=\"keyword\">class</span> (<a href=\"../base-4.13.0.0/Data-Monoid.html#t:Monoid\" title=\"Data.Monoid\">Monoid</a> w, <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m) => <a href=\"#t:MonadWriter\">MonadWriter</a> w m | m -> w <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:writer\">writer</a> :: (a, w) -> m a</li><li><a href=\"#v:tell\">tell</a> :: w -> m ()</li><li><a href=\"#v:listen\">listen</a> :: m a -> m (a, w)</li><li><a href=\"#v:pass\">pass</a> :: m (a, w -> w) -> m a</li></ul>","name":"MonadWriter tell writer listen pass","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#t:MonadWriter"},{"display_html":"<a href=\"#v:listens\">listens</a> :: <a href=\"Control-Monad-Writer-Strict.html#t:MonadWriter\" title=\"Control.Monad.Writer.Strict\">MonadWriter</a> w m => (w -> b) -> m a -> m (a, b)","name":"listens","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#v:listens"},{"display_html":"<a href=\"#v:censor\">censor</a> :: <a href=\"Control-Monad-Writer-Strict.html#t:MonadWriter\" title=\"Control.Monad.Writer.Strict\">MonadWriter</a> w m => (w -> w) -> m a -> m a","name":"censor","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#v:censor"},{"display_html":"<span class=\"keyword\">type</span> <a href=\"#t:Writer\">Writer</a> w = <a href=\"Control-Monad-Writer-Strict.html#t:WriterT\" title=\"Control.Monad.Writer.Strict\">WriterT</a> w <a href=\"../base-4.13.0.0/Data-Functor-Identity.html#t:Identity\" title=\"Data.Functor.Identity\">Identity</a>","name":"Writer","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#t:Writer"},{"display_html":"<a href=\"#v:runWriter\">runWriter</a> :: <a href=\"Control-Monad-Writer-Strict.html#t:Writer\" title=\"Control.Monad.Writer.Strict\">Writer</a> w a -> (a, w)","name":"runWriter","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#v:runWriter"},{"display_html":"<a href=\"#v:execWriter\">execWriter</a> :: <a href=\"Control-Monad-Writer-Strict.html#t:Writer\" title=\"Control.Monad.Writer.Strict\">Writer</a> w a -> w","name":"execWriter","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#v:execWriter"},{"display_html":"<a href=\"#v:mapWriter\">mapWriter</a> :: ((a, w) -> (b, w')) -> <a href=\"Control-Monad-Writer-Strict.html#t:Writer\" title=\"Control.Monad.Writer.Strict\">Writer</a> w a -> <a href=\"Control-Monad-Writer-Strict.html#t:Writer\" title=\"Control.Monad.Writer.Strict\">Writer</a> w' b","name":"mapWriter","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#v:mapWriter"},{"display_html":"<span class=\"keyword\">newtype</span> <a href=\"#t:WriterT\">WriterT</a> w (m :: <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -> <a href=\"../base-4.13.0.0/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) a = <a href=\"#v:WriterT\">WriterT</a> {<ul class=\"subs\"><li><a href=\"#v:runWriterT\">runWriterT</a> :: m (a, w)</li></ul>}","name":"WriterT WriterT runWriterT","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#t:WriterT"},{"display_html":"<a href=\"#v:execWriterT\">execWriterT</a> :: <a href=\"../base-4.13.0.0/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m => <a href=\"Control-Monad-Writer-Strict.html#t:WriterT\" title=\"Control.Monad.Writer.Strict\">WriterT</a> w m a -> m w","name":"execWriterT","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#v:execWriterT"},{"display_html":"<a href=\"#v:mapWriterT\">mapWriterT</a> :: (m (a, w) -> n (b, w')) -> <a href=\"Control-Monad-Writer-Strict.html#t:WriterT\" title=\"Control.Monad.Writer.Strict\">WriterT</a> w m a -> <a href=\"Control-Monad-Writer-Strict.html#t:WriterT\" title=\"Control.Monad.Writer.Strict\">WriterT</a> w' n b","name":"mapWriterT","module":"Control.Monad.Writer.Strict","link":"Control-Monad-Writer-Strict.html#v:mapWriterT"},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad.html\">Control.Monad</a>","name":"","module":"Control.Monad.Writer.Strict","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Control-Monad-Fix.html\">Control.Monad.Fix</a>","name":"","module":"Control.Monad.Writer.Strict","link":""},{"display_html":"module <a href=\"Control-Monad-Trans.html\">Control.Monad.Trans</a>","name":"","module":"Control.Monad.Writer.Strict","link":""},{"display_html":"module <a href=\"../base-4.13.0.0/Data-Monoid.html\">Data.Monoid</a>","name":"","module":"Control.Monad.Writer.Strict","link":""}]