echo/examples/app/users.echo at main · csfh/echo · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
; user free-function helpers

/ std/io
/ ./user
/ ./user_extra

$ sample_users = () {
    ^ [
        user.user {
            name: "Ada",
            visits: 0,
            active: |,
            banned: _
        },
        user.user {
            name: "Grace",
            visits: 2,
            active: |,
            banned: _
        },
        user.user {
            name: "Bad",
            visits: 0,
            active: _,
            banned: |
        }
    ]
}

$ count_active = (users) {
    ~ n = 0
    * u : users {
        ? u.active && !u.banned {
            ~ n = n + 1
        }
    }
    ^ n
}

$ find_by_name = (users, name) {
    * u : users {
        ? u.name == name {
            ^ u
        }
    }
    ^ user.user {
        name: "nobody",
        visits: 0,
        active: _,
        banned: |
    }
}

\ user, sample_users, count_active, find_by_name