【文件属性】:
文件名称:scalacheck-effect:基于ScalaCheck构建的有效属性测试
文件大小:23KB
文件格式:ZIP
更新时间:2021-02-17 22:43:59
Scala
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 ( args : List [ String ]) : IO [ ExitCode ] = {
val p : PropF [ IO ] =
PropF .forAllF { ( x : Int ) =>
IO (x).start.flatMap(_.join).
【文件预览】:
scalacheck-effect-main
----project()
--------build.properties(18B)
--------plugins.sbt(318B)
----.github()
--------workflows()
----munit()
--------shared()
----COPYING(5KB)
----core()
--------shared()
----LICENSE(11KB)
----build.sbt(2KB)
----README.md(4KB)
----CODE_OF_CONDUCT.md(900B)
----.gitignore(52B)
----.scalafmt.conf(51B)