on d452c09 help sign in
38 lines 460 B history raw
1### `++drop`
3Unit to list
5Makes a ++list of the unwrapped value (`u.a`) of a `++unit` `a`.
7Accepts
8-------
10`a` is a unit.
12Produces
13--------
15A list.
17Source
18------
20 ++ drop :: enlist
21 |* a/(unit)
22 ?~ a ~
23 [i=u.a t=~]
26Examples
27--------
29 ~zod/try=> =a ((unit @) [~ 97])
30 ~zod/try=> (drop a)
31 [i=97 t=~]
32 ~zod/try=> =a ((unit @) [~])
33 ~zod/try=> (drop a)
34 ~
38***