Type Members

1.  trait Checker[M[_]] extends AnyRef

   Module with a mix-in trait for specifications that enables checking of doobie Query and Update values.

   Module with a mix-in trait for specifications that enables checking of doobie Query and Update values.

   object ExampleSuite extends IOSuite with IOChecker {
   
     override type Res = Transactor[IO]
     override def sharedResource: Resource[IO, Res] =
       // The transactor to use for the tests.
       Resource.pure(Transactor.fromDriverManager[IO](...))
   
     // Now just mention the queries. Arguments are not used.
     test("findByNameAndAge") { implicit transactor => check(MyDaoModule.findByNameAndAge(null, 0)) }
     test("allWoozles") { implicit transactor => check(MyDaoModule.allWoozles) }
   
   }

2.  type IOChecker = Checker[IO]