= {-# SCC "awaitSomethingToWrite" #-}
do action
<- atomically $!
- do -- キューが空でなくなるまで待つ
- queue <- readTVar tQueue
- when (S.null queue)
- retry
-
+ -- キューが空でなくなるまで待つ
+ do queue <- readTVar tQueue
-- GettingBody 状態にあり、Continue が期待され
-- てゐて、それがまだ送信前なのであれば、
-- Continue を送信する。
case S.viewr queue of
+ EmptyR -> retry
_ :> itr -> do state <- readItr itr itrState id
if state == GettingBody then
do queue <- readTVar tQueue
case S.viewr queue of
+ EmptyR -> return () -- this should never happen
remaining :> _ -> writeTVar tQueue remaining
readItr itr itrWillClose id