~/jendhub

def text

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

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

324def text(m: Maybe<&2, Lit>) -> Result<&1, &1, Err, Maybe<&2, String>>:
325  match m:
326    case None{}:
327      Done{None{}}
328    case Some{LStr{s}}:
329      Done{Some{s}}
330    case Some{_}:
331      Fail{BadClaim{}}

Uses (5)

Used by (1)