Mix-in trait for specifications that enables checking of doobie Query and Update values. Users must provide an effect type M as well as a Transactor[M] and instances. As a convenience doobie provides specializations for common effect types (see other types in this package).

// An example specification, taken from the examples project.
class ExampleSpec extends AnyFunSuite with IOChecker {

  // The transactor to use for the tests.
  val transactor = Transactor.fromDriverManager[IO](...)

  // Now just mention the queries. Arguments are not used.
  test("findByNameAndAge") { check(MyDaoModule.findByNameAndAge(null, 0)) }
  test("allWoozles") { check(MyDaoModule.allWoozles) }

}