def need.num

bend-kit-migrate@0.3.0.0 · migrate.bend:440

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

440def need.num(m: Maybe<&1, Scalar>, k: Key) -> Result<&1, &1, Error, Bytes.Bytes>:
441  match m:
442    case None{}:
443      Fail{Missing{k}}
444    case Some{SNum{b}}:
445      Done{b}
446    case Some{s}:
447      Fail{BadField{k}}