Documentation
runFinish' :: Finish α α -> αSource
FinishT | |
|
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 μ) | |
MonadIO μ => MonadIO (FinishT f μ) | |
MonadControlIO μ => MonadControlIO (FinishT f μ) | |
Monad μ => Pointed (FinishT f μ) | |
(Functor μ, Monad μ) => Apply (FinishT f μ) | |
(Functor μ, Monad μ) => Bind (FinishT f μ) | |
MonadBaseControl μ η => MonadBaseControl (FinishT f μ) η | |
MonadBase μ η => MonadBase (FinishT f μ) η |
runFinishT' :: Monad μ => FinishT α μ α -> μ αSource