Control.Monad.Runnable
- class (Monad m, RunnableContainer (RunContainer m)) => MonadRunnable m where
- type RunData m
- type ConstructType m :: * -> *
- type RunContainer m :: * -> *
- run :: m a -> RunData m -> RunContainer m (ConstructType m a)
- runData :: m (RunData m)
- construct :: ConstructType m a -> m a
- class RunnableContainer m where
Documentation
class (Monad m, RunnableContainer (RunContainer m)) => MonadRunnable m whereSource
Monads that can be run in the IO monad
Methods
run :: m a -> RunData m -> RunContainer m (ConstructType m a)Source
runData :: m (RunData m)Source
construct :: ConstructType m a -> m aSource
class RunnableContainer m whereSource
Instances