~/jendhub

def choose_read

cli@0.2.0.0 · cli.bend:4751

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

4751def choose_read(-A: Data, keys: List<&2, String>, values: List<&2, A>,
4752    f: Field) -> Dec(Maybe<&2, A>):
4753  match f:
4754    case Field{id, head <> tail, source}:
4755      choice_dec(A, find_by_key(&2, A, keys, values, head))
4756    case _: Done{None{}}

Uses (8)

Used by (1)