Eval

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

   Definition Classes

   AnyRef → Any

4. 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.

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

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

   

   Annotations

   @elidable( elidable.ASSERTION )

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

   

8. 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.

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

    

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

    

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

    

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

    

    Definition Classes

    AnyRef

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

    

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

    

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

17. implicit val evalInstances: Contravariant[Eval_]

    

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

    

19. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

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

    

    Definition Classes

    AnyRef → Any

22. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

23. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

25. final def notify(): Unit

    

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

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

    

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

    

    Definition Classes

    AnyRef

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

    

31. def toString(): String

    

    Definition Classes

    AnyRef → Any

32. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

35. 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.