Skip to content

Commit

Permalink
update for v3.1.0
Browse files Browse the repository at this point in the history
  • Loading branch information
@daanx
daanx committed Feb 15, 2024
1 parent 741ccac commit 35a782a
Show file tree
Hide file tree
Showing 104 changed files with 23,294 additions and 1,892 deletions.
5,660 changes: 5,641 additions & 19 deletions doc/book.html
View file

Large diffs are not rendered by default.

1,464 changes: 1,430 additions & 34 deletions doc/index.html
View file

Large diffs are not rendered by default.

264 changes: 262 additions & 2 deletions doc/std_core-source.html
View file

Large diffs are not rendered by default.

128 changes: 64 additions & 64 deletions doc/std_core.html
View file

Large diffs are not rendered by default.

59 changes: 57 additions & 2 deletions doc/std_core_bool-source.html
View file

Large diffs are not rendered by default.

36 changes: 18 additions & 18 deletions doc/std_core_bool.html
View file

Large diffs are not rendered by default.

117 changes: 115 additions & 2 deletions doc/std_core_char-source.html
View file

Large diffs are not rendered by default.

48 changes: 24 additions & 24 deletions doc/std_core_char.html
View file

Large diffs are not rendered by default.

87 changes: 85 additions & 2 deletions doc/std_core_console-source.html
View file

Large diffs are not rendered by default.

14 changes: 7 additions & 7 deletions doc/std_core_console.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
</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>
<h1><a class="link" href="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">
Expand All @@ -26,27 +26,27 @@ <h1 class="synopsis">Standard output to the console.

<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">
<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="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">
<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="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">
<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="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">
<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="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">
<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="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 class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_unsafe.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</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_string.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>string</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_show.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>show</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>show</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="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="std_core_unsafe.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span></span></a></span>, <span class="code"><a class="pp" href="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="std_core_string.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>string</span></span></a></span>, <span class="code"><a class="pp" href="std_core_show.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>show</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>show</span></span></a></span></span></div></div>
</body>
</html>

Expand Down
Loading

0 comments on commit 35a782a

Please sign in to comment.