summaryrefslogtreecommitdiff
path: root/files/practicum/NotatieZF.icl
blob: 87787944791b3e3e79cee363dc9d91789604af67 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
module NotatieZF

import StdEnv

g1 :: // meest algemene type
g1 as bs = [(a,b) \\ a <- as, b <- bs]

g2 :: // meest algemene type
g2 as bs = [(a,b) \\ a <- as & b <- bs]

g3 :: // meest algemene type
g3 as bs = [(a,b) \\ a <- as, b <- bs | a <> b]

g4 :: // meest algemene type
g4 as bs = [a \\ a <- as, b <- bs | a == b]

g5 :: // meest algemene type
g5 xss = [x \\ xs <- xss, x <- xs]

g6 :: // meest algemene type
g6 a xs = [i \\ i <- [0 ..] & x <- xs | a == x]