AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropySM86

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

1,471 lines228 declarations53.2 KiBSHA-256 411308c1414a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 108–118

exactCrossEntropySM86FailureCodeBytes

Full file
108def exactCrossEntropySM86FailureCodeBytes =
109  (lambda unrestricted code : (family ExactCrossEntropySM86FailureCode) .
110    (eliminate
111      ExactCrossEntropySM86FailureCode
112      (lambda unrestricted current : (family ExactCrossEntropySM86FailureCode) . Bytes)
113      code
114      (branch ExactCrossEntropyInstructionCountMismatch . b"ALPHA-SM86-ECE-001")
115      (branch ExactCrossEntropyEncodedByteCountMismatch . b"ALPHA-SM86-ECE-002")
116      (branch ExactCrossEntropyEncodingFailed . b"ALPHA-SM86-ECE-003")
117      (branch ExactCrossEntropyIdentityFailed . b"ALPHA-SM86-ECE-004")
118      (branch ExactCrossEntropyIdentityLengthInvalid . b"ALPHA-SM86-ECE-005")))

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.