Eval

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. def allPresent[B, C](name: ⇒ String, input: Any, required: Set[B], testData: Traversable[C])(implicit ev: <:<[B, C]): EvalL

   Test that all Bs are present in Cs.

7. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8. def assert(l: ⇒ EvalL): Unit

   Annotations

   @elidable( elidable.ASSERTION )

9. def atom(name: ⇒ String, input: Any, failure: FailureReasonO): EvalL

10. def blacklist[B, C](name: ⇒ String, input: Any, blacklist: Set[B], testData: Traversable[C])(implicit ev: <:<[C, B]): EvalL

    Test that no Cs are on a blacklist.

11. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

12. def distinct[A](name: ⇒ String, input: Any, as: Stream[A]): EvalL

13. def distinctC[A](name: ⇒ String, input: Any, as: GenTraversable[A]): EvalL

14. def either[A](name: ⇒ String, input: Any, data: \/[String, A])(f: (A) ⇒ EvalL): EvalL

15. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

16. def equal[A](name: ⇒ String, a: A): EqualB[A]

17. def equal[A](name: ⇒ String, input: Any, actual: A, expect: A)(implicit arg0: Equal[A]): EvalL

18. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

19. implicit val evalInstances: Contravariant[Eval_]

20. def fail(name: ⇒ String, reason: String, input: Any = ()): EvalL

21. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

22. def forall[F[_], B](input: Any, fb: F[B])(each: (B) ⇒ EvalL)(implicit arg0: Foldable[F]): EvalL

23. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

24. def hashCode(): Int

    Definition Classes

    AnyRef → Any

25. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

26. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

27. final def notify(): Unit

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    Definition Classes

    AnyRef

29. def pass(name: String = "Pass", input: Any = ()): EvalL

30. def run(l: Logic[Eval_, _]): Eval

31. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

32. def test(name: ⇒ String, input: Any, t: Boolean): EvalL

33. def toString(): String

    Definition Classes

    AnyRef → Any

34. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

35. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

36. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

37. def whitelist[B, C](name: ⇒ String, input: Any, whitelist: Set[B], testData: Traversable[C])(implicit ev: <:<[C, B]): EvalL

    Test that all Cs are on a whitelist.