AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.IndexedRowScatterSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/IndexedRowScatterSM86.alpha

926 lines148 declarations38.7 KiBSHA-256 c86946ffe8c6
Download exact fileView at revisionf5034773ad4bb52133

def · lines 263–277

indexedRowScatterSM86FailureCodeBytes

Full file
263def indexedRowScatterSM86FailureCodeBytes =
264  (lambda unrestricted code : (family IndexedRowScatterSM86FailureCode) .
265    (eliminate
266      IndexedRowScatterSM86FailureCode
267      (lambda unrestricted current : (family IndexedRowScatterSM86FailureCode) . Bytes)
268      code
269      (branch IndexedRowScatterSourceRowOutOfBounds . b"ALPHA-SM86-IDXSCAT-001")
270      (branch IndexedRowScatterSourceComponentOutOfBounds . b"ALPHA-SM86-IDXSCAT-002")
271      (branch IndexedRowScatterClassIdOutOfBounds . b"ALPHA-SM86-IDXSCAT-003")
272      (branch IndexedRowScatterDestinationComponentOutOfBounds . b"ALPHA-SM86-IDXSCAT-004")
273      (branch IndexedRowScatterInstructionCountMismatch . b"ALPHA-SM86-IDXSCAT-005")
274      (branch IndexedRowScatterEncodedByteCountMismatch . b"ALPHA-SM86-IDXSCAT-006")
275      (branch IndexedRowScatterEncodingFailed . b"ALPHA-SM86-IDXSCAT-007")
276      (branch IndexedRowScatterIdentityFailed . b"ALPHA-SM86-IDXSCAT-008")
277      (branch IndexedRowScatterIdentityLengthInvalid . b"ALPHA-SM86-IDXSCAT-009")))

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.