scalacheck-effect:基于ScalaCheck构建的有效属性测试

时间:2024-03-09 16:30:39
【文件属性】:

文件名称:scalacheck-effect:基于ScalaCheck构建的有效属性测试

文件大小:23KB

文件格式:ZIP

更新时间:2024-03-09 16:30:39

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)

网友评论