laws/spire.laws/LatticePartialOrderLaws/LatticePartialOrderProperties

LatticePartialOrderProperties

class LatticePartialOrderProperties(val name: String, val parents: Seq[LatticePartialOrderProperties], val bases: Seq[(String, RuleSet)], val props: (String, Prop)*) extends RuleSet
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

Concrete fields

val bases: Seq[(String, RuleSet)]
val name: String
val props: (String, Prop)*