Pipes.Misc.State.Strict

Documentation

store :: MonadState s m => Getter a b -> Setter' s b -> Pipe a a m r

Store the output of the pipe into a MonadState.

retrieve :: MonadState s m => Getter s b -> Pipe a (b, a) m r

Yields a view into the stored value.

retrieve' :: MonadState s m => Getter s b -> Pipe () b m r

Yields a view into the stored value

onState :: MonadState s m => (s -> m ()) -> Pipe a a m r

Do something with the state everytime there is a yield.

rsPipe :: (Monad m, MonadTrans t, MonadState s (t m)) => ReaderT a (StateT s m) b -> Pipe a b (t m) r

Converts a Gadget into a Pipe

rsProducer :: (MonadState s (t STM), MonadTrans t) => Input a -> ReaderT a (StateT s STM) b -> Producer' b (t STM) ()

Convert a Input and a Gadget into a stateful Producer of commands to interpret.