Numeric.Semigroup.Multiplicative
- 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
Methods
pow1p :: Whole n => r -> n -> rSource
productWith1 :: Foldable1 f => (a -> r) -> f a -> rSource
Instances
pow1pIntegral :: (Integral r, Integral n) => r -> n -> rSource
product1 :: (Foldable1 f, Multiplicative r) => f r -> rSource