def lookup.at

ezmcp@0.1.0.0 · src/openapi.bend:152

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

152def lookup.at(
153  hit: Bool,
154  val: Value.Json,
155  more: Unit -> Maybe<&2, Value.Json>
156) -> Maybe<&2, Value.Json>:
157  match hit:
158    case True{}:
159      Some{val}
160    case False{}:
161      more(Unit{})

Uses (4)

Used by (1)

ezmcp@0.1.0.0/src/openapi:lookup