~/jendhub

def req.params

ezmcp@0.1.0.0 · src/openapi.bend:1212

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

1212# a request with each parameter that has an argument there and not null
1213# put in it (`req.put`), in order
1214def req.params(ps: List<&2, Param>, +args: Value.Json, sofar: Req) -> Req:
1215  match ps:
1216    case []:
1217      sofar
1218    case Param{+name, place} <> rest:
1219      req.params(rest, args, req.arg(arg(args, name), place, name, sofar))

Uses (6)

Used by (1)