| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Mon, 08 Nov 2021 02:29:24 +0000 | |
| changeset 408 | 9e416cdf1755 |
| parent 391 | 048fc6b70776 |
| child 421 | 864107857d27 |
| permissions | -rw-r--r-- |
|
391
048fc6b70776
added main4 marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
import CW9a._ |
|
048fc6b70776
added main4 marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
|
|
048fc6b70776
added main4 marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
|
|
048fc6b70776
added main4 marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
val f_urban = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None |
|
048fc6b70776
added main4 marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
|
|
048fc6b70776
added main4 marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
assert(first(List((1,0),(2,0),(3,0),(4,0)), f_urban) == Some(List((4,0)))) |
|
048fc6b70776
added main4 marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
assert(first(List((1,0),(2,0),(3,0)), f_urban) == None) |