Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
runFinish' :: Finish α α -> α Source
FinishT | |
|
MonadBase η μ => MonadBase η (FinishT f μ) | |
MonadBaseControl η μ => MonadBaseControl η (FinishT e μ) | |
MonadTrans (FinishT f) | |
MonadTransControl (FinishT f) | |
BindTrans (FinishT f) | |
Monad μ => Monad (FinishT f μ) | |
Functor μ => Functor (FinishT f μ) | |
MonadFix μ => MonadFix (FinishT f μ) | |
(Functor μ, Monad μ) => Applicative (FinishT f μ) | |
Monad μ => Pointed (FinishT f μ) | |
(Functor μ, Monad μ) => Apply (FinishT f μ) | |
(Functor μ, Monad μ) => Bind (FinishT f μ) | |
MonadIO μ => MonadIO (FinishT f μ) | |
data StT (FinishT f) = StFinish {
| |
data StM (FinishT e μ) = StMFinish {
|
runFinishT' :: Monad μ => FinishT α μ α -> μ α Source