algebra-3.1: Constructive abstract algebra

Safe HaskellNone

Numeric.Decidable.Associates

Documentation

isAssociateIntegral :: (Eq n, Num n) => n -> n -> BoolSource

isAssociateWhole :: Eq n => n -> n -> BoolSource