Module

Test.Abides.Data.EuclideanRing

#integralDomain 

integralDomain :: forall a. EuclideanRing a => Eq a => a -> a -> Boolean

#nonnegative 

nonnegative :: forall a. EuclideanRing a => Eq a => a -> Boolean

#quotientRemainder 

quotientRemainder :: forall a. EuclideanRing a => Eq a => a -> a -> Boolean

#submultiplicative 

submultiplicative :: forall a. EuclideanRing a => Eq a => a -> a -> Boolean

Modules