algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Log

Documentation

newtype Log r #

Constructors

Log 

Fields

Instances

Division r => RightModule Integer (Log r) # 

Methods

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

Unital r => RightModule Natural (Log r) # 

Methods

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

Division r => LeftModule Integer (Log r) # 

Methods

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

Unital r => LeftModule Natural (Log r) # 

Methods

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

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

Methods

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

Multiplicative r => Additive (Log r) # 

Methods

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

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

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

Unital r => Monoidal (Log r) # 

Methods

zero :: Log r #

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

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

Division r => Group (Log r) # 

Methods

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

negate :: Log r -> Log r #

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

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