This module defines the ktn_recipe behaviour.
Required callback functions: transitions/0, process_result/1, process_error/1.
invalid_result() = term()
normalized_transitions() = [transition()]
output() = ok | error | halt | term()
step() = atom() | transition() | step_fun()
step_fun() = fun((term()) -> {output(), term()} | invalid_result())
transition() = {step_fun(), output(), output() | step_fun()}
transitions() = [step()]
normalize/1 | |
pretty_print/1 | |
run/2 | |
run/4 | |
verify/1 |
normalize(Mod::module() | transitions()) -> normalized_transitions()
pretty_print(Mod::atom() | transitions()) -> ok
run(Mod::atom(), InitialState::term()) -> term()
run(Transitions::transitions(), ResultFun::step_fun(), ErrorFun::step_fun(), InitialState::term()) -> term()
verify(Mod::atom() | transitions()) -> term()
Generated by EDoc