git.iko.soy/urbit.org
on 492ae2f help sign in
urbit.org/docs/programming/reference/library/src/2b/gate/lent.md
40 lines 472 B history raw
1### `++lent`
3List length
5Produces the length of any `++list` `a` as an atom.
7Accepts
8-------
10`a` is a list.
12Produces
13--------
15an atom.
17Source
18------
20 ++ lent :: length
21 ~/ %lent
22 |= a/(list)
23 ^- @
24 =+ b=0
25 |-
26 ?~ a b
27 $(a t.a, b +(b))
30Examples
31--------
33 ~zod/try=> (lent (limo [1 2 3 4 ~]))
34 4
35 ~zod/try=> (lent (limo [1 'a' 2 'b' (some 10) ~]))
36 5
40***