final class DomainExt[A] extends AnyVal
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- DomainExt
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
- def _mustProve[B >: A](p: Prop[B])(implicit S: Settings): Unit
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def mustProve(p: Prop[A])(implicit S: Settings): Unit
- def mustProveE(f: (A) ⇒ EvalL)(implicit S: Settings): Unit
-
def
toString(): String
- Definition Classes
- Any