| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Fri, 26 Apr 2024 17:29:30 +0100 | |
| changeset 482 | 20f02c5ff53f |
| parent 460 | f5c0749858fd |
| permissions | -rw-r--r-- |
import M4a._ val f_urban = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None import scala.concurrent._ import scala.concurrent.duration._ import ExecutionContext.Implicits.global import scala.language.postfixOps lazy val f = Future { assert(first(List((1,0),(2,0),(3,0),(4,0)), f_urban) == Some(List((4,0)))) assert(first(List((1,0),(2,0),(3,0)), f_urban) == None) } Await.result(f, 32 second)