Type Members

1.  final class Fail extends Result
2.  type Id[A] = A
3.  abstract class NT[F[_], G[_]] extends AnyRef

   I *hate* having to define this in testz, but it's utterly basic.

4.  sealed abstract class Result extends AnyRef

   A type for test results.

   A type for test results. A two-branch sum, either Succeed(), or Fail().

5.  abstract class Section[T] extends AnyRef
6.  final class Succeed extends Result
7.  abstract class Test[R, T] extends AnyRef