~/jendhub

def choose_check

cli@0.2.0.0 · cli.bend:4758

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

4758def choose_check(-A: Data, verdict: Maybe<&2, String>,
4759    keys: List<&2, String>, values: List<&2, A>,
4760    fields: List<&2, Field>, id: String) -> Dec(Maybe<&2, A>):
4761  match verdict:
4762    case None{}: choose_read(A, keys, values, field_find(fields, id))
4763    case Some{msg}: Fail{Bug{msg}}

Uses (9)

Used by (1)