Control.Monad.Yield.Class

Documentation

class Monad m => MonadYield (a :: Type) (m :: Type -> Type) | m -> a where

Methods

yield :: a -> m ()

Instances

Functor m => MonadYield a (YieldT a m)

Defined in Control.Monad.Trans.Yield

Methods

yield :: a -> YieldT a m ()