ScalaCheck效果 ScalaCheck Effect是一个扩展功能以支持“有效”属性的库。 一个有效的属性是对某个类型构造函数F[_]每个样本求值的属性。 例如： import org . scalacheck . effect . PropF import org . scalacheck . Test import cats . effect .{ ExitCode , IO , IOApp } object Example extends IOApp { def run (