Type Members

1.  case class AddTest[RunF[_], TestRes <: HList, Params, TestShape[_], AddResult](cons: ConsTest[RunF, TestRes, TestShape])(add: (TestShape[RunF[KlkResult]]) => AddResult) extends Product with Serializable
2.  trait Compile[F[_], G[_], A] extends AnyRef
3.  trait Compute[F[_]] extends AnyRef
4.  trait ConsConcurrent[F[_]] extends AnyRef
5.  case class ConsTest[RunF[_], TestRes <: HList, TestShape[_]](resources: TestResources[TestRes]) extends Product with Serializable
6.  trait ExecuteThunk[Params, Thunk] extends AnyRef
7.  trait ExecuteThunk1 extends AnyRef
8.  trait FunctorialLaws[Class[_[A]], Subject[_]] extends AnyRef
9.  sealed trait KlkResult extends AnyRef
10.  case class KlkTest[F[_], R](desc: String, thunk: (TestReporter[F]) => (R) => F[KlkResult]) extends Product with Serializable
11.  case class KlkTests[F[_], FR](tests: Buffer[TestThunk[FR]])(implicit evidence$1: Compute[F], evidence$2: TestFramework[F, FR]) extends Product with Serializable
12.  final class LawsParams extends AnyRef
13.  sealed trait LawsResult extends AnyRef
14.  final class NoExecutionParams extends AnyRef
15.  case class NoopTestReporter[F[_]]()(implicit evidence$3: Applicative[F]) extends TestReporter[F] with Product with Serializable
16.  trait PropRun[Thunk, Trans] extends AnyRef
17.  trait PropThunk[Thunk, Trans] extends AnyRef
18.  trait PropTrans[F[_], Trans, A] extends AnyRef
19.  case class PropertyTest[F[_]](test: Kleisli[F, Parameters, Result]) extends Product with Serializable
20.  case class PropertyTestResult(success: Boolean, stats: Stats, result: Result) extends Product with Serializable
21.  case class PropertyTestState(stats: Stats, result: Status) extends Product with Serializable
22.  case class ScalacheckParams(test: Parameters, gen: Parameters, sizeStep: Int, maxDiscarded: Float) extends Product with Serializable
23.  case class SharedResource[RunF[_], SharedRes](tests: Buffer[KlkTest[RunF, SharedRes]])(implicit evidence$1: Sync[RunF]) extends Product with Serializable
24.  trait SimpleAssertions extends AnyRef
25.  trait SimpleTestBase[F[_], FR] extends Test[F, FR] with SimpleAssertions
26.  trait StringColor extends AnyRef
27.  trait StripResources[F[_], ResParams <: HList, ThunkF] extends AnyRef
28.  abstract class Test[RunF[_], FR] extends TestInterface[FR]
29.  case class TestBuilder[RunF[_], TestRes <: HList, TestShape[_], AddResult](resources: TestResources[TestRes])(add: (TestShape[RunF[KlkResult]]) => AddResult) extends Product with Serializable
30.  trait TestFramework[RunF[_], Resources] extends AnyRef
31.  abstract class TestInterface[FR] extends TestMarker
32.  trait TestReporter[F[_]] extends AnyRef
33.  case class TestResources[ResParams <: HList](resources: ResParams) extends Product with Serializable
34.  trait TestResult[Output] extends AnyRef
35.  case class TestThunk[FR](desc: String, thunk: (FR) => KlkResult) extends Product with Serializable
36.  case class Tests[FR](tests: List[TestThunk[FR]]) extends Product with Serializable
37.  trait TransformTestThunk[RunF[_], ResParams <: HList, Params, Thunk] extends AnyRef