Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
A monad that can be run step-by-step until the result.
Instances
Functor f => TransConstraint MonadIO (StepT f) Source # | |
Defined in Control.Monad.Ology.Specific.StepT | |
Functor f => TransConstraint Functor (StepT f) Source # | |
Defined in Control.Monad.Ology.Specific.StepT | |
Functor f => TransConstraint Monad (StepT f) Source # | |
Defined in Control.Monad.Ology.Specific.StepT | |
Functor f => MonadTransHoist (StepT f) Source # | |
Functor f => MonadTrans (StepT f) Source # | |
Defined in Control.Monad.Ology.Specific.StepT | |
(Functor f, MonadIO m) => MonadIO (StepT f m) Source # | |
Defined in Control.Monad.Ology.Specific.StepT | |
(Functor f, Monad m) => Applicative (StepT f m) Source # | |
Defined in Control.Monad.Ology.Specific.StepT | |
(Functor f, Functor m) => Functor (StepT f m) Source # | |
(Functor f, Monad m) => Monad (StepT f m) Source # | |