Instance Constructors
-
new
MonadLaws
()(implicit a: Monad[M], am: Arbitrary[M[Int]], af: Arbitrary[(Int) ⇒ M[Int]], e: Equal[M[Int]])
Value Members
-
def
!=
(arg0: AnyRef): Boolean
-
def
!=
(arg0: Any): Boolean
-
def
##
(): Int
-
def
&&
(p: Prop): Prop
-
def
++
(p: Prop): Prop
-
def
:|
(l: Symbol): Prop
-
def
:|
(l: String): Prop
-
def
==
(p: Prop): Prop
-
def
==
(arg0: AnyRef): Boolean
-
def
==
(arg0: Any): Boolean
-
def
==>
(p: ⇒ Prop): Prop
-
def
apply
(p: Params): Result
-
def
asInstanceOf
[T0]
: T0
-
def
check
: Unit
-
def
check
(prms: Params): Unit
-
def
clone
(): AnyRef
-
def
combine
(p: Prop)(f: (Result, Result) ⇒ Result): Prop
-
def
eq
(arg0: AnyRef): Boolean
-
def
equals
(arg0: Any): Boolean
-
def
finalize
(): Unit
-
def
flatMap
(f: (Result) ⇒ Prop): Prop
-
def
getClass
(): java.lang.Class[_]
-
def
hashCode
(): Int
-
def
include
(ps: Properties): Unit
-
def
isInstanceOf
[T0]
: Boolean
-
def
label
(l: String): Prop
-
def
main
(args: Array[String]): Unit
-
def
mainCallsExit
: Boolean
-
def
mainRunner
(args: Array[String]): Int
-
def
map
(f: (Result) ⇒ Result): Prop
-
val
name
: String
-
def
ne
(arg0: AnyRef): Boolean
-
def
notify
(): Unit
-
def
notifyAll
(): Unit
-
def
properties
: Seq[(String, Prop)]
-
lazy val
property
: PropertySpecifier
-
def
synchronized
[T0]
(arg0: ⇒ T0): T0
-
def
toString
(): String
-
def
wait
(): Unit
-
def
wait
(arg0: Long, arg1: Int): Unit
-
def
wait
(arg0: Long): Unit
-
def
|:
(l: Symbol): Prop
-
def
|:
(l: String): Prop
-
def
||
(p: Prop): Prop
Deprecated Value Members
-
def
===
(p: Prop): Prop
Inherited from Properties
Inherited from Prop
Inherited from AnyRef
Inherited from Any