| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Sat, 11 Mar 2023 23:22:05 +0000 | |
| changeset 465 | 3c5a3166b091 |
| parent 460 | f5c0749858fd |
| permissions | -rw-r--r-- |
| 421 | 1 |
import M4a._ |
|
391
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 |
|
| 460 | 6 |
|
7 |
import scala.concurrent._ |
|
8 |
import scala.concurrent.duration._ |
|
9 |
import ExecutionContext.Implicits.global |
|
10 |
import scala.language.postfixOps |
|
11 |
||
12 |
lazy val f = Future {
|
|
13 |
||
|
391
048fc6b70776
added main4 marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
14 |
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
|
15 |
assert(first(List((1,0),(2,0),(3,0)), f_urban) == None) |
| 460 | 16 |
} |
17 |
||
18 |
Await.result(f, 32 second) |
|
19 |