def json.parsed

bend-kit-camber@0.15.0.1 · input.bend:281

import bend-kit-camber@0.15.0.1/input.bend as Input

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

281def json.parsed(fuel: Nat, value: Maybe<&1, Json.Val>) -> Result<&2, &1, U32, Json.Val>:
282  match value:
283    case None{}: Fail{400}
284    case Some{value}: checked(~Json.Val, unique(fuel, Some{Value{value, Nil{}}}))

Uses (9)

Used by (1)

bend-kit-camber@0.15.0.1/input:json.accepted