~/jendhub

def read_check

cli@0.2.0.0 · cli.bend:4559

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

4559# Validation first; reading a validated value never fails (§6.5).
4560def read_check(~T: Data, ~get: Field -> T, verdict: Maybe<&2, String>,
4561    fields: List<&2, Field>, id: String) -> Dec(T):
4562  match verdict:
4563    case None{}: Done{get(field_find(fields, id))}
4564    case Some{msg}: Fail{Bug{msg}}

Uses (8)

Used by (1)