Merge pull request #1052 from domenkozar/export-GetHeaders-prime-master

ResponseHeaders: export GetHeaders'
2018-10-15 21:09:35 +03:00 · 2018-10-15 21:09:35 +03:00 · 7561b55e14
commit 7561b55e14
parent 2e5f8e7c5f c7f616ea2d
1 changed files with 1 additions and 0 deletions
--- a/servant/src/Servant/API/ResponseHeaders.hs
+++ b/servant/src/Servant/API/ResponseHeaders.hs
@ -28,6 +28,7 @@ module Servant.API.ResponseHeaders
    , noHeader
    , BuildHeadersTo(buildHeadersTo)
    , GetHeaders(getHeaders)
+    , GetHeaders'
    , HeaderValMap
    , HList(..)
    ) where