remove references to Task

Author: bhansconnect

README.md

@@ -17,10 +17,10 @@ A webserver [platform](https://github.com/roc-lang/roc/wiki/Roc-concepts-explain
 
 ## Example
 
-Run this example server with `$ roc helloweb.roc` (on linux, add `--linker=legacy`) and go to `http://localhost:8000` in your browser. You can change the port (8000) and the host (localhost) by setting the environment variables ROC_BASIC_WEBSERVER_PORT and ROC_BASIC_WEBSERVER_HOST.
+Run this example server with `$ roc hello-web.roc` (on linux, add `--linker=legacy`) and go to `http://localhost:8000` in your browser. You can change the port (8000) and the host (localhost) by setting the environment variables ROC_BASIC_WEBSERVER_PORT and ROC_BASIC_WEBSERVER_HOST.
 
 ```roc
-app [Model, server] { pf: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.10.0/BgDDIykwcg51W8HA58FE_BjdzgXVk--ucv6pVb_Adik.tar.br" }
+app [Model, init!, respond!] { pf: platform "../platform/main.roc" }
 
 import pf.Stdout
 import pf.Http exposing [Request, Response]
@@ -31,19 +31,22 @@ Model : {}
 
 # With `init` you can set up a database connection once at server startup,
 # generate css by running `tailwindcss`,...
-# In this case we don't have anything to initialize, so it is just `Task.ok {}`.
+# In this case we don't have anything to initialize, so it is just `Ok {}`.
+init! : {} => Result Model []
+init! = \{} -> Ok {}
 
-server = { init: Task.ok {}, respond }
-
-respond : Request, Model -> Task Response [ServerErr Str]_
-respond = \req, _ ->
+respond! : Request, Model => Result Response [ServerErr Str]_
+respond! = \req, _ ->
     # Log request datetime, method and url
-    datetime = Utc.now! |> Utc.toIso8601Str
-
-    Stdout.line! "$(datetime) $(Http.methodToStr req.method) $(req.url)"
+    datetime = Utc.to_iso_8601 (Utc.now! {})
 
-    Task.ok { status: 200, headers: [], body: Str.toUtf8 "<b>Hello, web!</b></br>" }
+    try Stdout.line! "$(datetime) $(Inspect.toStr req.method) $(req.uri)"
 
+    Ok {
+        status: 200,
+        headers: [],
+        body: Str.toUtf8 "<b>Hello from server</b></br>",
+    }
 ```
 
 

platform/Env.roc

@@ -52,7 +52,7 @@ var! = \name ->
 ## Reads the given environment variable and attempts to decode it.
 ##
 ## The type being decoded into will be determined by type inference. For example,
-## if this ends up being used like a `Task U16 _` then the environment variable
+## if this ends up being used like a `Result U16 _` then the environment variable
 ## will be decoded as a string representation of a `U16`. Trying to decode into
 ## any other type will fail with a `DecodeErr`.
 ##
@@ -65,8 +65,8 @@ var! = \name ->
 ##
 ## ```
 ## # Reads "NUM_THINGS" and decodes into a U16
-## getU16Var : Str -> Task U16 [VarNotFound, DecodeErr DecodeError] [Read [Env]]
-## getU16Var = \var -> Env.decode! var
+## get_u16_var! : Str => Result U16 [VarNotFound, DecodeErr DecodeError] [Read [Env]]
+## get_u16_var! = \var -> Env.decode! var
 ## ```
 ##
 ## If `NUM_THINGS=123` then `getU16Var` succeeds with the value of `123u16`.
@@ -108,10 +108,9 @@ dict! = \{} ->
 # ##
 # ## If any key or value contains invalid Unicode, the [Unicode replacement character](https://unicode.org/glossary/#replacement_character)
 # ## (`�`) will be used in place of any parts of keys or values that are invalid Unicode.
-# walk : state, (state, Str, Str -> state) -> Task state [NonUnicodeEnv state] [Read [Env]]
-# walk = \state, walker ->
-#     Effect.envWalk state walker
-#     |> InternalTask.fromEffect
+# walk! : state, (state, Str, Str -> state) => Result state [NonUnicodeEnv state] [Read [Env]]
+# walk! = \state, walker ->
+#     Host.env_walk! state walker
 # TODO could potentially offer something like walkNonUnicode which takes (state, Result Str Str, Result Str Str) so it
 # tells you when there's invalid Unicode. This is both faster than (and would give you more accurate info than)
 # using regular `walk` and searching for the presence of the replacement character in the resulting
@@ -123,7 +122,7 @@ dict! = \{} ->
 # decode all the required vars only, and then decode the optional ones separately some other way.
 # Alternatively, it could make sense to have some sort of tag union convention here, e.g.
 # if decoding into a tag union of [Present val, Missing], then it knows what to do.
-# decodeAll : Task val [] [EnvDecodingFailed Str] [Env] where val implements Decoding
+# decode_all : Result val [] [EnvDecodingFailed Str] [Env] where val implements Decoding
 
 ARCH : [X86, X64, ARM, AARCH64, OTHER Str]
 OS : [LINUX, MACOS, WINDOWS, OTHER Str]

platform/Path.roc

@@ -174,8 +174,8 @@ display = \path ->
                 Err _ -> "�"
 
 ## Returns true if the path exists on disk and is pointing at a directory.
-## Returns `Task.ok false` if the path exists and it is not a directory. If the path does not exist,
-## this function will return `Task.err PathErr PathDoesNotExist`.
+## Returns `Ok false` if the path exists and it is not a directory. If the path does not exist,
+## this function will return `Err (PathErr PathDoesNotExist)`.
 ##
 ## This uses [rust's std::path::is_dir](https://doc.rust-lang.org/std/path/struct.Path.html#method.is_dir).
 ##
@@ -186,8 +186,8 @@ is_dir! = \path ->
     Ok (res == IsDir)
 
 ## Returns true if the path exists on disk and is pointing at a regular file.
-## Returns `Task.ok false` if the path exists and it is not a file. If the path does not exist,
-## this function will return `Task.err PathErr PathDoesNotExist`.
+## Returns `Ok false` if the path exists and it is not a file. If the path does not exist,
+## this function will return `Err (PathErr PathDoesNotExist)`.
 ##
 ## This uses [rust's std::path::is_file](https://doc.rust-lang.org/std/path/struct.Path.html#method.is_file).
 ##
@@ -198,8 +198,8 @@ is_file! = \path ->
     Ok (res == IsFile)
 
 ## Returns true if the path exists on disk and is pointing at a symbolic link.
-## Returns `Task.ok false` if the path exists and it is not a symbolic link. If the path does not exist,
-## this function will return `Task.err PathErr PathDoesNotExist`.
+## Returns `Ok false` if the path exists and it is not a symbolic link. If the path does not exist,
+## this function will return `Err (PathErr PathDoesNotExist)`.
 ##
 ## This uses [rust's std::path::is_symlink](https://doc.rust-lang.org/std/path/struct.Path.html#method.is_symlink).
 ##

platform/Tcp.roc

@@ -44,7 +44,7 @@ parse_connect_err = \err ->
         "ErrorKind::Unsupported" -> Unsupported
         other -> Unrecognized other
 
-## Represents errors that can occur when performing a [Task] with a [Stream].
+## Represents errors that can occur when performing an effect with a [Stream].
 StreamErr : [
     StreamNotFound,
     PermissionDenied,

platform/main.roc

@@ -44,8 +44,8 @@ init_for_host! = \_ ->
                 Program exited with error:
                     $(Inspect.toStr err)
 
-                Tip: If you do not want to exit on this error, use `Task.mapErr` to handle the error.
-                Docs for `Task.mapErr`: <https://roc-lang.github.io/basic-webserver/Task/#mapErr>
+                Tip: If you do not want to exit on this error, use `Result.mapErr` to handle the error.
+                Docs for `Result.mapErr`: <https://www.roc-lang.org/builtins/Result#mapErr>
                 """
             Err 1
 
@@ -71,8 +71,8 @@ respond_for_host! = \request, boxed_model ->
                 Server error:
                     $(Inspect.toStr err)
 
-                Tip: If you do not want to see this error, use `Task.mapErr` to handle the error.
-                Docs for `Task.mapErr`: <https://roc-lang.github.io/basic-webserver/Task/#mapErr>
+                Tip: If you do not want to see this error, use `Result.mapErr` to handle the error.
+                Docs for `Result.mapErr`: <https://www.roc-lang.org/builtins/Result#mapErr>
                 """
 
             # returns a http server error response