Merge pull request #1052 from domenkozar/export-GetHeaders-prime-master
ResponseHeaders: export GetHeaders'
commit7561b55e149aa2ed2229fb6e8c8269fa86999a81
authorOleg Grenrus <oleg.grenrus@iki.fi>
dateMon 15 Oct 2018, 21:09 (8 years ago)
parent2e5f8e7c7f616e
servant/src/Servant/API/ResponseHeaders.hs+1
@@ -28,6 +28,7 @@ module Servant.API.ResponseHeaders
2828 , noHeader
2929 , BuildHeadersTo(buildHeadersTo)
3030 , GetHeaders(getHeaders)
31+ , GetHeaders'
3132 , HeaderValMap
3233 , HList(..)
3334 ) where