hakaru-0.1.3: A probabilistic programming embedded DSL

Safe HaskellSafe-Inferred

Language.Hakaru.Types

Documentation

data Density a Source

Constructors

Lebesgue !a 
Discrete !a 

Instances

Typeable1 Density 

type Cond = Maybe DynamicSource

fromDiscrete :: Density t -> tSource

fromLebesgue :: Density t -> tSource

fromDensity :: Density t -> tSource

type LogLikelihood = DoubleSource

data Dist a Source

Constructors

Dist 

Fields

logDensity :: Density a -> LogLikelihood
 
distSample :: forall g. RandomGen g => g -> (Density a, g)
 

Instances

Typeable1 Dist