Modulemachines-0.7.4Haskell2010

Data.Machine.Lift

Utilities for working with machines that run in transformed monads, inspired by Pipes.Lift.

valueexecStateM :: Monad m => s -> MachineT (StateT s m) k o -> MachineT m k o

Given an initial state and a MachineT that runs in StateT s m, produce a MachineT that runs in m.

valuecatchExcept

catchExcept allows a broken machine to be replaced without stopping the assembly line.

valuerunReaderM :: Monad m => e -> MachineT (ReaderT e m) k o -> MachineT m k o

Given an environment and a MachineT that runs in ReaderT e m, produce a MachineT that runs in m.