- class Multiplicative r where
- (*) :: r -> r -> r
- pow1p :: Whole n => r -> n -> r
- productWith1 :: Foldable1 f => (a -> r) -> f a -> r

- pow1pIntegral :: (Integral r, Integral n) => r -> n -> r
- product1 :: (Foldable1 f, Multiplicative r) => f r -> r

# Documentation

class Multiplicative r whereSource

A multiplicative semigroup

pow1pIntegral :: (Integral r, Integral n) => r -> n -> rSource

product1 :: (Foldable1 f, Multiplicative r) => f r -> rSource