Merge pull request #201 from roc-lang/http

Add Http.get, rename HttpError to HttpErr

platform/File.roc

@@ -6,7 +6,7 @@ module [
     write,
     readUtf8,
     readBytes,
-    # read, # TODO: investigate the problem with Decoding here
+    # read, TODO fix "Ability specialization is unknown - code generation cannot proceed!: DeriveError(UnboundVar)"
     delete,
     isDir,
     isFile,
@@ -143,6 +143,10 @@ readUtf8 : Str -> Task Str [FileReadErr Path ReadErr, FileReadUtf8Err Path _]
 readUtf8 = \path ->
     Path.readUtf8 (Path.fromStr path)
 
+# read : Str, fmt -> Task contents [FileReadErr Path ReadErr, FileReadDecodingFailed] where contents implements Decoding, fmt implements DecoderFormatting
+# read = \path, fmt ->
+#    Path.read (Path.fromStr path) fmt
+
 ## Returns true if the path exists on disk and is pointing at a directory.
 ## Any error will return false.
 ## This uses [rust's std::path::is_dir](https://doc.rust-lang.org/std/path/struct.Path.html#method.is_dir).

platform/Http.roc

@@ -10,6 +10,7 @@ module [
     defaultRequest,
     errorToString,
     send,
+    get,
 ]
 
 import Effect
@@ -103,7 +104,7 @@ errorToString = \err ->
 ## |> Result.withDefault "Invalid UTF-8"
 ## |> Stdout.line
 ## ```
-send : Request -> Task Response [HttpError Err]
+send : Request -> Task Response [HttpErr Err]
 send = \req ->
     # TODO: Fix our C ABI codegen so that we don't this Box.box heap allocation
     Effect.sendRequest (Box.box req)
@@ -123,4 +124,12 @@ send = \req ->
                     headers: meta.headers,
                     body,
                 }
-    |> Task.mapErr HttpError
+    |> Task.mapErr HttpErr
+
+get : Str, fmt -> Task body [HttpErr Http.Err, HttpDecodingFailed] where body implements Decoding, fmt implements DecoderFormatting
+get = \url, fmt ->
+    response = send! { defaultRequest & url }
+
+    Decode.fromBytes response.body fmt
+    |> Result.mapErr \_ -> HttpDecodingFailed
+    |> Task.fromResult

platform/Path.roc

@@ -24,7 +24,7 @@ module [
     write,
     readUtf8,
     readBytes,
-    # read, # TODO: investigate the problem with Decoding here
+    # read, TODO fix "Ability specialization is unknown - code generation cannot proceed!: DeriveError(UnboundVar)"
     delete,
     # These can all be found in Dir as well
     listDir,
@@ -530,14 +530,14 @@ delete : Path -> Task {} [FileWriteErr Path WriteErr]
 delete = \path ->
     toWriteTask path \bytes -> Effect.fileDelete bytes
 
-# read :
-#     Path,
-#     fmt
-#     -> Task
-#         Str
-#         [FileReadErr Path ReadErr, FileReadDecodeErr Path [Leftover (List U8)]Decode.DecodeError ]
-#         [Read [File]]
-#     where val implements Decoding, fmt implements DecoderFormatting
+# read : Path, fmt -> Task contents [FileReadErr Path ReadErr, FileReadDecodingFailed] where contents implements Decoding, fmt implements DecoderFormatting
+# read = \path, fmt ->
+#    contents = readBytes! path
+
+#    Decode.fromBytes contents fmt
+#    |> Result.mapErr \_ -> FileReadDecodingFailed
+#    |> Task.fromResult
+
 # read = \path, fmt ->
 #     effect = Effect.map (Effect.fileReadBytes (InternalPath.toBytes path)) \result ->
 #         when result is