def missing.at

ezmcp@0.1.0.0 · src/openapi.bend:1430

import ezmcp@0.1.0.0/src/openapi.bend as Openapi

import Base

1430def missing.at(
1431  has: Bool,
1432  name: String,
1433  more: Unit -> Maybe<&2, String>
1434) -> Maybe<&2, String>:
1435  match has:
1436    case True{}:
1437      more(Unit{})
1438    case False{}:
1439      Some{name ++ ": Required"}

Uses (5)

Used by (1)

ezmcp@0.1.0.0/src/openapi:missing