Package2.3.1Control
mtl
Monad classes for transformers, using functional dependencies
- Version2.3.1
- CategoryControl
- LicenceBSD-3-Clause
- AuthorAndy Gill
- Maintainerchessai <chessai1996@gmail.com>, Emily Pillmore <emilypi@cohomolo.gy>, Koz Ross <koz.ross@retro-freedom.nz>
- Homepagegithub.com/haskell/mtl
- Pinned bywith GHC
- Sourcehackage.haskell.org/package/mtl-2.3.1
Modules
24 modules- Control.Monad.Accum3Computation 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.Class7Computation type: Computations which may fail or throw exceptions. Binding strategy: Failure records information about the cause/location
- Control.Monad.Except15Computation 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.CPS10Strict 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.20.2.0with GHC
- transformers-0.6.1.1with GHC
Used by in this set · 169
- Agda-2.7.0.1
- BNFC-2.9.5
- Cabal-3.12.1.0
- Cabal-syntax-3.12.1.0
- ChasingBottoms-1.3.1.16
- HTTP-4000.4.1
- Hclip-3.0.0.4
- HsYAML-0.2.1.4
- JuicyPixels-3.3.8
- MonadPrompt-1.0.0.5
- MonadRandom-0.6.2
- PyF-0.11.3.0
- STMonadTrans-0.4.8
- adjunctions-4.4.3
- apecs-0.9.6
- autodocodec-0.5.0.0
- autodocodec-schema-0.2.0.1
- binary-parser-0.5.7.6
- blaze-svg-0.3.7
- breakpoint-0.1.4.0
- brick-2.10
- cabal-install-3.12.1.0
- cabal-install-solver-3.12.1.0
- composite-base-0.8.3.0
- conduit-1.3.6.1
- conduit-parse-0.2.1.1
- conformance-0.1.0.0
- constraints-0.14.2
- criterion-1.6.4.0
- crypton-x509-store-1.6.11
- crypton-x509-system-1.6.7
- crypton-x509-validation-1.6.14
- data-sketches-0.3.1.0
- dependent-sum-template-0.2.0.1
- deque-0.4.4.1
- dhall-1.42.3
- djot-0.1.2
- dns-4.2.0
- doclayout-0.4.0.1
- doctemplates-0.11
- either-5.0.3
- equivalence-0.4.1
- exceptions-0.10.9
- filemanip-0.3.6.3
- free-5.2
- ghc-exactprint-1.10.0.0
- grapesy-1.1.1
- graphviz-2999.20.2.0
- grpc-spec-1.0.0
- hackage-security-0.6.3.2
- hdaemonize-0.5.7
- hedgehog-1.7
- hedis-0.15.2
- hoauth2-providers-0.8.0
- hpack-0.38.2
- hslua-2.3.1
- hslua-aeson-2.3.1
- hslua-core-2.3.2
- hslua-marshalling-2.3.1
- hslua-objectorientation-2.3.1
- hslua-packaging-2.3.1
- http-common-0.8.3.4
- http-conduit-2.3.9.1
- http-streams-0.8.9.9
- hxt-9.3.1.22
- inline-c-0.9.1.10
- inspection-testing-0.6.2
- jira-wiki-markup-1.5.1
- jose-0.11
- jose-jwt-0.10.0
- kan-extensions-5.2.7
- katip-0.8.8.0
- language-c-0.9.3
- lens-5.3.5
- lens-family-2.1.3
- libxml-0.1.1
- list-transformer-1.1.1
- log-base-0.12.0.1
- logict-0.8.2.0
- lucid-2.11.20230408
- megaparsec-9.7.0
- mfsolve-0.3.2.2
- microlens-mtl-0.2.1.0
- mmorph-1.2.1
- modern-uri-0.3.6.0
- monad-logger-0.3.42
- monad-par-0.3.6
- monad-par-extras-0.3.3
- monad-time-0.4.0.0
- mtl-prelude-2.0.3.2
- openapi3-3.2.4
- operational-0.2.4.2
- opt-env-conf-0.11.0.0
- optics-0.4.2.1
- optics-extra-0.4.2.1
- optics-th-0.4.1
- parsec-3.1.18.0
- parsers-0.12.12
- parsers-megaparsec-0.1.0.2
- pcre2-2.2.1
- persistent-2.14.6.3
- persistent-postgresql-2.13.6.2
- persistent-sqlite-2.13.3.0
- persistent-test-2.13.1.3
- pipes-4.3.16
- pipes-safe-2.3.5
- polysemy-1.9.2.0
- polysemy-zoo-0.8.2.0
- pretty-simple-4.1.3.0
- process-extras-0.7.4
- prometheus-client-1.1.1
- random-1.2.1.3
- random-fu-0.3.0.1
- raven-haskell-0.1.4.1
- rebase-1.21.2
- refined-0.8.2
- regex-tdfa-1.3.2.5
- relude-1.2.0.0
- repline-0.4.3.0
- req-3.13.3
- resourcet-1.3.0
- retry-0.9.3.1
- rio-0.1.22.0
- rvar-0.3.0.2
- scotty-0.22
- selda-0.5.2.1
- servant-0.20.2
- servant-auth-server-0.4.9.0
- servant-client-0.20.2
- servant-server-0.20.2
- shelly-1.12.1
- skylighting-core-0.14.1.2
- smallcheck-1.2.1.1
- snap-core-1.0.5.1
- snap-server-1.1.2.1
- snappy-c-0.1.1
- stache-2.3.4
- statestack-0.3.1.1
- streaming-0.2.4.0
- streaming-bytestring-0.3.2
- streamly-0.10.1
- stripeapi-3.0.0.0
- swagger2-2.8.9
- sydtest-0.22.0.0
- tasty-golden-2.3.5
- tasty-rerun-1.1.19
- tasty-silver-3.3.2.1
- texmath-0.12.8.9
- th-desugar-1.17
- th-orphans-0.13.16
- th-reify-many-0.1.10
- tidal-1.9.5
- timeout-0.1.1
- tls-2.1.6
- tomland-1.3.3.3
- trifecta-2.1.4
- typst-0.5.0.3
- vty-6.5
- vty-unix-0.2.0.0
- weigh-0.0.18
- wizards-1.0.3
- x509-store-1.6.9
- x509-system-1.6.7
- x509-validation-1.6.12
- xmlgen-0.6.2.2
- yaml-0.11.11.2
- yesod-core-1.6.26.0
- yesod-test-1.6.19
- zip-archive-0.4.3.2