def bad.at

ezmcp@0.1.0.0 · src/openapi.bend:1462

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

import Base
import emerging-ezjson@1.2.0.0/src/value.bend as Value

1462def bad.at(
1463  ok: Bool,
1464  name: String,
1465  sch: Value.Json,
1466  val: Value.Json,
1467  more: Unit -> Maybe<&2, String>
1468) -> Maybe<&2, String>:
1469  match ok:
1470    case True{}:
1471      more(Unit{})
1472    case False{}:
1473      Some{name ++ ": " ++ wanted(sch, val)}

Uses (7)

Used by (1)

ezmcp@0.1.0.0/src/openapi:bad