def server.read.needs

emerging-ezhttp@0.21.0.0 · src/server.bend:81

import Base
import emerging-ezhttp@0.21.0.0/src/step.bend as Step
import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Spec

81# what the request needs, kept once its head has ended
82def server.read.needs(m: Maybe<&2, Nat>, ps: List<&2, String>)
83  -> Maybe<&2, Nat>:
84  match m:
85    case None{}:
86      Step.step.need(Spec.wire.join(ps))
87    case Some{n}:
88      Some{n}