Event
Fixtype of events.
This is a tagged union type, introduced by fty::deftagsum.
Member Tags → Types
- :create → event-create
- :receive → event-receive
- :store → event-store
- :advance → event-advance
- :commit → event-commit
- :timeout → event-timeout
The system changes its state (see system-state)
in response to the following events:
- A validator creates a new certificate.
Note that the certificate includes the author,
i.e. it indicates the validator.
This adds the certificate to the DAG of the validator,
and broadcasts the certificate on the network.
- A validator receives a certificate,
from a message in the network,
which is removed from the network
and added to the buffer of the validator.
Note that the message indicates the validator,
as the destination.
- A validator stores a certificate into the DAG,
moving it there from the buffer.
The event indicates the validator and the certificate.
- A validator advances its round.
- A validator commits anchors.
- A validator times out.
Subtopics
- Event-case
- Case macro for the different kinds of event structures.
- Event-fix
- Fixing function for event structures.
- Eventp
- Recognizer for event structures.
- Event-equiv
- Basic equivalence relation for event structures.
- Event-store
- Event-timeout
- Event-receive
- Event-create
- Event-commit
- Event-advance
- Event-kind
- Get the kind (tag) of a event structure.
