laws/spire.laws/VectorSpaceLaws/SpaceProperties

SpaceProperties

class SpaceProperties(val name: String, val sl: RingLaws[A] => RuleSet, val vl: GroupLaws[V] => RuleSet, val parents: Seq[SpaceProperties], val props: (String, Prop)*) extends RuleSet
Companion:
object
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 props: (String, Prop)*
val sl: RingLaws[A] => RuleSet
val vl: GroupLaws[V] => RuleSet