Scalactic: convertir un Iterable à chaque

Question

En utilisant scalactic, on peut convertir un Every à un List comme ceci:

scala> Every(1,2,3).toList 
res6: List[Int] = List(1, 2, 3) 

Comment puis-je effectuer l'opération inverse, bien que, soit essayer de convertir un List ou un Iterable à un Every? Y a-t-il une méthode intégrée qui fait cela?

Answer 1

simplement:

val everyOpt: Option[Every[Int]] = Every.from(List(1, 2, 3)) 

Si la liste est connue pour être non vide:

val every: Every[Int] = Every.from(List(1, 2, 3)).get