~/jendhub

def Cursor.read.done

bend-kit-bytes@0.3.3.0 · bytes.bend:868

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

868def Cursor.read.done(~T: Data, +pos: U32, start: U32, end: U32, +n: U32, r: Bytes & Maybe<&2, T>) -> Cursor & Maybe<&2, T>:
869  (b, m) = r
870  match m:
871    case None{}:
872      (Cursor{b, pos, start, end}, None{})
873    case Some{v}:
874      (Cursor{b, (pos + n : U32), start, end}, Some{v})

Uses (7)

Used by (1)