munit-discipline cats law testing example

munit-cats-laws.scala

import cats.kernel.laws.discipline.SemigroupTests
import cats.syntax.all._
import munit.DisciplineSuite
import org.scalacheck.Arbitrary

case class MyInt(value: Int)
object MyInt {
  implicit val semigroupMyInt: Semigroup[MyInt] = Semigroup.instance((x1, x2) => MyInt(x1.value + x2.value))
}

class BatchStateSpec extends DisciplineSuite {
  implicit val arbMyInt: Arbitrary[MyInt] = Arbitrary(Arbitrary.arbitrary[Int].map(MyInt(_)))
  implicit val eqMyInt: Eq[MyInt] = Eq.fromUniversalEquals
  
  checkAll("Semigroup[MyInt]", SemigroupTests[MyInt].semigroup)
}