org
.
typelevel
discipline
package
discipline
Visibility
Public
All
Type Members
class
AllProperties
extends
Properties
trait
Laws
extends
AnyRef
Root trait of the law cake.
trait
Predicate
[
A
]
extends (
A
) ⇒
Boolean
Value Members
object
Predicate
package
scalatest
package
specs2
Ungrouped