mtl

• Control.Monad.Accum15Computation type: Accumulation (either append-only state, or writer with
• Control.Monad.Cont14Computation type: Computations which can be interrupted and resumed. Binding strategy: Binding a function to a monadic value creates
• Control.Monad.Cont.Class4Computation type: Computations which can be interrupted and resumed. Binding strategy: Binding a function to a monadic value creates
• Control.Monad.Error.Class8Computation type: Computations which may fail or throw exceptions. Binding strategy: Failure records information about the cause/location
• Control.Monad.Except16Computation type: Computations which may fail or throw exceptions. Binding strategy: Failure records information about the cause/location
• Control.Monad.Identity5Computation type: Simple function application. Binding strategy: The bound function is applied to the input value.
• Control.Monad.RWS0Declaration of the MonadRWS class. Inspired by the paper
• Control.Monad.RWS.CPS13Strict RWS monad that uses continuation-passing-style to achieve constant
• Control.Monad.RWS.Class1Declaration of the MonadRWS class. Inspired by the paper
• Control.Monad.RWS.Lazy13Lazy RWS monad. Inspired by the paper
• Control.Monad.RWS.Strict13Strict RWS monad. Inspired by the paper
• Control.Monad.Reader10Computation type: Computations which read values from a shared environment. Binding strategy: Monad values are functions from the environ…
• Control.Monad.Reader.Class2Computation type: Computations which read values from a shared environment. Binding strategy: Monad values are functions from the environ…
• Control.Monad.Select2Computation type: Backtracking search, with r as a 'ranking' or
• Control.Monad.State0State monads. This module is inspired by the paper
• Control.Monad.State.Class4MonadState class. This module is inspired by the paper
• Control.Monad.State.Lazy16Lazy state monads. This module is inspired by the paper
• Control.Monad.State.Strict16Strict state monads. This module is inspired by the paper
• Control.Monad.Trans2Classes for monad transformers. A monad transformer makes new monad out of an existing monad, such
• Control.Monad.Writer0The MonadWriter class. Inspired by the paper
• Control.Monad.Writer.CPS12Strict writer monads that use continuation-passing-style to achieve constant
• Control.Monad.Writer.Class3The MonadWriter class. Inspired by the paper
• Control.Monad.Writer.Lazy11Lazy writer monads. Inspired by the paper
• Control.Monad.Writer.Strict10Strict writer monads. Inspired by the paper

• base-4.23.0.0with GHC
• transformers-0.6.3.0with GHC

Used by in this set · 12

• Cabal-3.18.1.0
• Cabal-syntax-3.18.1.0
• constraints-0.14.4
• exceptions-0.10.12
• haddock-api-2.34.0
• hedgehog-1.7
• miso-1.12.0.0
• mmorph-1.2.2
• parsec-3.1.18.0
• polysemy-1.9.2.0
• random-1.3.1
• resourcet-1.3.0