1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145
|
<!DOCTYPE html>
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
<title>test.gleam</title>
<meta name="generator" content="KF5::SyntaxHighlighting - Definition (Gleam) - Theme (Breeze Light)"/>
</head><body style="background-color:#ffffff;color:#1f1c1b"><pre>
<span style="color:#607880">//// Syntax test file for Gleam</span>
<span style="color:#607880">////</span>
<span style="color:#607880">//// This is a dummy example file and should not be taken as a reference of</span>
<span style="color:#607880">//// well written Gleam, but it does compile correctly appart from an error</span>
<span style="color:#607880">//// for the absent file "./ffi.mjs" and some warnings.</span>
<span style="color:#607880">////</span>
<span style="color:#607880">////</span>
<span style="color:#607880">////</span>
<span style="color:#607880">//// ## Top module documentation comment with markdown formatting</span>
<span style="color:#607880">////</span>
<span style="color:#607880">//// Formats: _italic text_, **bold text**, `monospace text`, ~~strikeout~~</span>
<span style="color:#607880">////</span>
<span style="color:#607880">//// Bullet list:</span>
<span style="color:#607880">////</span>
<span style="color:#607880">//// - item 1</span>
<span style="color:#607880">//// - item 2</span>
<span style="color:#607880">////</span>
<span style="color:#607880">//// Numbered list:</span>
<span style="color:#607880">////</span>
<span style="color:#607880">//// 1. item 1</span>
<span style="color:#607880">//// 2. item 2</span>
<span style="color:#607880">////</span>
<span style="color:#607880">//// [link](https://example.com)</span>
<span style="color:#898887">// </span><span style="color:#ca60ca;font-style:italic">SPDX-FileCopyrightText:</span><span style="color:#898887"> 2024 Louis Guichard <kde@glpda.net></span>
<span style="color:#898887">// </span><span style="color:#ca60ca;font-style:italic">SPDX-License-Identifier:</span><span style="color:#ca60ca;font-style:italic"> </span><span style="color:#ca60ca;font-style:italic">MIT</span>
<span style="font-weight:bold">import</span> <span style="color:#ff5500">gleam/bit_array</span> <span style="font-weight:bold">as</span> <span style="color:#ff5500">bit_string</span>
<span style="font-weight:bold">import</span> <span style="color:#ff5500">gleam/bool</span>
<span style="font-weight:bold">import</span> <span style="color:#ff5500">gleam/dict</span><span style="color:#ca60ca">.{</span><span style="font-weight:bold">type</span> <span style="color:#0057ae">Dict</span><span style="color:#ca60ca">,</span> delete<span style="color:#ca60ca">,</span> get<span style="color:#ca60ca">,</span> insert<span style="color:#ca60ca">}</span>
<span style="font-weight:bold">import</span> <span style="color:#ff5500">gleam/io</span>
<span style="color:#898887">// </span><span style="color:#0057ae;background-color:#e0e9f8">BEGIN</span>
<span style="font-weight:bold">pub</span> <span style="font-weight:bold">fn</span> <span style="color:#644a9b">main</span><span style="color:#ca60ca">()</span> <span style="color:#ca60ca">{</span>
<span style="font-weight:bold">let</span> <span style="font-weight:bold">assert</span> <span style="color:#0057ae">Ok</span><span style="color:#ca60ca">(</span>prefix<span style="color:#ca60ca">)</span> <span style="color:#ca60ca">=</span> bit_string<span style="color:#ca60ca">.</span><span style="color:#644a9b">to_string</span><span style="color:#ca60ca">(</span>prefix<span style="color:#ca60ca">)</span>
<span style="font-weight:bold">let</span> name<span style="color:#ca60ca">:</span> <span style="color:#0057ae">String</span> <span style="color:#ca60ca">=</span> <span style="color:#bf0303">"Kate </span><span style="color:#3daee9">\u{1F3F3}\u{FE0F}\u{200D}\u{1F308}</span><span style="color:#bf0303"> "</span>
<span style="font-weight:bold">let</span> <span style="font-weight:bold">assert</span> <span style="color:#0057ae">Ok</span><span style="color:#ca60ca">(</span>suffix<span style="color:#ca60ca">)</span> <span style="color:#ca60ca">=</span> <span style="color:#644a9b">get</span><span style="color:#ca60ca">(</span><span style="color:#644a9b">mascots</span><span style="color:#ca60ca">(),</span> <span style="color:#bf0303">"Lucy"</span><span style="color:#ca60ca">)</span>
<span style="font-weight:bold">echo</span> prefix <span style="color:#ca60ca"><></span> name <span style="color:#ca60ca"><></span> suffix
<span style="color:#ca60ca">}</span>
<span style="font-weight:bold">const</span> prefix <span style="color:#ca60ca">=</span> <span style="color:#ca60ca"><<</span><span style="color:#bf0303">"Hello"</span><span style="color:#ca60ca">:</span><span style="color:#3daee9">utf8</span><span style="color:#ca60ca">,</span> <span style="color:#b08000">44</span><span style="color:#ca60ca">:</span><span style="color:#3daee9">size</span><span style="color:#ca60ca">(</span><span style="color:#b08000">8</span><span style="color:#ca60ca">),</span> <span style="color:#b08000">32</span><span style="color:#ca60ca">:</span><span style="color:#3daee9">int</span><span style="color:#ca60ca">>></span>
<span style="font-weight:bold">fn</span> <span style="color:#644a9b">number</span><span style="color:#ca60ca">(</span>int<span style="color:#ca60ca">)</span> <span style="color:#ca60ca">{</span>
<span style="font-weight:bold">use</span> <span style="color:#ca60ca"><-</span> bool<span style="color:#ca60ca">.</span><span style="color:#644a9b">guard</span><span style="color:#ca60ca">(</span>when<span style="color:#ca60ca">:</span> int <span style="color:#ca60ca"><</span> <span style="color:#b08000">0</span><span style="color:#ca60ca">,</span> return<span style="color:#ca60ca">:</span> <span style="color:#0057ae">False</span><span style="color:#ca60ca">)</span>
<span style="font-weight:bold">let</span> dec <span style="color:#ca60ca">=</span> <span style="color:#b08000">123_456_789</span>
<span style="font-weight:bold">let</span> bin <span style="color:#ca60ca">=</span> <span style="color:#b08000">0b10011011</span>
<span style="font-weight:bold">let</span> oct <span style="color:#ca60ca">=</span> <span style="color:#b08000">0o1234567</span>
<span style="font-weight:bold">let</span> hex <span style="color:#ca60ca">=</span> <span style="color:#b08000">0x8337_BEEF</span>
<span style="font-weight:bold">let</span> _float <span style="color:#ca60ca">=</span> <span style="color:#ca60ca">-</span><span style="color:#b08000">3.1415</span> <span style="color:#ca60ca">*.</span> <span style="color:#b08000">1.0e-4</span>
<span style="font-weight:bold">let</span> roof <span style="color:#ca60ca">=</span> <span style="color:#ca60ca">{</span> <span style="color:#ca60ca">{</span> dec <span style="color:#ca60ca">+</span> oct <span style="color:#ca60ca">}</span> <span style="color:#ca60ca">*</span> bin <span style="color:#ca60ca">-</span> hex <span style="color:#ca60ca">}</span> <span style="color:#ca60ca">/</span> <span style="color:#b08000">4</span>
<span style="color:#898887">// 4_246_851_061</span>
<span style="font-weight:bold">case</span> int <span style="color:#ca60ca">{</span>
_ <span style="font-weight:bold">if</span> int <span style="color:#ca60ca"><</span> roof <span style="color:#ca60ca">-></span> <span style="color:#0057ae">True</span>
_ <span style="color:#ca60ca">-></span> <span style="color:#0057ae">False</span>
<span style="color:#ca60ca">}</span>
<span style="color:#ca60ca">}</span>
<span style="color:#607880">/// Documentation for a custom type with 3 variants</span>
<span style="font-weight:bold">pub</span> <span style="font-weight:bold">opaque</span> <span style="font-weight:bold">type</span> <span style="color:#0057ae">CustomType</span><span style="color:#ca60ca">(</span>a<span style="color:#ca60ca">)</span> <span style="color:#ca60ca">{</span>
<span style="color:#607880">/// first variant</span>
<span style="color:#0057ae">Var1</span><span style="color:#ca60ca">(</span>x<span style="color:#ca60ca">:</span> a<span style="color:#ca60ca">)</span>
<span style="color:#607880">/// second variant</span>
<span style="color:#0057ae">Var2</span><span style="color:#ca60ca">(</span>x<span style="color:#ca60ca">:</span> a<span style="color:#ca60ca">,</span> y<span style="color:#ca60ca">:</span> a<span style="color:#ca60ca">)</span>
<span style="color:#607880">/// third variant</span>
<span style="color:#0057ae">Var3</span><span style="color:#ca60ca">(</span>x<span style="color:#ca60ca">:</span> a<span style="color:#ca60ca">,</span> y<span style="color:#ca60ca">:</span> a<span style="color:#ca60ca">,</span> z<span style="color:#ca60ca">:</span> a<span style="color:#ca60ca">)</span>
<span style="color:#ca60ca">}</span>
<span style="font-weight:bold">pub</span> <span style="font-weight:bold">fn</span> <span style="color:#644a9b">first</span><span style="color:#ca60ca">(</span>ct<span style="color:#ca60ca">:</span> <span style="color:#0057ae">CustomType</span><span style="color:#ca60ca">(</span>a<span style="color:#ca60ca">))</span> <span style="color:#ca60ca">-></span> a <span style="color:#ca60ca">{</span>
ct<span style="color:#ca60ca">.</span>x
<span style="color:#ca60ca">}</span>
<span style="color:#0057ae">@deprecated</span><span style="color:#ca60ca">(</span><span style="color:#bf0303">"Use last instead"</span><span style="color:#ca60ca">)</span>
<span style="font-weight:bold">pub</span> <span style="font-weight:bold">fn</span> <span style="color:#644a9b">third</span><span style="color:#ca60ca">(</span>ct<span style="color:#ca60ca">:</span> <span style="color:#0057ae">CustomType</span><span style="color:#ca60ca">(</span>a<span style="color:#ca60ca">))</span> <span style="color:#ca60ca">-></span> a <span style="color:#ca60ca">{</span>
<span style="color:#898887">// let assert Var3(_, _, z) = ct z</span>
<span style="font-weight:bold">case</span> ct <span style="color:#ca60ca">{</span>
<span style="color:#0057ae">Var3</span><span style="color:#ca60ca">(</span>_<span style="color:#ca60ca">,</span> _<span style="color:#ca60ca">,</span> z<span style="color:#ca60ca">)</span> <span style="color:#ca60ca">-></span> z
_ <span style="color:#ca60ca">-></span> <span style="font-weight:bold">panic</span>
<span style="color:#ca60ca">}</span>
<span style="color:#ca60ca">}</span>
<span style="font-weight:bold">pub</span> <span style="font-weight:bold">fn</span> <span style="color:#644a9b">last</span><span style="color:#ca60ca">(</span>ct<span style="color:#ca60ca">:</span> <span style="color:#0057ae">CustomType</span><span style="color:#ca60ca">(</span>a<span style="color:#ca60ca">))</span> <span style="color:#ca60ca">-></span> a <span style="color:#ca60ca">{</span>
<span style="font-weight:bold">case</span> ct <span style="color:#ca60ca">{</span>
<span style="color:#0057ae">Var1</span><span style="color:#ca60ca">(</span>x<span style="color:#ca60ca">)</span> <span style="color:#ca60ca">-></span> x
<span style="color:#0057ae">Var2</span><span style="color:#ca60ca">(</span>_<span style="color:#ca60ca">,</span> y<span style="color:#ca60ca">)</span> <span style="color:#ca60ca">-></span> y
<span style="color:#0057ae">Var3</span><span style="color:#ca60ca">(</span>_<span style="color:#ca60ca">,</span> _<span style="color:#ca60ca">,</span> z<span style="color:#ca60ca">)</span> <span style="color:#ca60ca">-></span> z
<span style="color:#ca60ca">}</span>
<span style="color:#ca60ca">}</span>
<span style="font-weight:bold">pub</span> <span style="font-weight:bold">type</span> <span style="color:#0057ae">ListError</span> <span style="color:#ca60ca">{</span>
<span style="color:#0057ae">EmptyList</span>
<span style="color:#0057ae">ListTooLong</span>
<span style="color:#ca60ca">}</span>
<span style="color:#607880">/// Converts a `List(a)` to a `Result(CustomType(a))`, empty list and list</span>
<span style="color:#607880">/// longer than 3 will return an error.</span>
<span style="color:#607880">///</span>
<span style="color:#607880">/// ## Examples</span>
<span style="color:#607880">///</span>
<span style="color:#607880">/// ```gleam</span>
<span style="color:#607880">/// from_list([1, 2, 3])</span>
<span style="color:#607880">/// // -> Ok(Var3(1, 2, 3))</span>
<span style="color:#607880">///</span>
<span style="color:#607880">/// from_list([1, 2, 3, 4, 5])</span>
<span style="color:#607880">/// // -> Error(ListTooLong)</span>
<span style="color:#607880">/// ```</span>
<span style="color:#607880">///</span>
<span style="font-weight:bold">pub</span> <span style="font-weight:bold">fn</span> <span style="color:#644a9b">from_list</span><span style="color:#ca60ca">(</span>l<span style="color:#ca60ca">:</span> <span style="color:#0057ae">List</span><span style="color:#ca60ca">(</span>a<span style="color:#ca60ca">))</span> <span style="color:#ca60ca">-></span> <span style="color:#0057ae">Result</span><span style="color:#ca60ca">(</span><span style="color:#0057ae">CustomType</span><span style="color:#ca60ca">(</span>a<span style="color:#ca60ca">),</span> <span style="color:#0057ae">ListError</span><span style="color:#ca60ca">)</span> <span style="color:#ca60ca">{</span>
<span style="font-weight:bold">case</span> l <span style="color:#ca60ca">{</span>
<span style="color:#ca60ca">[</span>x<span style="color:#ca60ca">]</span> <span style="color:#ca60ca">-></span> <span style="color:#0057ae">Ok</span><span style="color:#ca60ca">(</span><span style="color:#0057ae">Var1</span><span style="color:#ca60ca">(</span>x<span style="color:#ca60ca">))</span>
<span style="color:#ca60ca">[</span>x<span style="color:#ca60ca">,</span> y<span style="color:#ca60ca">]</span> <span style="color:#ca60ca">-></span> <span style="color:#0057ae">Ok</span><span style="color:#ca60ca">(</span><span style="color:#0057ae">Var2</span><span style="color:#ca60ca">(</span>x<span style="color:#ca60ca">,</span> y<span style="color:#ca60ca">))</span>
<span style="color:#ca60ca">[</span>x<span style="color:#ca60ca">,</span> y<span style="color:#ca60ca">,</span> z<span style="color:#ca60ca">]</span> <span style="color:#ca60ca">-></span> <span style="color:#0057ae">Ok</span><span style="color:#ca60ca">(</span><span style="color:#0057ae">Var3</span><span style="color:#ca60ca">(</span>x<span style="color:#ca60ca">,</span> y<span style="color:#ca60ca">,</span> z<span style="color:#ca60ca">))</span>
<span style="color:#ca60ca">[]</span> <span style="color:#ca60ca">-></span> <span style="color:#0057ae">Error</span><span style="color:#ca60ca">(</span><span style="color:#0057ae">EmptyList</span><span style="color:#ca60ca">)</span>
_ <span style="color:#ca60ca">-></span> <span style="color:#0057ae">Error</span><span style="color:#ca60ca">(</span><span style="color:#0057ae">ListTooLong</span><span style="color:#ca60ca">)</span>
<span style="color:#ca60ca">}</span>
<span style="color:#ca60ca">}</span>
<span style="font-weight:bold">fn</span> <span style="color:#644a9b">mascots</span><span style="color:#ca60ca">()</span> <span style="color:#ca60ca">-></span> <span style="color:#0057ae">Dict</span><span style="color:#ca60ca">(</span><span style="color:#0057ae">String</span><span style="color:#ca60ca">,</span> <span style="color:#0057ae">String</span><span style="color:#ca60ca">)</span> <span style="color:#ca60ca">{</span>
<span style="font-weight:bold">let</span> old_mascots <span style="color:#ca60ca">=</span> dict<span style="color:#ca60ca">.</span><span style="color:#644a9b">from_list</span><span style="color:#ca60ca">([#(</span><span style="color:#bf0303">"Konqi"</span><span style="color:#ca60ca">,</span> <span style="color:#bf0303">"🐉"</span><span style="color:#ca60ca">),</span> <span style="color:#ca60ca">#(</span><span style="color:#bf0303">"Kandalf"</span><span style="color:#ca60ca">,</span> <span style="color:#bf0303">"🧙"</span><span style="color:#ca60ca">)])</span>
<span style="font-weight:bold">let</span> new_mascots <span style="color:#ca60ca">=</span>
old_mascots
<span style="color:#ca60ca">|></span> <span style="color:#644a9b">delete</span><span style="color:#ca60ca">(</span><span style="color:#bf0303">"Kandalf"</span><span style="color:#ca60ca">)</span>
<span style="color:#ca60ca">|></span> <span style="color:#644a9b">insert</span><span style="color:#ca60ca">(</span><span style="color:#bf0303">"Kate"</span><span style="color:#ca60ca">,</span> <span style="color:#bf0303">"🐦"</span><span style="color:#ca60ca">)</span>
<span style="color:#ca60ca">|></span> <span style="color:#644a9b">insert</span><span style="color:#ca60ca">(</span><span style="color:#bf0303">"Katie"</span><span style="color:#ca60ca">,</span> <span style="color:#bf0303">"🐉"</span><span style="color:#ca60ca">)</span>
<span style="color:#ca60ca">|></span> <span style="color:#644a9b">insert</span><span style="color:#ca60ca">(</span><span style="color:#bf0303">"Lucy"</span><span style="color:#ca60ca">,</span> <span style="color:#bf0303">"🌟"</span><span style="color:#ca60ca">)</span>
new_mascots
<span style="color:#ca60ca">}</span>
<span style="font-weight:bold">type</span> <span style="color:#0057ae">UserId</span> <span style="color:#ca60ca">=</span>
<span style="color:#0057ae">Int</span>
<span style="color:#0057ae">@external</span><span style="color:#ca60ca">(</span>javascript<span style="color:#ca60ca">,</span> <span style="color:#bf0303">"./ffi.mjs"</span><span style="color:#ca60ca">,</span> <span style="color:#bf0303">"call"</span><span style="color:#ca60ca">)</span>
<span style="font-weight:bold">fn</span> <span style="color:#644a9b">call</span><span style="color:#ca60ca">(</span>id<span style="color:#ca60ca">:</span> <span style="color:#0057ae">UserId</span><span style="color:#ca60ca">)</span> <span style="color:#ca60ca">-></span> <span style="color:#0057ae">String</span> <span style="color:#ca60ca">{</span>
<span style="font-weight:bold">todo</span> <span style="font-weight:bold">as</span> <span style="color:#bf0303">"call not implemented for this target"</span>
<span style="color:#ca60ca">}</span>
<span style="color:#898887">// </span><span style="color:#0057ae;background-color:#e0e9f8">END</span>
</pre></body></html>
|