Module

Test.Abides.Data.Semiring

#commutativeMonoid 

commutativeMonoid :: forall a. Semiring a => Eq a => a -> a -> a -> Boolean

#monoid 

monoid :: forall a. Semiring a => Eq a => a -> a -> a -> Boolean

#leftDistributive 

leftDistributive :: forall a. Semiring a => Eq a => a -> a -> a -> Boolean

#rightDistributive 

rightDistributive :: forall a. Semiring a => Eq a => a -> a -> a -> Boolean

#annihilation 

annihilation :: forall a. Semiring a => Eq a => a -> Boolean

Modules