Package2.3.2Control
mtl
Monad classes for transformers, using functional dependencies
- Version2.3.2
- CategoryControl
- LicenceBSD-3-Clause
- AuthorAndy Gill
- MaintainerKoz Ross <koz.ross@retro-freedom.nz> Steven Shuck <stevenjshuck@gmail.com>
- Homepagegithub.com/haskell/mtl
- Pinned bywith GHC
- Sourcehackage.haskell.org/package/mtl-2.3.2
Modules
24 modules- 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
Description
MTL is a collection of monad classes, extending the transformers package, using functional dependencies for generic lifting of monadic actions.
Depends on
2 packages- base-4.23.0.0with GHC
- transformers-0.6.3.0with GHC