def Cursor.read

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

import Base

884def Cursor.read(~T: Data, ~read: Bytes -> @+i:U32 -> Bytes & Maybe<&2, T>, c: Cursor, +n: U32) -> Cursor & Maybe<&2, T>:
885  Cursor{Bytes{+len, buf}, +pos, +start, +end} = c
886  Cursor.read.if(~T, ~read, Cursor.fits(len, pos, start, end, n), Cursor{Bytes{len, buf}, pos, start, end}, n)