Cors.cors.simple.skip: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/cors.bend as Cors
Lines 225-234 of emerging-ezhttp@0.21.0.0/src/cors.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/cors.bend&start_line=225&end_line=234

import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http

# leave a reply alone when there is nothing to add
def cors.simple.skip(add: Bool, reply: Http.Reply, hs: List<&2, Http.Header>)
  -> Http.Reply:
  match add reply:
    case False{} r:
      r
    case True{} Http.Torn{why}:
      Http.Torn{why}
    case True{} Http.Reply{status, headers, body}:
      Http.Reply{status, List.append(&2, Http.Header, hs, headers), body}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Reply