def cors.names

emerging-ezhttp@0.21.0.0 · src/cors.bend:108

import Base

108# requested header names against the allow list
109def cors.names(ps: List<&2, String>, +allow: List<&2, String>) -> Bool:
110  match ps:
111    case []:
112      True{}
113    case h <> t:
114      cors.names.step(cors.hit_ci(String.trim(h), allow), _u => cors.names(t, allow))