poly-control-1.0.0: This package provides abstraction for polymorphic controls, like PolyMonads or PolyApplicatives.

Safe Haskell	None
Language	Haskell2010

Control.Monad.Poly

Documentation

class PolyApplicative m n => PolyMonad m n where Source

Methods

(>>>=) :: m a -> (a -> n b) -> PolyBind m n b Source

Instances

(Monad m, MonoBind m, PolyApplicative m m) => PolyMonad m m Source

polyBind :: PolyMonad m n => m a -> (a -> n b) -> PolyBind m n b Source

polyJoin :: PolyMonad m n => m (n a) -> PolyBind m n a Source