We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5858496 commit 7a2cdbaCopy full SHA for 7a2cdba
example/assoc.bl
@@ -1,23 +1,23 @@
1
-def (K? to V?) : (Type, Type) -> Type do:
+def K? to V? : (Type, Type) -> Type =
2
Map of [(K, V)]
3
4
-def (group pairs?) do:
+def group pairs? =
5
match pairs with:
6
() => ()
7
x? :: y? :: xs? => (x, y) :: group xs
8
9
-def (map pairs...?) do:
+def map pairs...? =
10
Map of group pairs
11
12
-def (m? find-key k?) do:
+def m? find-key k? =
13
match m with:
14
(k, v?) :: xs? => v
15
e? :: xs? => xs find-key k
16
17
-def (m? find k?) : (Any to Any, Any) -> Any do:
+def m? find k? : (Any to Any, Any) -> Any =
18
19
Map of xs? => xs find-key k
20
21
-def (m? with entry?) : (Any to Any, (Any, Any)) -> Any do:
+def m? with entry? : (Any to Any, (Any, Any)) -> Any =
22
23
Map of xs? => Map of (entry :: xs)
0 commit comments