Distributions

Documentation

type Rand = Gen (PrimState IO)

type Probability = Double

data Target a

Constructors

T (Density a)

makeTarget :: Density a -> Target a

density :: HasDensity d a => d a -> Density a

data Proposal a

Constructors

P (Density a) (Sample a)

makeProposal :: Density a -> Sample a -> Proposal a

sampleFrom :: Proposal a -> Sample a

fromProposal :: Proposal a -> Target a

uniform :: (Variate a, Real a) => [a] -> [a] -> Proposal [a]

diag :: [Double] -> [[Double]]

normal :: [Double] -> [[Double]] -> Proposal [Double]

categorical :: [a] -> [Probability] -> Proposal (a, Int)

targetMix :: HasDensity t a => [t a] -> [Probability] -> Target a

proposalMix :: [Proposal a] -> [Probability] -> Proposal a

first :: (a -> a') -> (a, b) -> (a', b)

second :: (b -> b') -> (a, b) -> (a, b')

car :: (a -> a) -> [a] -> [a]

cdr :: ([a] -> [a]) -> [a] -> [a]

nth :: Int -> (a -> a) -> [a] -> [a]

block :: Int -> Int -> ([a] -> [a]) -> [a] -> [a]

swapWith :: a -> b -> a

updateNth :: Int -> ([a] -> Proposal [a]) -> [a] -> Proposal [a]

updateBlock :: Int -> Int -> ([a] -> Proposal [a]) -> [a] -> Proposal [a]