laws/algebra.laws/OrderLaws/OrderProperties

OrderProperties

class OrderProperties(name: String, parent: Option[RuleSet], props: (String, Prop)*) extends DefaultRuleSet
trait RuleSet
class Object
trait Matchable
class Any

Value members

Inherited methods

final def all: Properties

Assembles all properties. For the rules, see RuleSet.

Assembles all properties. For the rules, see RuleSet.

Inherited from
RuleSet
final def parents: List[RuleSet]
Inherited from
HasOneParent

Inherited fields

val bases: Seq[(String, RuleSet)]
Inherited from
DefaultRuleSet