~/jendhub

def params.merge

ezmcp@0.1.0.0 · src/openapi.bend:769

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

769# a Path Item's parameters `ps`, each of its operation's `ops` in turn put
770# in them (`params.put`)
771def params.merge(
772  ops: List<&2, Value.Json>,
773  ps: List<&2, Value.Json>
774) -> List<&2, Value.Json>:
775  match ops:
776    case []:
777      ps
778    case one <> rest:
779      params.merge(rest, params.put(ps, one))

Uses (3)

Used by (1)