def rd.done

bend-kit-runner@0.13.0.1 · runner.bend:903

import Base

903# The value read, when the reader ended at len, the record's end.
904def rd.done(-T: Data, +len: U32, m: Maybe<&1, Rd & T>) -> Maybe<&2, T>:
905  match m:
906    case None{}:
907      None{}
908    case Some{(Rd{b, +at}, +x)}:
909      Bool.pick(Maybe<&2, T>, U32.is_eq(at, len), Some{x}, None{})