Cors.cors.cred_on: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/cors.bend as Cors
Lines 142-149 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=142&end_line=149

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

# append credentials when they are allowed
def cors.cred_on(hs: List<&2, Http.Header>, credentials: Bool)
  -> List<&2, Http.Header>:
  match credentials:
    case False{}:
      hs
    case True{}:
      Http.H{"Access-Control-Allow-Credentials", "true"} <> hs

Uses (3):
  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=emerging-ezhttp@0.21.0.0/src/http.bend&name=Header