algebra
laws
package
laws
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
laws
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
trait
BaseLaws
[
A
]
extends
Laws
implicit
class
BooleanOps
[
A
]
extends
AnyRef
implicit
class
CheckEqOps
[
A
]
extends
AnyRef
implicit
class
CheckOrderOps
[
A
]
extends
AnyRef
trait
GroupLaws
[
A
]
extends
Laws
trait
LatticeLaws
[
A
]
extends
GroupLaws
[
A
]
trait
LatticePartialOrderLaws
[
A
]
extends
Laws
trait
LogicLaws
[
A
]
extends
LatticeLaws
[
A
]
trait
OrderLaws
[
A
]
extends
Laws
trait
RingLaws
[
A
]
extends
GroupLaws
[
A
]
Value Members
object
BaseLaws
object
CheckSupport
This object contains Arbitrary instances for types defined in algebra.
object
GroupLaws
object
LatticeLaws
object
LatticePartialOrderLaws
object
LogicLaws
object
Ops
object
OrderLaws
implicit
def
PredicateFromMonoid
[
A
]
(
implicit
ev:
Eq
[
A
]
,
A:
AdditiveMonoid
[
A
]
)
:
Predicate
[
A
]
object
RingLaws
object
Rules
lazy val
falsified
:
Prop
lazy val
proved
:
Prop
Inherited from
AnyRef
Inherited from
Any
Ungrouped