final
class
DomainExt[A] extends AnyVal
Instance Constructors
-
new
DomainExt(_d: Domain[A])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
def
_mustProve[B >: A](p: Prop[B])(implicit S: Settings): Unit
-
final
def
asInstanceOf[T0]: T0
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
def
mustProve(p: Prop[A])(implicit S: Settings): Unit
-
def
mustProveE(f: (A) ⇒ EvalL)(implicit S: Settings): Unit
-
def
toString(): String
Inherited from AnyVal
Inherited from NotNull
Inherited from Any