@@ -35,27 +35,3 @@ runHttp' = interpret $ \case
3535
3636runHttp :: HttpM a -> IO a
3737runHttp = runM . runHttp'
38−
39−-- open' :: String -> HttpM ()
40−-- open' = send . Open
41−
42−-- close' :: HttpM ()
43−-- close' = send Close
44−
45−-- post' :: String -> HttpM String
46−-- post' = send . Post
47−
48−-- get' :: HttpM String
49−-- get' = send Get
50−
51−-- runHttp' :: Eff (Http ': r) w -> Eff r w
52−-- runHttp' (Val x) = pure x
53−-- runHttp' (E u q) = case decomp u of
54−-- Right (Open _) -> runHttp (qApp q ())
55−-- Right Close -> runHttp (qApp q ())
56−-- Right (Post d) -> runHttp (qApp q d)
57−-- Right Get -> runHttp (qApp q "")
58−-- Left u' -> E u' (tsingleton (runHttp . qApp q ))
59−
60−-- runHttp :: HttpM a -> IO a
61−-- runHttp = runM . runHttp'