algebra-4.3: Constructive abstract algebra

Safe HaskellNone
LanguageHaskell98

Numeric.Log

Documentation

newtype Log r Source #

Constructors

Log 

Fields

Instances

Division r => RightModule Integer (Log r) Source # 

Methods

(*.) :: Log r -> Integer -> Log r Source #

Unital r => RightModule Natural (Log r) Source # 

Methods

(*.) :: Log r -> Natural -> Log r Source #

Division r => LeftModule Integer (Log r) Source # 

Methods

(.*) :: Integer -> Log r -> Log r Source #

Unital r => LeftModule Natural (Log r) Source # 

Methods

(.*) :: Natural -> Log r -> Log r Source #

Band r => Idempotent (Log r) Source # 
Commutative r => Abelian (Log r) Source # 
Factorable r => Partitionable (Log r) Source # 

Methods

partitionWith :: (Log r -> Log r -> r) -> Log r -> NonEmpty r Source #

Multiplicative r => Additive (Log r) Source # 

Methods

(+) :: Log r -> Log r -> Log r Source #

sinnum1p :: Natural -> Log r -> Log r Source #

sumWith1 :: Foldable1 f => (a -> Log r) -> f a -> Log r Source #

Unital r => Monoidal (Log r) Source # 

Methods

zero :: Log r Source #

sinnum :: Natural -> Log r -> Log r Source #

sumWith :: Foldable f => (a -> Log r) -> f a -> Log r Source #

Division r => Group (Log r) Source # 

Methods

(-) :: Log r -> Log r -> Log r Source #

negate :: Log r -> Log r Source #

subtract :: Log r -> Log r -> Log r Source #

times :: Integral n => n -> Log r -> Log r Source #