Tokenize the given input and delegate to interpT
to compute an effectful state transition.
Tokenize the given input and delegate to interpT
to compute an effectful state transition.
If the input contains no tokens the returned transition is a no-op.
Parse the given tokenized input and return an appropriate effectful state transition.
Parse the given tokenized input and return an appropriate effectful state transition. In the case of ambiguous or unparseable input the transition will leave the state unaffected and emit a helpful error message.
A list of
Command
values for a given session type, with methods to interpret an input string, yielding an effectful state transition.