~/jendhub

def route_call

cli@0.2.0.0 · cli.bend:4861

import cli@0.2.0.0/cli.bend as Cli
import Base

4861def route_call(-A: Type, bad: Maybe<&2, String>, call: Call(A),
4862    m: Matches) -> Dec(A):
4863  match bad:
4864    case None{}: call(m)
4865    case Some{key}:
4866      Fail{Bug{String.concat(["route '", key, "' is not a command"])}}

Uses (9)

Used by (1)