| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Fri, 26 Apr 2024 17:35:36 +0100 | |
| changeset 483 | a2c4c6bf319d | 
| 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 |