~/jendhub

def read_got

gralha-byte-words@0.1.0.0 · words.bend:143

import gralha-byte-words@0.1.0.0/words.bend as Words
import Base

143def read_got(what: String, r: Result<&1, &1, U32 & String, Array<U32> & U32>) -> IO(Array<U32> & U32):
144  match r:
145    case Done{v}:
146      IO.pure(Array<U32> & U32, v)
147    case Fail{e}:
148      do IO<Array<U32> & U32>:
149        Unit <- fail(what, e)
150        IO.die(Array<U32> & U32, 1, "unreachable")

Uses (11)

Used by (1)