List of all items
Structs
- JournalReader
- JournalRecord
- JournalWriter
- ReaderPosition
- ReplayCursor
- WriterConfig
- model::RecordModel
- model::SeqAssigner
Enums
Traits
Functions
- model::classify_header
- model::encoded_len
- model::fits_u32_frame
- model::frame_complete
- model::frame_overhead
- model::frame_size
- model::law_assign_advances_next_by_one
- model::law_bad_magic_when_prefix_contradicts
- model::law_chained_frame_adds_exactly_digest_len
- model::law_consecutive_seqs_have_no_gap
- model::law_empty_header_on_no_bytes
- model::law_encoded_len_at_least_overhead
- model::law_encoded_len_is_overhead_plus_fields
- model::law_encoded_len_monotonic_in_payload
- model::law_first_seq_is_one
- model::law_frame_complete_iff_frame_fits_after_prefix
- model::law_frame_size_at_least_overhead
- model::law_passing_cap_implies_frame_encodable
- model::law_replay_order_ignores_timestamp
- model::law_seq_overrides_timestamp_disagreement
- model::law_torn_when_consistent_but_incomplete
- model::law_unsupported_flags_when_present_and_wrong
- model::law_unsupported_version_when_present_and_wrong
- model::law_valid_when_complete_and_consistent
- model::law_within_cap_iff_not_greater
- model::within_cap