Scalactic：将 Iterable 转换为 Every
Scalactic: convert an Iterable to Every
使用 scalactic，可以像这样将 Every 转换为 List：
scala> Every(1,2,3).toList
res6: List[Int] = List(1, 2, 3)
不过，如何执行反向操作，即将 List 或 Iterable 转换为 Every？是否有内置方法可以执行此操作？
简单地说：
val everyOpt: Option[Every[Int]] = Every.from(List(1, 2, 3))
如果已知列表不为空：
val every: Every[Int] = Every.from(List(1, 2, 3)).get
使用 scalactic，可以像这样将 Every 转换为 List：
scala> Every(1,2,3).toList
res6: List[Int] = List(1, 2, 3)
不过，如何执行反向操作，即将 List 或 Iterable 转换为 Every？是否有内置方法可以执行此操作？
简单地说：
val everyOpt: Option[Every[Int]] = Every.from(List(1, 2, 3))
如果已知列表不为空：
val every: Every[Int] = Every.from(List(1, 2, 3)).get