update docs

koka-lang · Jan 26, 2024 · 094e55f · 094e55f
1 parent 51f3b75
commit 094e55f
Show file tree

Hide file tree

Showing 112 changed files with 10,838 additions and 9,096 deletions.
diff --git a/doc/book.html b/doc/book.html
diff --git a/doc/images/vscode-koka-install.png b/doc/images/vscode-koka-install.png
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_bool-source.html b/doc/std_core_bool-source.html
diff --git a/doc/std_core_bool.html b/doc/std_core_bool.html
diff --git a/doc/std_core_char-source.html b/doc/std_core_char-source.html
diff --git a/doc/std_core_char.html b/doc/std_core_char.html
diff --git a/doc/std_core_console-source.html b/doc/std_core_console-source.html
diff --git a/doc/std_core_console.html b/doc/std_core_console.html
@@ -0,0 +1,53 @@
+
+<!DOCTYPE html>
+<html>
+<head>
+<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
+<meta name="viewport" content="initial-scale=1.0" />
+
+<style type="text/css">.koka .plaincode, .koka a.pp .pc { display: none; } .koka a.pp { color: inherit; text-decoration: none; }</style>
+<link rel="stylesheet" type="text/css" href="styles/koka.css" />
+
+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=Nunito:400,400italic,700,700italic" />
+<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=Roboto+Mono:400,500,700,400italic" />
+
+<title>std/core/console documentation</title>
+</head>
+
+<body class="koka doc body madoko">
+<h1><a class="link" href="https://koka-lang.github.io/koka/doc/std_core_console-source.html"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>console</span></a><a class="link" href="toc.html"><span class="toc-link">&#x25b2;toc</span></a></h1>
+<div class="toc code"><ul class="toc"><li><a class="link" href="#type_space_console"><span class="kw">effect</span>&nbsp;<span class="tp">console</span></a>
+</li><li>&nbsp;</li><li><a class="link" href="#show_fs_print"><span class="kw">fun</span>&nbsp;<span class="lq">show<span class="fslash">/</span></span>print</a></li><li><a class="link" href="#show_fs_println"><span class="kw">fun</span>&nbsp;<span class="lq">show<span class="fslash">/</span></span>println</a></li><li><a class="link" href="#string_fs_print"><span class="kw">fun</span>&nbsp;<span class="lq">string<span class="fslash">/</span></span>print</a></li><li><a class="link" href="#string_fs_println"><span class="kw">fun</span>&nbsp;<span class="lq">string<span class="fslash">/</span></span>println</a></li></ul></div>
+<div class="doc koka comment">
+<h1 class="synopsis">Standard output to the console.
+</h1>
+
+
+
+<p class="p noindent">.
+</p></div>
+<div class="decl" id="type_space_console"><div class="header code"><span class="def"><span class="kw">effect</span>&nbsp;<span class="tp"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_console-source.html#type_space_console"><span class="tp">console</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>console<span class="fslash last">/</span></span>console: <span class="co">X</span></span></a></span></span><span class="tp"></span></div><div class="doc koka comment">
+
+<p class="p noindent">The console effect signifies that a function may write to the console.
+</p></div></div>
+<div class="decl" id="show_fs_print"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_core_console-source.html#show_fs_print"><span class="lq">show<span class="fslash">/</span></span>print</a></span>( <span class="tp tpp">x</span> <span class="tp sp">:</span>&nbsp;<span class="tp tv">a</span>, <span class="tp tpp"><span class="lq">?</span>show</span> <span class="tp sp">:</span>&nbsp;<span class="tp sp">(</span><span class="tp tv">a</span><span class="tp sp">)</span> <span class="tp kw op">-></span> <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 sp">:</span>&nbsp;<a class="pp" href="#type_space_console"><span class="tp">console</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>console<span class="fslash last">/</span></span>console: <span class="co">X</span></span></a> <span class="tp sp">(</span><span class="tp sp">)</span></div><div class="doc koka comment">
+
+<p class="p noindent">Print a value that has a <code class="koka">show</code> function.
+</p></div></div>
+<div class="decl" id="show_fs_println"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_core_console-source.html#show_fs_println"><span class="lq">show<span class="fslash">/</span></span>println</a></span>( <span class="tp tpp">x</span> <span class="tp sp">:</span>&nbsp;<span class="tp tv">a</span>, <span class="tp tpp"><span class="lq">?</span>show</span> <span class="tp sp">:</span>&nbsp;<span class="tp sp">(</span><span class="tp tv">a</span><span class="tp sp">)</span> <span class="tp kw op">-></span> <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 sp">:</span>&nbsp;<a class="pp" href="#type_space_console"><span class="tp">console</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>console<span class="fslash last">/</span></span>console: <span class="co">X</span></span></a> <span class="tp sp">(</span><span class="tp sp">)</span></div><div class="doc koka comment">
+
+<p class="p noindent">Print a value that has a <code class="koka">show</code> function, including a final newline character.
+</p></div></div>
+<div class="decl" id="string_fs_print"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_core_console-source.html#string_fs_print"><span class="lq">string<span class="fslash">/</span></span>print</a></span>( <span class="tp tpp">s</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 sp">:</span>&nbsp;<a class="pp" href="#type_space_console"><span class="tp">console</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>console<span class="fslash last">/</span></span>console: <span class="co">X</span></span></a> <span class="tp sp">(</span><span class="tp sp">)</span></div><div class="doc koka comment">
+
+<p class="p noindent">Print a string to the console.
+</p></div></div>
+<div class="decl" id="string_fs_println"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_core_console-source.html#string_fs_println"><span class="lq">string<span class="fslash">/</span></span>println</a></span>( <span class="tp tpp">s</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 sp">:</span>&nbsp;<a class="pp" href="#type_space_console"><span class="tp">console</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>console<span class="fslash last">/</span></span>console: <span class="co">X</span></span></a> <span class="tp sp">(</span><span class="tp sp">)</span></div><div class="doc koka comment">
+
+<p class="p noindent">Print a string to the console, including a final newline character.
+</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#_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></div></div>
+</body>
+</html>
+
+<span data-line=""></span>