def head.alg

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

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

import Base

300def head.alg(m: Maybe<&2, Lit>) -> Result<&1, &1, Err, String>:
301  match m:
302    case Some{LStr{s}}:
303      Done{s}
304    case _:
305      Fail{Malformed{}}

Uses (5)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:head.check