Data.Machine.Lift

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

Documentation

execStateM :: 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.

catchExcept :: Monad m => MachineT (ExceptT e m) k o -> (e -> MachineT (ExceptT e m) k o) -> MachineT (ExceptT e m) k o

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

runReaderM :: 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.