A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Latest version
[](https://index.scala-lang.org/zio/zio-prelude/zio-laws-laws)
JVM badge
[](https://index.scala-lang.org/zio/zio-prelude/zio-laws-laws)
Scala.js 1.x badge
[](https://index.scala-lang.org/zio/zio-prelude/zio-laws-laws)
Scala Native 0.5 badge
[](https://index.scala-lang.org/zio/zio-prelude/zio-laws-laws)
Scala Native 0.4 badge
[](https://index.scala-lang.org/zio/zio-prelude/zio-laws-laws)