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) # 
Instance details

Defined in Numeric.Log

Methods

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

Unital r => RightModule Natural (Log r) # 
Instance details

Defined in Numeric.Log

Methods

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

Division r => LeftModule Integer (Log r) # 
Instance details

Defined in Numeric.Log

Methods

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

Unital r => LeftModule Natural (Log r) # 
Instance details

Defined in Numeric.Log

Methods

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

Band r => Idempotent (Log r) # 
Instance details

Defined in Numeric.Log

Commutative r => Abelian (Log r) # 
Instance details

Defined in Numeric.Log

Factorable r => Partitionable (Log r) # 
Instance details

Defined in Numeric.Log

Methods

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

Multiplicative r => Additive (Log r) # 
Instance details

Defined in Numeric.Log

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) # 
Instance details

Defined in Numeric.Log

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) # 
Instance details

Defined in Numeric.Log

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 #