From c7f616ea2d4c49beb88f50be9e23b220e2cbfbe1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Domen=20Ko=C5=BEar?= Date: Sat, 13 Oct 2018 21:19:51 +0100 Subject: [PATCH] ResponseHeaders: export GetHeaders' --- servant/src/Servant/API/ResponseHeaders.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/servant/src/Servant/API/ResponseHeaders.hs b/servant/src/Servant/API/ResponseHeaders.hs index 015a83d7..49ebd6c6 100644 --- 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