Expand description
Compile-time typestate markers and traits for Emboss views and writers.
Structs§
- Complete
State - Complete view state. All fields in the current layout fit within storage.
- OkState
- Ok view state. All fields in the current layout fit within storage and are valid.
- Unchecked
State - Unchecked view or field state. Requires runtime-checked
try_accessors.
Traits§
- Check
Complete - Trait for verifying dynamic layout completeness at runtime, upgrading the typestate to
CompleteState. - CheckOk
- Trait for verifying validity at runtime, upgrading the typestate to
OkState. - Infallible
Read - Infallible read operation for views in a verified typestate (
IsOk). - Infallible
Write - Infallible write operation for views in a verified typestate (
IsComplete), consuming self and transitioning to the mutated state. - Into
Writer - Trait for converting a mutable view or storage into a self-consuming typestate Writer.
- IsComplete
- Marker trait for states that guarantee full layout completeness.
- IsOk
- Marker trait for states that guarantee layout completeness and validity.
- State
- Typestate transition trait for layout and validation mutations.
Type Aliases§
- Ok
- Alias for
OkState.