Control.Dsl.Monadic

Documentation

newtype Monadic m r a

This Monadic keyword extracts the monadic value of a monadic expression.

Constructors

Monadic (m a)

Instances

Monad m => PolyCont (Monadic m) (m b) a

Defined in Control.Dsl.Monadic

Methods

runPolyCont :: Monadic m r' a -> (a -> m b) -> m b