git.iko.soy/urbit.org
on 492ae2f help sign in
urbit.org/docs/programming/reference/library/src/2b/gate/levy.md
43 lines 631 B history raw
1### `++levy`
3Logical "and" on list
5Computes the Boolean logical "and" on the results of gate `b` applied to each individual element in `++list` `a`.
7Accepts
8-------
10`a` is a list.
12`b` is a gate.
14Produces
15--------
17A boolean.
19Source
20------
22 ++ levy
23 ~/ %levy :: all of
24 |* {a/(list) b/$-(* ?)}
25 |- ^- ?
26 ?~ a &
27 ?. (b i.a) |
28 $(a t.a)
31Examples
32--------
34 ~zod/try=> =a |=(a/@ (lte a 1))
35 ~zod/try=> (levy (limo [0 1 2 1 ~]) a)
36 %.n
37 ~zod/try=> =a |=(a/@ (lte a 3))
38 ~zod/try=> (levy (limo [0 1 2 1 ~]) a)
39 %.y
43***