Data.Automaton.Trans.Reader

An Automaton with a ReaderT layer has an extra input.

This module converts between explicit automata inputs and implicit ReaderT inputs.

Documentation

module Control.Monad.Trans.Reader

readerS :: Monad m => Automaton m (r, a) b -> Automaton (ReaderT r m) a b

Convert an explicit Automaton input into an environment in the ReaderT monad transformer.

This is the opposite of runReaderS.

runReaderS :: Monad m => Automaton (ReaderT r m) a b -> Automaton m (r, a) b

Convert an implicit ReaderT environment into an explicit Automaton input.

This is the opposite of readerS.

runReaderS_ :: Monad m => Automaton (ReaderT s m) a b -> s -> Automaton m a b

Eliminate a ReaderT layer by providing its environment statically.