| Copyright | Copyright (c) 2016 the Hakaru team |
|---|---|
| License | BSD3 |
| Maintainer | wren@community.haskell.org |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.Hakaru.Inference
Description
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)) Source #
mh :: ABT Term abt => abt '[] (a :-> 'HMeasure a) -> abt '[] ('HMeasure a) -> abt '[] (a :-> 'HMeasure (HPair a 'HProb)) Source #
mh' :: ABT Term abt => TransformCtx -> abt '[] (a :-> 'HMeasure a) -> abt '[] ('HMeasure a) -> Maybe (abt '[] (a :-> 'HMeasure (HPair a 'HProb))) Source #
mcmc :: ABT Term abt => abt '[] (a :-> 'HMeasure a) -> abt '[] ('HMeasure a) -> abt '[] (a :-> 'HMeasure a) Source #
mcmc' :: ABT Term abt => TransformCtx -> abt '[] (a :-> 'HMeasure a) -> abt '[] ('HMeasure a) -> Maybe (abt '[] (a :-> 'HMeasure a)) Source #
gibbsProposal :: (ABT Term abt, SingI a, SingI b) => abt '[] ('HMeasure (HPair a b)) -> abt '[] (HPair a b) -> abt '[] ('HMeasure (HPair a b)) Source #
slice :: ABT Term abt => abt '[] ('HMeasure 'HReal) -> abt '[] ('HReal :-> 'HMeasure 'HReal) Source #
sliceX :: (ABT Term abt, SingI a) => abt '[] ('HMeasure a) -> abt '[] ('HMeasure (HPair a 'HReal)) Source #
incompleteBeta :: ABT Term abt => abt '[] 'HProb -> abt '[] 'HProb -> abt '[] 'HProb -> abt '[] 'HProb Source #
regBeta :: ABT Term abt => abt '[] 'HProb -> abt '[] 'HProb -> abt '[] 'HProb -> abt '[] 'HProb Source #