Type Members

1.  trait Assert extends AnyRef
2.  type AssertionNel[A] = NonEmptyList[AssertionResult[A]]
3.  type AssertionResult[A] = \/[NotPassedCause, A]
4.  sealed abstract class ComposableTest [A] extends Product with Serializable
5.  type Config = Endo[Param]
6.  sealed abstract class NotPassedCause extends AnyRef
7.  final case class Param (timeout: Duration = Duration(30, TimeUnit.SECONDS), executor: TestExecutor = TestExecutor.default) extends Product with Serializable
8.  final case class Skipped (reason: String) extends NotPassedCause with Product with Serializable
9.  type Test[A] = Kleisli[TestResult, Config, A]
10.  type TestAp[A] = Kleisli[ValidationResult, Config, A]
11.  type TestCase[A] = Free[TestFixture, A]
12.  type TestCaseAp[A] = FreeAp[TestFixture, A]
13.  type TestCaseApRunner = NaturalTransformation[TestFixture, TestAp]
14.  implicit class TestCaseApSyntax [A] extends AnyRef
15.  type TestCaseRunner = NaturalTransformation[TestFixture, Test]
16.  implicit class TestCaseSyntax [A] extends AnyRef
17.  abstract class TestExecutor extends AnyRef
18.  type TestFixture[A] = LazyTuple2[Config, ComposableTest[A]]
19.  sealed abstract class TestResult [A] extends AnyRef
20.  sealed abstract class ValidationResult [A] extends AnyRef
21.  final case class Violated (reason: String) extends NotPassedCause with Product with Serializable