abides-0.0.1: Simple boolean tests to see if a value abides by certain properties
Test.Abides.Data.Semiring
commutativeMonoid :: Num a => Eq a => a -> a -> a -> Bool Source #
monoid :: Num a => Eq a => a -> a -> a -> Bool Source #
leftDistributive :: Num a => Eq a => a -> a -> a -> Bool Source #
rightDistributive :: Num a => Eq a => a -> a -> a -> Bool Source #
annihilation :: Num a => Eq a => a -> Bool Source #