Numeric.LogDomain

This module provides log-domain functionality. Ed Kmett provides, with log-domain, a generic way to handle numbers in the log-domain, some which is used under the hood here. We want some additional type safety and also connect with the SemiRing module.

Documentation

class LogDomain x where

Instances for LogDomain x should be for specific types.

Associated Types

type Ln x :: *

The type family to connect a type x with the type Ln x in the log-domain.

Methods

logdom :: MonadError String m => x -> m (Ln x)

Transport a value in x into the log-domain. logdom should throw an exception if log x is not valid.

unsafelogdom :: x -> Ln x

Unsafely transport x into the log-domain.

lindom :: Ln x -> x

Transport a value Ln x back into the linear domain x.

Instances

LogDomain Double

Defined in Numeric.LogDomain

Associated Types

type Ln Double :: Type

Methods

logdom :: MonadError String m => Double -> m (Ln Double)

unsafelogdom :: Double -> Ln Double

lindom :: Ln Double -> Double