@@ -134,7 +134,15 @@ newtype Responder = Responder
134-- you can either implement the response inline, or call your own application
134-- you can either implement the response inline, or call your own application
135-- to create the response.
135-- to create the response.
137−-- TBD: explaining what 'Bool' means.
137+-- The result is 'True' if the @PUSH_PROMISE@ frame will be sent, or 'False' if
138+-- it will not. This can happen if server push is disabled, the concurrency
139+-- limit of server-initiated streams is reached, or the associated stream has
140+-- already been closed.
142+-- This function shall ensure that stream data provided after it returns will
143+-- be sent after the @PUSH_PROMISE@ frame, so that servers can implement the
144+-- requirement that any pushed stream for a resource be initiated before
145+-- sending DATA frames that reference it.
138type PushFunc = PushPromise -> Responder -> IO Bool
146type PushFunc = PushPromise -> Responder -> IO Bool
140-- | Create the 'H.RequestHeaders' corresponding to the given 'PushPromise'.
148-- | Create the 'H.RequestHeaders' corresponding to the given 'PushPromise'.