def frame.padded

bend-kit-tar@0.3.0.0 · tar.bend:441

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

441def frame.padded(outer: Bytes.CursorLimit, st: St, r: Bytes.Cursor & Bool) -> Bytes.Cursor & St:
442  (c, ok) = r
443  match ok:
444    case True{}:
445      (Bytes.Cursor.leave(c, outer), st)
446    case False{}:
447      (Bytes.Cursor.leave(c, outer), SFail{})

Uses (7)

Used by (1)