Package0.3.0.1Control
monads-tf
Monad classes, using type families
- Version0.3.0.1
- CategoryControl
- LicenceBSD-3-Clause
- AuthorAndy Gill
- MaintainerRoss Paterson <ross@soi.city.ac.uk>, Chris Martin <chris@typeclasses.com>
- Homepagegithub.com/typeclasses/monads-tf
- Pinned byhackage monads-tf 0.3.0.1
- Sourcehackage.haskell.org/package/monads-tf-0.3.0.1
Modules
20 modules- Control.Monad.Cont45Computation type: Computations which can be interrupted and resumed. Binding strategy: Binding a function to a monadic value creates
- Control.Monad.Cont.Class1Computation type: Computations which can be interrupted and resumed. Binding strategy: Binding a function to a monadic value creates
- Control.Monad.Except46Computation type: Computations which may fail or throw exceptions. Binding strategy: Failure records information about the cause/location
- Control.Monad.Except.Class1Computation type: Computations which may fail or throw exceptions. Binding strategy: Failure records information about the cause/location
- Control.Monad.Identity1Computation 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.Class1Declaration of the MonadRWS class. Inspired by the paper
- Control.Monad.RWS.Lazy62Lazy RWS monad. Inspired by the paper
- Control.Monad.RWS.Strict62Strict RWS monad. Inspired by the paper
- Control.Monad.Reader48Computation 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.State0State monads. This module is inspired by the paper
- Control.Monad.State.Class3MonadState class. This module is inspired by the paper
- Control.Monad.State.Lazy53Lazy state monads. This module is inspired by the paper
- Control.Monad.State.Strict53Strict 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.Class3The MonadWriter class. Inspired by the paper
- Control.Monad.Writer.Lazy61Lazy writer monads. Inspired by the paper
- Control.Monad.Writer.Strict61Strict writer monads. Inspired by the paper
Description
Monad classes using type families, with instances for various monad transformers.
Depends on
2 packages- base-4.23.0.0with GHC
- transformers-0.6.3.0with GHC