Documentation

data Config Source #

data Program Source #

interpreter :: (InputMap, Program) -> Config -> OutputWriter (Maybe Config) Source #

initialConfig :: Maybe (Spec, State) -> Config Source #

rest_disabled :: Config -> [Tagged] Source #

rest_enabled :: Config -> [Tagged] Source #

get_transition :: Transition -> (Tagged, Bool) Source #

context2config :: Context -> Config Source #

make_initial_state :: Spec -> Initialiser -> State Source #

type OutputWriter = Writer [Output] Source #

data Output Source #

getOutput :: OutputWriter a -> (a, [Output]) Source #

errors :: [Output] -> [Error] Source #

violations :: [Output] -> [Violation] Source #

ex_triggers :: [Output] -> [TransInfo] Source #

query_ress :: [Output] -> [QueryRes] Source #

inst_query_ress :: [Output] -> [[Tagged]] Source #

missing_inputs :: [Output] -> [Tagged] Source #

convert_programs :: [Phrase] -> [Program] Source #

collapse_programs :: [Program] -> Program Source #