Documentation

Methods

real :: Double -> repr DoubleSource

bool :: Bool -> repr BoolSource

add, exp, mul, minus :: repr Double -> repr Double -> repr DoubleSource

sqrt, sin, cos :: repr Double -> repr DoubleSource

bind :: repr (Measure a) -> (repr a -> repr (Measure a)) -> repr (Measure a)Source

ret :: repr a -> repr (Measure a)Source

uniformD, normal, uniformC :: repr Double -> repr Double -> repr (Dist Double)Source

conditioned, unconditioned :: repr (Dist a) -> repr (Measure a)Source