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 ++lines.

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.

1.5 KiB Raw Blame History

buccen $% %bccn