def cors.headers_empty

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

import Base

116# an empty request-header list asks for nothing
117def cors.headers_empty(+requested: String, +allow: List<&2, String>, empty: Bool)
118  -> Bool:
119  match empty:
120    case True{}:
121      True{}
122    case False{}:
123      cors.names(String.split(requested, ','), allow)