def read32.result

bend-kit-protobuf@0.2.0.0 · protobuf.bend:50

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as B

50def read32.result(r: B.Cursor & Maybe<&2, U32>) -> Result<&2, &1, Error, B.Cursor & U32>:
51  (c, v) = r
52  match v:
53    case None{}:
54      Fail{Incomplete{}}
55    case Some{x}:
56      Done{(c, x)}