def codec.fin

bendonnect-rpc@0.1.0.0 · src/protocol.bend:440

import Base

440def codec.fin(m: Maybe<&2, Codec>) -> Result<&2, &1, Reject, Codec>:
441  match m:
442    case None{}:
443      Fail{Status{400, "empty encoding query parameter"}}
444    case Some{c}:
445      Done{c}