def fail.if

bend-kit-jwt@0.11.0.1 · jwt.bend:293

import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt

import Base

293def fail.if(bad: Bool, +e: Err) -> Result<&1, &1, Err, Unit>:
294  match bad:
295    case True{}:
296      Fail{e}
297    case False{}:
298      Done{Unit{}}

Uses (4)

Used by (2)