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
- Control.Monad.AccumComputation type: Accumulation (either append-only state, or writer with
- Control.Monad.ContComputation type: Computations which can be interrupted and resumed. Binding strategy: Binding a function to a monadic value creates
- Control.Monad.Cont.ClassComputation type: Computations which can be interrupted and resumed. Binding strategy: Binding a function to a monadic value creates
- Control.Monad.Error.ClassComputation type: Computations which may fail or throw exceptions. Binding strategy: Failure records information about the cause/location
- Control.Monad.ExceptComputation type: Computations which may fail or throw exceptions. Binding strategy: Failure records information about the cause/location
- Control.Monad.IdentityComputation type: Simple function application. Binding strategy: The bound function is applied to the input value.
- Control.Monad.RWSDeclaration of the MonadRWS class. Inspired by the paper
- Control.Monad.RWS.CPSStrict RWS monad that uses continuation-passing-style to achieve constant
- Control.Monad.RWS.ClassDeclaration of the MonadRWS class. Inspired by the paper
- Control.Monad.RWS.LazyLazy RWS monad. Inspired by the paper
- Control.Monad.RWS.StrictStrict RWS monad. Inspired by the paper
- Control.Monad.ReaderComputation type: Computations which read values from a shared environment. Binding strategy: Monad values are functions from the environ…
- Control.Monad.Reader.ClassComputation type: Computations which read values from a shared environment. Binding strategy: Monad values are functions from the environ…
- Control.Monad.SelectComputation type: Backtracking search, with r as a 'ranking' or
- Control.Monad.StateState monads. This module is inspired by the paper
- Control.Monad.State.ClassMonadState class. This module is inspired by the paper
- Control.Monad.State.LazyLazy state monads. This module is inspired by the paper
- Control.Monad.State.StrictStrict state monads. This module is inspired by the paper
- Control.Monad.TransClasses for monad transformers. A monad transformer makes new monad out of an existing monad, such
- Control.Monad.WriterThe MonadWriter class. Inspired by the paper
- Control.Monad.Writer.CPSStrict writer monads that use continuation-passing-style to achieve constant
- Control.Monad.Writer.ClassThe MonadWriter class. Inspired by the paper
- Control.Monad.Writer.LazyLazy writer monads. Inspired by the paper
- Control.Monad.Writer.StrictStrict 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
Used by in this set · 44
- Cabal-3.18.1.0
- Cabal-syntax-3.18.1.0
- HTTP-4000.5.0
- adjunctions-4.4.4
- cabal-install-3.18.1.0
- cabal-install-solver-3.18.1.0
- concurrency-1.11.0.3
- conduit-1.3.6.1
- constraints-0.14.4
- crypton-x509-store-1.9.0
- crypton-x509-system-1.9.0
- crypton-x509-validation-1.9.1
- dependent-sum-template-0.2.0.2
- exceptions-0.10.12
- free-5.2
- hackage-security-0.6.4.0
- haddock-api-2.34.0
- hedgehog-1.7
- hnix-0.17.0
- hnix-store-nar-0.1.2.0
- hnix-store-remote-0.7.0.0
- hpack-0.39.6
- http-conduit-2.3.9.1
- kan-extensions-5.2.8
- lens-5.3.6
- lens-family-2.1.3
- logict-0.8.2.0
- megaparsec-9.5.0
- microlens-mtl-0.2.1.1
- mmorph-1.2.2
- monad-par-0.3.6
- monad-par-extras-0.3.3
- parsec-3.1.18.0
- polysemy-1.9.2.0
- process-extras-0.7.4
- quickcheck-dynamic-4.0.1
- random-1.3.1
- regex-tdfa-1.3.2.6
- relude-1.2.2.2
- repline-0.4.3.0
- resourcet-1.3.0
- rio-0.1.25.0
- tls-2.4.9
- yaml-0.11.11.2