requests implementation in terms of streams

Author: marzipankaiser

libraries/common/io/requests.effekt

@@ -533,6 +533,17 @@ namespace plain {
         }
     }
   }
+
+  /// Implements the `request` function using an implementation in Effekt.
+  /// `read`s and `emit`s from/to a connection (provided from elsewhere).
+  def request[R]{ body: => Unit / RequestBuilder }{ res: {ResponseReader} => R }: R / { emit[Byte], read[Byte], Exception[RequestError] } = {
+    constructRequest{ body }
+    try {
+      parseResponse{res}
+    } with Exception[WrongFormat] {
+      def raise(e, msg) = do raise(RequestError(), "Malformed response: " ++ msg)
+    }
+  }
 }