mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-23 06:42:09 +03:00
65 lines
1.4 KiB
Markdown
65 lines
1.4 KiB
Markdown
buccen `$%` %bccn
|
|
==========================
|
|
|
|
Tagged union
|
|
|
|
`$%` is a tile rune that produces a [`%kelp`](), the tile of the
|
|
discriminated union. `$%` takes a list of lines which are labeled cases,
|
|
called fronds, closed by `==`. Commonly used for pattern matching.
|
|
|
|
Produces
|
|
--------
|
|
|
|
[Twig](): `[%kelp p=[i=line t=(list line)]]`
|
|
|
|
Sample
|
|
------
|
|
|
|
`p` is a [`++list`]() of [`++line`]()s.
|
|
|
|
Tall form
|
|
---------
|
|
|
|
$% p
|
|
q
|
|
==
|
|
|
|
Wide form
|
|
---------
|
|
|
|
None
|
|
|
|
Irregular form
|
|
--------------
|
|
|
|
None
|
|
|
|
Examples
|
|
--------
|
|
|
|
~zod/try=> $%([%& @p] [%| @t])
|
|
<1.dhe [* @n <246.qra 41.uuw 374.glo 100.rip 1.ypj %164>]>
|
|
~zod/try=> *$%([%& @p] [%| @t])
|
|
[%.y ~zod]
|
|
~zod/try=> :type; *$%([%& @p] [%| @t])
|
|
[%.y ~zod]
|
|
{[%.y @p] [%.n @t]}
|
|
~zod/try=> :type; *(each ,@p ,@t)
|
|
[%.y p=~zod]
|
|
{[%.y p=@p] [%.n p=@t]}
|
|
~zod/try=> $%(~ [%a 1])
|
|
~ <syntax error at [1 13]>
|
|
~zod/try=> $%([%~ ~] [%a 1])
|
|
<1.yck [* @n <246.qra 41.uuw 374.glo 100.rip 1.ypj %164>]>
|
|
~zod/try=> *$%([%~ ~] [%a 1])
|
|
[~ ~]
|
|
|
|
++ foot $% [%ash p=twig] :: dry, geometric
|
|
[%elm p=twig] :: wet, generic
|
|
[%oak ~] :: XX not used
|
|
[%yew p=(map term foot)] :: XX not used
|
|
==
|
|
|
|
In `++foot`, `$%` creates a list of possible cases. That is, a `++foot`
|
|
can be either `%ash`, `%elm`, `%oak` or `%yew`.
|