
  0 | ||| HTTP header type
  1 | module Pact.WAI.Header
  2 | 
  3 | import Data.SortedMap
  4 | 
  5 | ||| HTTP header type
  6 | ||| Represented as a key-value map, both key and value are strings
  7 | public export
  8 | 0 Headers : Type
  9 | Headers = SortedMap String String
 10 | 
 11 | 
 12 | public export
 13 | emptyHeaders : Headers
 14 | emptyHeaders = empty