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 real float value being the first entry of a tuple:

mon = _1 @@ monitorRealFloat

monitorInt

Arguments

:: Integral a

=> String

Name of monitor.

-> MonitorParameter a

Monitor integral parameters such as Int.

monitorRealFloat

Arguments

:: RealFloat a

=> String

Name of monitor.

-> MonitorParameter a

Monitor real float parameters such as Double with eight decimal places (half precision).

monitorRealFloatF

Arguments

:: RealFloat a

=> String

Name of monitor.

-> MonitorParameter a

Monitor real float parameters such as Double with full precision.

monitorRealFloatS

Arguments

:: RealFloat a

=> String

Name of monitor.

-> MonitorParameter a

Monitor real float parameters such as Double with scientific notation and eight decimal places.