AlphaGitHub
Source/Packages

Data.Bytes

packages/foundation/standard/src/Data/Bytes.alpha

1,462 lines172 declarations57.0 KiBSHA-256 55edb6a9adcd
Download exact fileView at revisionf5034773ad4bb52133

def · lines 192–241

dataBytesErrorCodeBytes

Full file
192def dataBytesErrorCodeBytes =
193  (lambda unrestricted code : (family DataBytesErrorCode) .
194    (eliminate
195      DataBytesErrorCode
196      (lambda unrestricted current : (family DataBytesErrorCode) . Bytes)
197      code
198      (branch
199        DataBytesWord32InputTooShort
200        .
201        b"ALPHA-DATA-BYTES-001")
202      (branch
203        DataBytesWord64InputTooShort
204        .
205        b"ALPHA-DATA-BYTES-002")
206      (branch
207        DataBytesLengthOverflow
208        .
209        b"ALPHA-DATA-BYTES-003")
210      (branch
211        DataBytesOffsetOverflow
212        .
213        b"ALPHA-DATA-BYTES-004")
214      (branch
215        DataBytesOffsetOutOfRange
216        .
217        b"ALPHA-DATA-BYTES-005")
218      (branch
219        DataBytesIndexOutOfRange
220        .
221        b"ALPHA-DATA-BYTES-006")
222      (branch
223        DataBytesSliceOutOfRange
224        .
225        b"ALPHA-DATA-BYTES-007")
226      (branch
227        DataBytesWord32MalformedLength
228        .
229        b"ALPHA-DATA-BYTES-008")
230      (branch
231        DataBytesWord64MalformedLength
232        .
233        b"ALPHA-DATA-BYTES-009")
234      (branch
235        DataBytesAllocationLimitExceeded
236        .
237        b"ALPHA-DATA-BYTES-010")
238      (branch
239        DataBytesBuilderInvariantViolation
240        .
241        b"ALPHA-DATA-BYTES-011")))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.