| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
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 where Source
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 a Source
class RunnableContainer m where Source
Instances