ResponseHeaders: export GetHeaders'
commitc7f616ea2d4c49beb88f50be9e23b220e2cbfbe1
authorDomen Kožar <domen@dev.si>
dateSat 13 Oct 2018, 21:19 (8 years ago)
parent26b98f0
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