update docs for v3.0.0

koka-lang · Jan 13, 2024 · a2847ea · a2847ea
1 parent 0b1fef7
commit a2847ea
Show file tree

Hide file tree

Showing 74 changed files with 6,113 additions and 5,853 deletions.
diff --git a/doc/book.html b/doc/book.html
diff --git a/doc/index.html b/doc/index.html
diff --git a/doc/std_core-source.html b/doc/std_core-source.html
diff --git a/doc/std_core.html b/doc/std_core.html
diff --git a/doc/std_core_hnd-source.html b/doc/std_core_hnd-source.html
diff --git a/doc/std_core_hnd.html b/doc/std_core_hnd.html
diff --git a/doc/std_core_types-source.html b/doc/std_core_types-source.html
diff --git a/doc/std_core_types.html b/doc/std_core_types.html
diff --git a/doc/std_num_ddouble-source.html b/doc/std_num_ddouble-source.html
diff --git a/doc/std_num_ddouble.html b/doc/std_num_ddouble.html
diff --git a/doc/std_num_decimal-source.html b/doc/std_num_decimal-source.html
diff --git a/doc/std_num_decimal.html b/doc/std_num_decimal.html
diff --git a/doc/std_num_float64-source.html b/doc/std_num_float64-source.html
diff --git a/doc/std_num_float64.html b/doc/std_num_float64.html
diff --git a/doc/std_num_int32-source.html b/doc/std_num_int32-source.html
diff --git a/doc/std_num_int32.html b/doc/std_num_int32.html
diff --git a/doc/std_num_int64-source.html b/doc/std_num_int64-source.html
diff --git a/doc/std_num_int64.html b/doc/std_num_int64.html
diff --git a/doc/std_num_random-source.html b/doc/std_num_random-source.html
diff --git a/doc/std_num_random.html b/doc/std_num_random.html
diff --git a/doc/std_os_dir-source.html b/doc/std_os_dir-source.html
diff --git a/doc/std_os_dir.html b/doc/std_os_dir.html
diff --git a/doc/std_os_env-source.html b/doc/std_os_env-source.html
diff --git a/doc/std_os_env.html b/doc/std_os_env.html
diff --git a/doc/std_os_file-source.html b/doc/std_os_file-source.html
diff --git a/doc/std_os_file.html b/doc/std_os_file.html
@@ -26,11 +26,11 @@ <h1><a class="link" href="https://koka-lang.github.io/koka/doc/std_os_file-sourc
 
 <p class="p noindent">   Read a text file synchronously (using UTF8 encoding).
 </p></div></div>
-<div class="decl" id="write_text_file"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_os_file-source.html#write_text_file">write<span class="dash">-</span>text<span class="dash">-</span>file</a></span>( <span class="tp tpp">path</span> <span class="tp sp">:</span>&nbsp;<a class="pp" href="https://koka-lang.github.io/koka/doc/std_os_path.html#type_space_path"><span class="tp">path</span><span class="pc"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>path<span class="fslash last">/</span></span>path: <span class="co">V</span></span></a>, <span class="tp tpp">content</span> <span class="tp sp">:</span>&nbsp;<a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_string"><span class="tp">string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>string: <span class="co">V</span></span></a>, <span class="tp tpp">create<span class="dash">-</span>dir</span> <span class="tp sp">:</span>&nbsp;<span class="tp op">?</span><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_bool"><span class="tp">bool</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>bool: <span class="co">V</span></span></a> ) <span class="tp sp">:</span>&nbsp;<span class="tp sp">&lt;</span><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core.html#type_space_exn"><span class="tp">exn</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash last">/</span></span>exn: <span class="co">HX</span></span></a><span class="tp sp">,</span><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core.html#type_space_fsys"><span class="tp">fsys</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash last">/</span></span>fsys: <span class="co">X</span></span></a><span class="tp sp">&gt;</span> <a class="doc link" href="https://koka-lang.github.io/koka/doc/std_core.html#type_space_types"><span class="tp">types</span></a><span class="tp op"><span class="fslash">/</span></span><span class="tp sp">(</span><span class="tp sp">)</span></div><div class="doc koka comment">
+<div class="decl" id="write_text_file"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_os_file-source.html#write_text_file">write<span class="dash">-</span>text<span class="dash">-</span>file</a></span>( <span class="tp tpp">path</span> <span class="tp sp">:</span>&nbsp;<a class="pp" href="https://koka-lang.github.io/koka/doc/std_os_path.html#type_space_path"><span class="tp">path</span><span class="pc"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>path<span class="fslash last">/</span></span>path: <span class="co">V</span></span></a>, <span class="tp tpp">content</span> <span class="tp sp">:</span>&nbsp;<a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_string"><span class="tp">string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>string: <span class="co">V</span></span></a>, <span class="tp tpp">create<span class="dash">-</span>dir</span> <span class="tp sp">:</span>&nbsp;<span class="tp sp">?</span> <a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_bool"><span class="tp">bool</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>bool: <span class="co">V</span></span></a> ) <span class="tp sp">:</span>&nbsp;<span class="tp sp">&lt;</span><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core.html#type_space_exn"><span class="tp">exn</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash last">/</span></span>exn: <span class="co">HX</span></span></a><span class="tp sp">,</span><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core.html#type_space_fsys"><span class="tp">fsys</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash last">/</span></span>fsys: <span class="co">X</span></span></a><span class="tp sp">&gt;</span> <span class="tp sp">(</span><span class="tp sp">)</span></div><div class="doc koka comment">
 
 <p class="p noindent">   Write a text file synchronously (using UTF8 encoding).
 </p></div></div>
-<div class="decl" id="-private-imports"><div class="header code"><span class="def"><span class="kw">private import</span>&nbsp;<span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_hnd.html"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core.html"><span class="mo">std<span class="fslash">/</span>core</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_os_path.html"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>path</span><span class="pc"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>path</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_os_dir.html"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>dir</span><span class="pc"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>dir</span></span></a></span></span></div></div>
+<div class="decl" id="-private-imports"><div class="header code"><span class="def"><span class="kw">private import</span>&nbsp;<span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_hnd.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core.html#_null_"><span class="mo">std<span class="fslash">/</span>core</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_os_path.html#_null_"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>path</span><span class="pc"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>path</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_os_dir.html#_null_"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>dir</span><span class="pc"><span class="mo">std<span class="fslash">/</span>os<span class="fslash">/</span>dir</span></span></a></span></span></div></div>
 </body>
 </html>