hakaru-0.1.4: A probabilistic programming embedded DSL

Safe HaskellNone
LanguageHaskell2010

Language.Hakaru.Types

Documentation

type PRNG m = Gen (PrimState m) Source

data Density a Source

Constructors

Lebesgue !a 
Discrete !a 

Instances

Typeable (* -> *) Density 

type Cond = Maybe Dynamic Source

fromDiscrete :: Density t -> t Source

fromLebesgue :: Density t -> t Source

fromDensity :: Density t -> t Source

type LogLikelihood = Double Source

data Dist a Source

Constructors

Dist 

Fields

logDensity :: Density a -> LogLikelihood
 
distSample :: PrimMonad m => PRNG m -> m (Density a)
 

Instances

Typeable (* -> *) Dist