Numeric.Log

Documentation

newtype Log r

Constructors

Log

Fields

runLog :: r

Instances

MultiplicativeGroup r => RightModule Integer (Log r)

Unital r => RightModule Natural (Log r)

MultiplicativeGroup r => LeftModule Integer (Log r)

Unital r => LeftModule Natural (Log r)

Multiplicative r => Additive (Log r)

Factorable r => Partitionable (Log r)

Commutative r => Abelian (Log r)

Unital r => AdditiveMonoid (Log r)

Band r => Idempotent (Log r)

MultiplicativeGroup r => AdditiveGroup (Log r)