Control.Monad.Ology.Specific.StepT

Documentation

newtype StepT f m a

A monad that can be run step-by-step until the result.

Constructors

MkStepT

Fields

• unStepT :: m (Either a (f (StepT f m a)))

Instances

Functor f => TransConstraint MonadIO (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (StepT f m))

Functor f => TransConstraint Functor (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (StepT f m))

Functor f => TransConstraint Monad (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (StepT f m))

Functor f => MonadTransHoist (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> StepT f m1 --> StepT f m2

Functor f => MonadTrans (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

lift :: Monad m => m a -> StepT f m a

(Functor f, MonadIO m) => MonadIO (StepT f m)

Defined in Control.Monad.Ology.Specific.StepT

Methods

liftIO :: IO a -> StepT f m a

(Functor f, Monad m) => Applicative (StepT f m)

Defined in Control.Monad.Ology.Specific.StepT

Methods

pure :: a -> StepT f m a

(<*>) :: StepT f m (a -> b) -> StepT f m a -> StepT f m b

liftA2 :: (a -> b -> c) -> StepT f m a -> StepT f m b -> StepT f m c

(*>) :: StepT f m a -> StepT f m b -> StepT f m b

(<*) :: StepT f m a -> StepT f m b -> StepT f m a

(Functor f, Functor m) => Functor (StepT f m)

Defined in Control.Monad.Ology.Specific.StepT

Methods

fmap :: (a -> b) -> StepT f m a -> StepT f m b

(<$) :: a -> StepT f m b -> StepT f m a

(Functor f, Monad m) => Monad (StepT f m)

Defined in Control.Monad.Ology.Specific.StepT

Methods

(>>=) :: StepT f m a -> (a -> StepT f m b) -> StepT f m b

(>>) :: StepT f m a -> StepT f m b -> StepT f m b

return :: a -> StepT f m a

runSteps :: Monad m => Extract f -> StepT f m --> m

Run all the steps until done.

pendingStep :: (Functor f, Monad m) => f --> StepT f m

A pending step for this result.