Copyright | (C) 2011-2013 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Control.Monad.Product
Description
Monad Products
- newtype Product g h a = Product {
- runProduct :: (g a, h a)
Documentation
disjoint Graph
union as a Monad
product
Constructors
Product | |
Fields
|
Instances
(Monad g, Monad h) => Monad (Product g h) Source | |
(Functor g, Functor h) => Functor (Product g h) Source | |
(Applicative g, Applicative h) => Applicative (Product g h) Source | |
(Alternative g, Alternative h) => Alternative (Product g h) Source | |
(MonadPlus g, MonadPlus h) => MonadPlus (Product g h) Source | |
(Alt g, Alt h) => Alt (Product g h) Source | |
(Apply g, Apply h) => Apply (Product g h) Source | |
(Bind g, Bind h) => Bind (Product g h) Source |