Domain

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 apply[V](implicit dom: Domain[V]): Domain[V]

   

   Add a syntactic sugar to easily get the current implicit Domain.

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

8. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

9. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

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

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

    

    Definition Classes

    AnyRef → Any

11. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

12. implicit def infixDomainOps[A](a: A)(implicit dom: Domain[A]): Ops

    

    An implicit conversion from A to Domain[A].Ops, which allows the seamsless use of the infix operators.

13. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

15. final def notify(): Unit

    

    Definition Classes

    AnyRef

16. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

17. implicit def orderingIsDomain[A](implicit o: Ordering[A]): Domain[A] { def tryCompare(x: A,y: A): Some[Int] }

    

    An implicit domain obtained by an ordering, taking the max to be the upper bound operator.

    An implicit domain obtained by an ordering, taking the max to be the upper bound operator.

    Definition Classes

    LowPriorityImplicitDomains

18. implicit def partialOrderingIsDomain[A](implicit po: PartialOrdering[A]): Domain[A]

    

    An implicit domain obtained by a partial ordering, taking the max (when it exists) to be the upper bound operator.

    An implicit domain obtained by a partial ordering, taking the max (when it exists) to be the upper bound operator.

    Definition Classes

    LowPriorityImplicitDomains

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

    

    Definition Classes

    AnyRef

20. def toString(): String

    

    Definition Classes

    AnyRef → Any

21. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )