update outdated docs examples

Author: Anton-4

platform/Cmd.roc

@@ -131,7 +131,7 @@ status! = |@Cmd(cmd)|
 ##
 ## ```
 ## # Call echo to print "hello world"
-## Cmd.exec!("echo", ["hello world"])
+## Cmd.exec!("echo", ["hello world"]) ? |err| CmdEchoFailed(err)
 ## ```
 exec! : Str, List Str => Result {} [CmdStatusErr InternalIOErr.IOErr]
 exec! = |program, arguments|

platform/File.roc

@@ -53,7 +53,7 @@ IOErr : InternalIOErr.IOErr
 ##
 ## First encode a `val` using a given `fmt` which implements the ability [Encode.EncoderFormatting](https://www.roc-lang.org/builtins/Encode#EncoderFormatting).
 ##
-## For example, suppose you have a `Json.to_compact_utf8` which implements
+## For example, suppose you have a `Json.utf8` which implements
 ## [Encode.EncoderFormatting](https://www.roc-lang.org/builtins/Encode#EncoderFormatting).
 ## You can use this to write [JSON](https://en.wikipedia.org/wiki/JSON)
 ## data to a file like this:
@@ -62,9 +62,9 @@ IOErr : InternalIOErr.IOErr
 ## # Writes `{"some":"json stuff"}` to the file `output.json`:
 ## File.write!(
 ##     { some: "json stuff" },
-##     Path.from_str("output.json"),
-##     Json.to_compact_utf8,
-## )
+##     "output.json",
+##     Json.utf8,
+## )?
 ## ```
 ##
 ## This opens the file first and closes it after writing to it.
@@ -81,7 +81,7 @@ write! = |val, path_str, fmt|
 ##
 ## ```
 ## # Writes the bytes 1, 2, 3 to the file `myfile.dat`.
-## File.write_bytes!([1, 2, 3], Path.from_str("myfile.dat"))?
+## File.write_bytes!([1, 2, 3], "myfile.dat")?
 ## ```
 ##
 ## This opens the file first and closes it after writing to it.
@@ -119,7 +119,7 @@ write_utf8! = |str, path_str|
 ##
 ## ```
 ## # Deletes the file named `myfile.dat`
-## File.delete!(Path.from_str("myfile.dat"), [1, 2, 3])?
+## File.delete!("myfile.dat")?
 ## ```
 ##
 ## > This does not securely erase the file's contents from disk; instead, the operating
@@ -166,9 +166,6 @@ read_utf8! : Str => Result Str [FileReadErr Path IOErr, FileReadUtf8Err Path _]
 read_utf8! = |path_str|
     Path.read_utf8!(Path.from_str(path_str))
 
-# read : Str, fmt => Result contents [FileReadErr Path ReadErr, FileReadDecodingFailed] where contents implements Decoding, fmt implements DecoderFormatting
-# read = |path, fmt|
-#    Path.read! (Path.from_str path) fmt
 
 ## Creates a new [hard link](https://en.wikipedia.org/wiki/Hard_link) on the filesystem.
 ##

platform/Http.roc

@@ -60,7 +60,7 @@ Response : InternalHttp.Response
 ## ```
 ## # GET "roc-lang.org"
 ## { Http.default_request &
-##     url: "https://www.roc-lang.org",
+##     uri: "https://www.roc-lang.org",
 ## }
 ## ```
 ##
@@ -88,9 +88,9 @@ header = |(name, value)| { name, value }
 ## # Prints out the HTML of the Roc-lang website.
 ## response : Response
 ## response =
-##     Http.send!({ Http.default_request & url: "https://www.roc-lang.org" })?
+##     Http.send!({ Http.default_request & uri: "https://www.roc-lang.org" })?
 ##
-## Stdout.line(Str.from_utf8(response.body))?
+## Stdout.line!(Str.from_utf8(response.body))?
 ## ```
 send! : Request => Result Response [HttpErr [Timeout, NetworkError, BadBody, Other (List U8)]]
 send! = |request|

platform/Path.roc

@@ -39,7 +39,7 @@ IOErr : InternalIOErr.IOErr
 ##
 ## First encode a `val` using a given `fmt` which implements the ability [Encode.EncoderFormatting](https://www.roc-lang.org/builtins/Encode#EncoderFormatting).
 ##
-## For example, suppose you have a `Json.to_compact_utf8` which implements
+## For example, suppose you have a `Json.utf8` which implements
 ## [Encode.EncoderFormatting](https://www.roc-lang.org/builtins/Encode#EncoderFormatting).
 ## You can use this to write [JSON](https://en.wikipedia.org/wiki/JSON)
 ## data to a file like this:
@@ -49,7 +49,7 @@ IOErr : InternalIOErr.IOErr
 ## Path.write!(
 ##     { some: "json stuff" },
 ##     Path.from_str("output.json"),
-##     Json.to_compact_utf8,
+##     Json.utf8,
 ## )?
 ## ```
 ##
@@ -264,7 +264,7 @@ with_extension = |path, extension|
 ##
 ## ```
 ## # Deletes the file named `myfile.dat`
-## Path.delete(Path.from_str("myfile.dat"), [1, 2, 3])?
+## Path.delete!(Path.from_str("myfile.dat"))?
 ## ```
 ##
 ## > This does not securely erase the file's contents from disk; instead, the operating
@@ -273,7 +273,7 @@ with_extension = |path, extension|
 ## the last file handle to it is closed, and on UNIX, it will not remove it until the last
 ## [hard link](https://en.wikipedia.org/wiki/Hard_link) to it has been deleted.
 ##
-## > [`File.delete`](File#delete!) does the same thing, except it takes a [Str] instead of a [Path].
+## > [`File.delete!`](File#delete!) does the same thing, except it takes a [Str] instead of a [Path].
 delete! : Path => Result {} [FileWriteErr Path IOErr]
 delete! = |path|
     Host.file_delete!(InternalPath.to_bytes(path))
@@ -283,15 +283,15 @@ delete! = |path|
 ##
 ## ```
 ## # Reads UTF-8 encoded text into a Str from the file "myfile.txt"
-## contents_str = Path.read_utf8(Path.from_str("myfile.txt"))?
+## contents_str = Path.read_utf8!(Path.from_str("myfile.txt"))?
 ## ```
 ##
 ## This opens the file first and closes it after reading its contents.
 ## The task will fail with `FileReadUtf8Err` if the given file contains invalid UTF-8.
 ##
 ## > To read unformatted bytes from a file, you can use [Path.read_bytes!] instead.
 ## >
-## > [`File.read_utf8`](File#read_utf8!) does the same thing, except it takes a [Str] instead of a [Path].
+## > [`File.read_utf8!`](File#read_utf8!) does the same thing, except it takes a [Str] instead of a [Path].
 read_utf8! : Path => Result Str [FileReadErr Path IOErr, FileReadUtf8Err Path _]
 read_utf8! = |path|
     bytes =

platform/Sqlite.roc

@@ -159,7 +159,7 @@ Stmt := Box {}
 ##         id: Sqlite.i64("id"),
 ##         task: Sqlite.str("task"),
 ##     },
-## })
+## })?
 ## ```
 prepare! :
     {

platform/Tcp.roc

@@ -93,7 +93,7 @@ connect! = |host, port|
 ##
 ## ```
 ## # Read up to 64 bytes from the stream
-## received_bytes = File.read_up_to!(stream, 64)?
+## received_bytes = Tcp.read_up_to!(stream, 64)?
 ## ```
 ##
 ## > To read an exact number of bytes or fail, you can use [Tcp.read_exactly!] instead.
@@ -105,7 +105,7 @@ read_up_to! = |@Stream(stream), bytes_to_read|
 ## Read an exact number of bytes or fail.
 ##
 ## ```
-## bytes = File.read_exactly!(stream, 64)?
+## bytes = Tcp.read_exactly!(stream, 64)?
 ## ```
 ##
 ## `TcpUnexpectedEOF` is returned if the stream ends before the specfied number of bytes is reached.
@@ -125,7 +125,7 @@ read_exactly! = |@Stream(stream), bytes_to_read|
 ##
 ## ```
 ## # Read until null terminator
-## bytes = File.read_until!(stream, 0)?
+## bytes = Tcp.read_until!(stream, 0)?
 ## ```
 ##
 ## If found, the delimiter is included as the last byte.
@@ -141,7 +141,7 @@ read_until! = |@Stream(stream), byte|
 ##
 ## ```
 ## # Read a line and then print it to `stdout`
-## line_str = File.read_line!(stream)?
+## line_str = Tcp.read_line!(stream)?
 ## Stdout.line(line_str)?
 ## ```
 ##