Language.Hakaru.Inference

TODO: we may want to give these longer/more-explicit names so as to be a bit less ambiguous in the larger Haskell ecosystem.

Documentation

priorAsProposal :: (ABT Term abt, SingI a, SingI b) => abt '[] (HMeasure (HPair a b)) -> abt '[] (HPair a b) -> abt '[] (HMeasure (HPair a b))

mh :: ABT Term abt => abt '[] (a :-> HMeasure a) -> abt '[] (HMeasure a) -> abt '[] (a :-> HMeasure (HPair a HProb))

mcmc :: ABT Term abt => abt '[] (a :-> HMeasure a) -> abt '[] (HMeasure a) -> abt '[] (a :-> HMeasure a)

gibbsProposal :: (ABT Term abt, SingI a, SingI b) => abt '[] (HMeasure (HPair a b)) -> abt '[] (HPair a b) -> abt '[] (HMeasure (HPair a b))

slice :: ABT Term abt => abt '[] (HMeasure HReal) -> abt '[] (HReal :-> HMeasure HReal)

sliceX :: (ABT Term abt, SingI a) => abt '[] (HMeasure a) -> abt '[] (HMeasure (HPair a HReal))

incompleteBeta :: ABT Term abt => abt '[] HProb -> abt '[] HProb -> abt '[] HProb -> abt '[] HProb

regBeta :: ABT Term abt => abt '[] HProb -> abt '[] HProb -> abt '[] HProb -> abt '[] HProb

tCDF :: ABT Term abt => abt '[] HReal -> abt '[] HProb -> abt '[] HProb

approxMh :: (ABT Term abt, SingI a) => (abt '[] a -> abt '[] (HMeasure a)) -> abt '[] (HMeasure a) -> [abt '[] a -> abt '[] (HMeasure a)] -> abt '[] (a :-> HMeasure a)

kl :: ABT Term abt => abt '[] (HMeasure a) -> abt '[] (HMeasure a) -> Maybe (abt '[] HProb)