def read.bool

bendonnect-rpc@0.1.0.0 · src/pbjson.bend:529

import Base
import bend-kit-json@0.6.1.1/json.bend as Json

529def read.bool(v: Json.Val) -> Result<&2, &1, String, Bool>:
530  match v:
531    case Json.Null{}:
532      Done{False{}}
533    case Json.Flag{on}:
534      Done{on}
535    case Json.Num{s}:
536      Fail{"expected a boolean"}
537    case Json.Str{s}:
538      Fail{"expected a boolean"}
539    case Json.Arr{xs}:
540      Fail{"expected a boolean"}
541    case Json.Obj{kvs}:
542      Fail{"expected a boolean"}