Numeric.Log

Definitions

isInf : (FromDouble a, (Eq a, Fractional a)) => a -> Bool

  Numeric utility functions

Visibility: export

negInf : (Neg a, Fractional a) => a

Visibility: export

record Log : Type -> Type

  Log Domain

Totality: total
Visibility: public export
Constructor: 

Exp : a -> Log a

Projection: 

.ln : Log a -> a

Hints:

Abs (Log Double)

Eq a => Eq (Log a)

Fractional (Log Double)

Functor Log

Neg (Log Double)

Num (Log Double)

Ord a => Ord (Log a)

Show (Log Double)

.ln : Log a -> a

Visibility: public export

ln : Log a -> a

Visibility: public export

interface ToLogDomain : Type -> Type

  Explicitly convert a value to the log domain

Parameters: a
Methods:

toLogDomain : a -> Log Double

Implementations:

ToLogDomain Double

ToLogDomain Nat

ToLogDomain Int

ToLogDomain Integer

toLogDomain : ToLogDomain a => a -> Log Double

Visibility: public export

fromLogDomain : Log Double -> Double

  Explicitly convert a double from the log domain

Visibility: public export

sum : Foldable f => f (Log Double) -> Log Double

Visibility: export