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.22.0.0with GHC
transformers-0.6.1.2with GHC

Modules

Description

Depends on

Used by in this set · 79