Remove redundant indefinite article in tutorial

"represents an the set of all" ->
"represents the set of all"
This commit is contained in:
Christopher Bertels 2023-01-25 21:04:03 +01:00
parent 5039a73d5c
commit bd3e32ec16
No known key found for this signature in database
GPG key ID: FF176E5B2345B203

View file

@ -1573,7 +1573,7 @@ example <span class="kw">=</span> <span class="kw">\</span>tag <span class="kw">
_ <span class="kw">-&gt;</span> Bool.<span class="hljs-literal">false</span>
</samp></pre>
In contrast, a _closed tag union_ (or _closed union_) like `[Foo Str, Bar Bool]` (without the `*`) represents an the set of all possible tags. If I use a `when` on one of these, I can match on `Foo` only and then on `Bar` only, with no need for a catch-all branch. For example:
In contrast, a _closed tag union_ (or _closed union_) like `[Foo Str, Bar Bool]` (without the `*`) represents the set of all possible tags. If I use a `when` on one of these, I can match on `Foo` only and then on `Bar` only, with no need for a catch-all branch. For example:
<pre><samp>example <span class="kw">:</span> [Foo Str, Bar Bool] <span class="kw">-&gt;</span> Bool
example <span class="kw">=</span> <span class="kw">\</span>tag <span class="kw">-&gt;</span>