def encode.checked

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:188

import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest

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

188def encode.checked(manifest: Manifest, valid: Bool) -> Result<&1, &1, Error, Bytes.Bytes>:
189  match valid:
190    case False{}:
191      Fail{InvalidName{}}
192    case True{}:
193      encode.body.checked(manifest)

Uses (6)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/Manifest:serialize