reader package:automaton

Constructor for computations in the reader monad (equivalent to asks).

An Automaton with a ReaderT layer has an extra input. This module converts between explicit automata inputs and implicit ReaderT inputs.

Convert an explicit Automaton input into an environment in the ReaderT monad transformer. This is the opposite of runReaderS.

Convert an implicit ReaderT environment into an explicit Automaton input. This is the opposite of readerS.

Eliminate a ReaderT layer by providing its environment statically.