algebra-0.3.0: Constructive abstract algebra
Numeric.Band.Class
Contents
Synopsis
class Multiplicative r => Band r Source
An multiplicative semigroup with idempotent multiplication.
a * a = a
Instances
pow1pBand :: Whole n => r -> n -> rSource
powBand :: (Unital r, Whole n) => r -> n -> rSource