}
-- Resource の視點で見た時の状態。常に上から下へ行き、逆行しない。初期
--- 状態は ExaminingHeader (リクエストボディが有る時) または
--- DecidingHeader (無い時)。終了状態は常に Done
-data InteractionState = ExaminingHeader
+-- 状態は ExaminingRequest。
+data InteractionState = ExaminingRequest
| GettingBody
| DecidingHeader
| DecidingBody
bodyToSend <- newTVarIO B.empty
bodyIsNull <- newTVarIO True -- 一度でも bodyToSend が空でなくなったら False
- state <- newTVarIO undefined
+ state <- newTVarIO ExaminingRequest
wroteContinue <- newTVarIO False
wroteHeader <- newTVarIO False