Module

Test.Abides.Data.Semiring

Package
purescript-abides
Repository
athanclark/purescript-abides

#commutativeMonoid Source

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

#monoid Source

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

#leftDistributive Source

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

#rightDistributive Source

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

#annihilation Source

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