Numeric.Group.Multiplicative

Documentation

class Unital r => MultiplicativeGroup r where

Methods

recip :: r -> r

(/) :: r -> r -> r

(\\) :: r -> r -> r

(^) :: Integral n => r -> n -> r

Instances

MultiplicativeGroup ()

AdditiveGroup r => MultiplicativeGroup (Exp r)

MultiplicativeGroup r => MultiplicativeGroup (Opposite r)

(Rng r, MultiplicativeGroup r) => MultiplicativeGroup (RngRing r)

(MultiplicativeGroup a, MultiplicativeGroup b) => MultiplicativeGroup (a, b)

AdditiveGroup n => MultiplicativeGroup (:^ x n)

(MultiplicativeGroup a, MultiplicativeGroup b, MultiplicativeGroup c) => MultiplicativeGroup (a, b, c)

(MultiplicativeGroup a, MultiplicativeGroup b, MultiplicativeGroup c, MultiplicativeGroup d) => MultiplicativeGroup (a, b, c, d)

(MultiplicativeGroup a, MultiplicativeGroup b, MultiplicativeGroup c, MultiplicativeGroup d, MultiplicativeGroup e) => MultiplicativeGroup (a, b, c, d, e)