Cats algebra laws
2.10.0
API
Generated with
Cats algebra laws/algebra.laws/LatticeLaws/LatticeProperties

LatticeProperties

algebra.laws.LatticeLaws.LatticeProperties
class LatticeProperties(val name: String, val parents: Seq[LatticeProperties], val join: Option[GroupProperties], val meet: Option[GroupProperties], val props: (String, Prop)*) extends RuleSet

Attributes

Source
LatticeLaws.scala
Graph
Supertypes
trait RuleSet
class Object
trait Matchable
class Any

Members list

Value members

Inherited methods

final def all: Properties

Assembles all properties.

Assembles all properties. For the rules, see RuleSet.

Attributes

Inherited from:
RuleSet
Source
Laws.scala

Concrete fields

val bases: Seq[(String, RuleSet)]

Attributes

Source
LatticeLaws.scala
val join: Option[GroupProperties]

Attributes

Source
LatticeLaws.scala
val meet: Option[GroupProperties]

Attributes

Source
LatticeLaws.scala
val name: String

Attributes

Source
LatticeLaws.scala
val parents: Seq[LatticeProperties]

Attributes

Source
LatticeLaws.scala
val props: (String, Prop)*

Attributes

Source
LatticeLaws.scala
Generated with