tiny.zen.HeadingStorageExhaustion
Defined in tiny.zen.
Rejections produced before heading storage is acquired or changed.
API (4)
Fields and members
Public fields and members.
DocumentStorageInUseHeadingCapacityExceededHeadingIdByteCapacityExceededHeadingTextByteCapacityExceeded
Source
Source: lib/zen/src/document/model.zig:25
zig
/// Rejections produced before heading storage is acquired or changed.pub const Exhaustion = error{ /// The document has more headings than storage admits. HeadingCapacityExceeded, /// Visible heading text needs more copied bytes than storage admits. HeadingTextByteCapacityExceeded, /// Resolved heading IDs need more copied bytes than storage admits. HeadingIdByteCapacityExceeded, /// A prior document still borrows this storage; reset after its last use. DocumentStorageInUse,};Source: lib/zen/src/root.zig:198
zig
/// Identifies the exceeded heading region or an already active document.pub const HeadingStorageExhaustion = document.Exhaustion;Also reachable as
Audit
| Definitions | 1 |
|---|---|
| Public names | 2 |
| Members | 4 |
| Version | 26.7.0 |
| Revision | daab053ee433 |