abides-0.0.1: Simple boolean tests to see if a value abides by certain properties

Safe HaskellSafe
LanguageHaskell2010

Test.Abides.Data.Semiring

Documentation

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 #