Crate hax_lib_protocol_macros

Structs§

Transition 🔒: A structure to parse transition tuples from read and write macros.

init: This macro takes an fn as the basis of an InitialState implementation for the state type that is returned by the fn (on success).
init_empty: This macro takes an fn as the basis of an InitialState implementation for the state type that is returned by the fn (on success).
read: Macro deriving a ReadState implementation for the destination state type, consuming a message of message_type and the current state, as indicated by the transition tuple.
write: Macro deriving a WriteState implementation for the origin state type, generating a message of message_type and a new state, as indicated by the transition tuple.