Mcmc.Monitor.Parameter

Creation date: Fri May 29 11:11:49 2020.

Parameter monitors

data MonitorParameter a

Instruction about a parameter to monitor.

Constructors

MonitorParameter

Fields

• mpName :: String

  Name of parameter.

• mpFunc :: a -> Builder

  Instruction about how to extract the parameter from the state.

(@.) :: Lens' b a -> MonitorParameter a -> MonitorParameter b

Convert a parameter monitor from one data type to another using a lens.

For example, to monitor a Double value being the first entry of a tuple:

mon = _1 @@ monitorDouble

monitorInt

Arguments

:: String

Name.

-> MonitorParameter Int

Monitor Int.

monitorDouble

Arguments

:: String

Name.

-> MonitorParameter Double

Monitor Double with eight decimal places (half precision).

monitorDoubleF

Arguments

:: String

Name.

-> MonitorParameter Double

Monitor Double with full precision computing the shortest string of digits that correctly represent the number.

monitorDoubleE

Arguments

:: String

Name.

-> MonitorParameter Double

Monitor Double in exponential format and half precision.