Module ktn_recipe_verify

Behaviours: ktn_recipe.

Data Types

error() = term()

state() = #{recipe_type => implicit | explicit, recipe => module() | ktn_recipe:transitions(), transitions => ktn_recipe:normalized_transitions(), error => error()}

process_error(X1::state()) -> {error, error()}

process_result(State::state()) -> ok

transitions() -> [verify_exports | verify_normalizability | verify_transitions | verify_transition_exports]

verify_exports(State::state()) -> {ok, state()} | {error, state()}

verify_normalizability(State::state()) -> {ok, state()} | {error, state()}

verify_transition_exports(State::state()) -> {ok, state()} | {error, state()}

verify_transitions(State::state()) -> {ok, state()} | {error, state()}

Generated by EDoc