Control.Monad.Product

Monad Products

Documentation

newtype Product g h a

disjoint Graph union as a Monad product

Constructors

Product

Fields

runProduct :: (g a, h a)

Instances

(Monad g, Monad h) => Monad (Product g h)

(Functor g, Functor h) => Functor (Product g h)

(Applicative g, Applicative h) => Applicative (Product g h)

(Alternative g, Alternative h) => Alternative (Product g h)

(MonadPlus g, MonadPlus h) => MonadPlus (Product g h)

(Alt g, Alt h) => Alt (Product g h)

(Apply g, Apply h) => Apply (Product g h)

(Bind g, Bind h) => Bind (Product g h)