laws/spire.laws/OrderLaws/OrderProperties

OrderProperties

class OrderProperties(name: String, parent: Option[OrderProperties], 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