MUnit - Discipline and ZIO custom suites

DisciplineSuite.scala

package suites

import munit.{ Location, ScalaCheckSuite, TestOptions }
import org.typelevel.discipline.Laws

abstract class DisciplineSuite extends ScalaCheckSuite {

  def laws(name: String, body: => Laws#RuleSet)(implicit loc: Location): Unit =
    laws(new TestOptions(name, Set.empty, loc), body)

  def laws(options: TestOptions, body: => Laws#RuleSet)(implicit loc: Location): Unit =
    for ((name, prop) <- body.all.properties) {
      property(s"${options.name}.$name")(prop)
    }
}

ZIOSuite.scala

package suites

import munit.{ Location, ScalaCheckSuite, TestOptions }
import zio._

abstract class ZIOSuite extends ScalaCheckSuite {

  protected def runtime[R >: ZEnv]: Runtime[R] = Runtime.global

  def testZioTask(name: String)(body: Task[Any])(implicit loc: Location): Unit =
    testZioTask(new TestOptions(name, Set.empty, loc))(body)

  def testZioTask(options: TestOptions)(body: Task[Any])(implicit loc: Location): Unit =
    test(options)(runtime.unsafeRunToFuture(body))
}