spire
algebra
package
algebra
Visibility
Public
All
Type Members
trait
BaseLaws
[
A
]
extends
Laws
trait
GroupLaws
[
A
]
extends
Laws
trait
LawChecker
extends
FunSuite
with
Checkers
trait
Laws
extends
AnyRef
Root trait of the law cake.
trait
Predicate
[
A
]
extends (
A
) ⇒
Boolean
trait
RingLaws
[
A
]
extends
GroupLaws
[
A
]
trait
VectorSpaceLaws
[
V
,
A
]
extends
Laws
Value Members
object
BaseLaws
object
GroupLaws
object
Laws
object
Predicate
object
RingLaws
object
SpireArbitrary
object
VectorSpaceLaws
Ungrouped