on master help sign in
Merge branch 'http2-push' of github.com:yesodweb/wai into wai_http2

# Conflicts: # wai/Network/Wai/HTTP2.hs # warp/Network/Wai/Handler/Warp/HTTP2/Worker.hs

commit883d5c11124b550b23080e4f0e864ec2a2ddb55a authorAndrew Pritchard <awpr@google.com> dateTue 1 Sep 2015, 08:44 (11 years ago) parent37ff84f8e680da
1 file changed+8−4
wai/Network/Wai/HTTP2.hs+8−4
wai/Network/Wai/HTTP2.hs+8−4
@@ -4,23 +4,24 @@ module Network.Wai.HTTP2
44 (
55 -- * Applications
66 HTTP2Application
7+ -- * Responder
78 , Responder
89 , Body
9− , Chunk(..)
1010 , BodyOf
11− , PushFunc
11+ , Chunk(..)
1212 , Trailers
1313 -- * Server push
14+ , PushFunc
1415 , PushPromise(..)
1516 , promiseHeaders
1617 -- * Conveniences
1718 , promoteApplication
18− -- ** 'Responder's
19+ -- ** Responders
1920 , responder
2021 , respondFile
2122 , respondFilePart
2223 , respondNotFound
23− -- ** 'Body's
24+ -- ** Stream Bodies
2425 , SimpleBody
2526 , streamFilePart
2627 , streamBuilder
@@ -91,6 +92,9 @@ type Responder = (forall a. H.Status -> H.ResponseHeaders -> Body a -> IO a)
9192type PushFunc = PushPromise -> Responder -> IO Bool
9293
9394-- | Create the 'H.RequestHeaders' corresponding to the given 'PushPromise'.
95+--
96+-- This is primarily useful for Wai handlers like Warp, and application
97+-- implementers are unlikely to need it.
9498promiseHeaders :: PushPromise -> H.RequestHeaders
9599promiseHeaders p =
96100 [ (":method", promisedMethod p)