~/jendhub

def checked

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

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

10# Expected HTTP status, not an exception; the dispatch executor maps it once.
11def checked(~I: Type, value: Maybe<&1, I>) -> Result<&2, &1, U32, I>:
12  match value:
13    case None{}: Fail{400}
14    case Some{input}: Done{input}

Uses (3)

Used by (1)