Numeric.Log

Documentation

newtype Log r

Constructors

Log

Fields

runLog :: r

Instances

(Semiring Integer, Additive (Log r), Division r) => RightModule Integer (Log r)

(Semiring Natural, Additive (Log r), Unital r) => RightModule Natural (Log r)

(Semiring Integer, Additive (Log r), Division r) => LeftModule Integer (Log r)

(Semiring Natural, Additive (Log r), Unital r) => LeftModule Natural (Log r)

(Additive (Log r), Band r) => Idempotent (Log r)

(Additive (Log r), Commutative r) => Abelian (Log r)

(Additive (Log r), Factorable r) => Partitionable (Log r)

Multiplicative r => Additive (Log r)

(LeftModule Natural (Log r), RightModule Natural (Log r), Unital r) => Monoidal (Log r)

(LeftModule Integer (Log r), RightModule Integer (Log r), Monoidal (Log r), Division r) => Group (Log r)