Scalactic：将Iterable转换为Every

Question

使用scalactic，可以将Every转换为List，如下所示：

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

但是，如何执行反向操作，即尝试将List或Iterable转换为Every？是否有内置方法可以做到这一点？

Answer 1

简单地：

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

如果已知列表为非空：

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