Predicate Checks

Test a list with all and any predicates.

PredicateCheck.scala

object Main {
  def main(args: Array[String]): Unit = {
    val limit = 
    val nums = List(1, 2, 3, 4)
    val allBig = nums.forall(n => n > limit)
    val anyBig = nums.exists(n => n > limit)

    var label = "none"
    if (anyBig) {
      label = "some"
    }
    if (allBig) {
      label = "all"
    }

    println("allBig=" + allBig)
    println("anyBig=" + anyBig)
    println("label=" + label)
  }
}

object Main {
  def main(args: Array[String]): Unit = {
    val limit = 
    val nums = List(1, 2, 3, 4)
    val allBig = nums.forall(n => n > limit)
    val anyBig = nums.exists(n => n > limit)

    var label = "none"
    if (anyBig) {
      label = "some"
    }
    if (allBig) {
      label = "all"
    }

    println("allBig=" + allBig)
    println("anyBig=" + anyBig)
    println("label=" + label)
  }
}

object Main {
  def main(args: Array[String]): Unit = {
    val limit = 
    val nums = List(1, 2, 3, 4)
    val allBig = nums.forall(n => n > limit)
    val anyBig = nums.exists(n => n > limit)

    var label = "none"
    if (anyBig) {
      label = "some"
    }
    if (allBig) {
      label = "all"
    }

    println("allBig=" + allBig)
    println("anyBig=" + anyBig)
    println("label=" + label)
  }
}

predicate-check `forall` is true when every element passes the test, and `exists` is true when at least one does. Their results combine into a single label.