Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
73 changed files
with
685 additions
and
1,016 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1 @@ | ||
| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Language.Church</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">stochaskell-0.1.0: A probabilistic programming language</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) David A Roberts 2015-2019</td></tr><tr><th>License</th><td>GPL-3</td></tr><tr><th>Maintainer</th><td>d@vidr.cc</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Language.Church</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><a href="#v:mhChurch">mhChurch</a> :: (<a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t, <a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t) => <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t]</li><li class="src short"><a href="#v:simChurchVec">simChurchVec</a> :: (<a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t, <a href="Language-Stochaskell-Expression.html#t:ExprType" title="Language.Stochaskell.Expression">ExprType</a> t) => <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> (<a href="Language-Stochaskell-Expression.html#t:Expression" title="Language.Stochaskell.Expression">Expression</a> [t]) -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t]</li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:mhChurch" class="def">mhChurch</a> :: (<a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t, <a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t) => <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t] <a href="#v:mhChurch" class="selflink">#</a></p><div class="doc"><p>Metropolis-Hastings inference via the Church code generation backend</p></div></div><div class="top"><p class="src"><a id="v:simChurchVec" class="def">simChurchVec</a> :: (<a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t, <a href="Language-Stochaskell-Expression.html#t:ExprType" title="Language.Stochaskell.Expression">ExprType</a> t) => <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> (<a href="Language-Stochaskell-Expression.html#t:Expression" title="Language.Stochaskell.Expression">Expression</a> [t]) -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t] <a href="#v:simChurchVec" class="selflink">#</a></p><div class="doc"><p>sample a random vector via Church</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.20.0</p></div></body></html> | ||
| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Language.Church</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">stochaskell-1.0.0: A probabilistic programming language</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) David A Roberts 2015-2021</td></tr><tr><th>License</th><td>GPL-3</td></tr><tr><th>Maintainer</th><td>d@vidr.cc</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Language.Church</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><a href="#v:mhChurch">mhChurch</a> :: (<a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t, <a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t) => <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t]</li><li class="src short"><a href="#v:simChurchVec">simChurchVec</a> :: (<a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t, <a href="Language-Stochaskell-Expression.html#t:ExprType" title="Language.Stochaskell.Expression">ExprType</a> t) => <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> (<a href="Language-Stochaskell-Expression.html#t:Expression" title="Language.Stochaskell.Expression">Expression</a> [t]) -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t]</li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:mhChurch" class="def">mhChurch</a> :: (<a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t, <a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t) => <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t] <a href="#v:mhChurch" class="selflink">#</a></p><div class="doc"><p>Metropolis-Hastings inference via the Church code generation backend</p></div></div><div class="top"><p class="src"><a id="v:simChurchVec" class="def">simChurchVec</a> :: (<a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t, <a href="Language-Stochaskell-Expression.html#t:ExprType" title="Language.Stochaskell.Expression">ExprType</a> t) => <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> (<a href="Language-Stochaskell-Expression.html#t:Expression" title="Language.Stochaskell.Expression">Expression</a> [t]) -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t] <a href="#v:simChurchVec" class="selflink">#</a></p><div class="doc"><p>sample a random vector via Church</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.22.0</p></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1 @@ | ||
| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Language.Edward</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">stochaskell-0.1.0: A probabilistic programming language</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) David A Roberts 2015-2019</td></tr><tr><th>License</th><td>GPL-3</td></tr><tr><th>Maintainer</th><td>d@vidr.cc</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Language.Edward</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><a href="#v:hmcEdward">hmcEdward</a> :: (<a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t, <a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t) => <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Double" title="Language.Stochaskell.Prelude">Double</a> -> <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:Maybe" title="Language.Stochaskell.Prelude">Maybe</a> t -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t]</li><li class="src short"><a href="#v:edProgram">edProgram</a> :: <a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t => <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Double" title="Language.Stochaskell.Prelude">Double</a> -> <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:Maybe" title="Language.Stochaskell.Prelude">Maybe</a> t -> <a href="Language-Stochaskell-Prelude.html#t:String" title="Language.Stochaskell.Prelude">String</a></li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:hmcEdward" class="def">hmcEdward</a> :: (<a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t, <a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t) => <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Double" title="Language.Stochaskell.Prelude">Double</a> -> <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:Maybe" title="Language.Stochaskell.Prelude">Maybe</a> t -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t] <a href="#v:hmcEdward" class="selflink">#</a></p><div class="doc"><pre>hmcEdward numSamples numSteps stepSize program initialState</pre><p>perform Hamiltonian Monte Carlo inference via the Edward code generation backend</p></div></div><div class="top"><p class="src"><a id="v:edProgram" class="def">edProgram</a> :: <a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t => <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Double" title="Language.Stochaskell.Prelude">Double</a> -> <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:Maybe" title="Language.Stochaskell.Prelude">Maybe</a> t -> <a href="Language-Stochaskell-Prelude.html#t:String" title="Language.Stochaskell.Prelude">String</a> <a href="#v:edProgram" class="selflink">#</a></p><div class="doc"><p>generate Edward code, as used by <code><a href="Language-Edward.html#v:hmcEdward" title="Language.Edward">hmcEdward</a></code></p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.20.0</p></div></body></html> | ||
| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Language.Edward</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">stochaskell-1.0.0: A probabilistic programming language</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) David A Roberts 2015-2021</td></tr><tr><th>License</th><td>GPL-3</td></tr><tr><th>Maintainer</th><td>d@vidr.cc</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Language.Edward</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><a href="#v:hmcEdward">hmcEdward</a> :: (<a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t, <a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t) => <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Double" title="Language.Stochaskell.Prelude">Double</a> -> <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:Maybe" title="Language.Stochaskell.Prelude">Maybe</a> t -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t]</li><li class="src short"><a href="#v:edProgram">edProgram</a> :: <a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t => <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Double" title="Language.Stochaskell.Prelude">Double</a> -> <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:Maybe" title="Language.Stochaskell.Prelude">Maybe</a> t -> <a href="Language-Stochaskell-Prelude.html#t:String" title="Language.Stochaskell.Prelude">String</a></li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:hmcEdward" class="def">hmcEdward</a> :: (<a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t, <a href="Language-Stochaskell-Prelude.html#t:Read" title="Language.Stochaskell.Prelude">Read</a> t) => <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Double" title="Language.Stochaskell.Prelude">Double</a> -> <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:Maybe" title="Language.Stochaskell.Prelude">Maybe</a> t -> <a href="Language-Stochaskell-Prelude.html#t:IO" title="Language.Stochaskell.Prelude">IO</a> [t] <a href="#v:hmcEdward" class="selflink">#</a></p><div class="doc"><pre>hmcEdward numSamples numSteps stepSize program initialState</pre><p>perform Hamiltonian Monte Carlo inference via the Edward code generation backend</p></div></div><div class="top"><p class="src"><a id="v:edProgram" class="def">edProgram</a> :: <a href="Language-Stochaskell-Expression.html#t:ExprTuple" title="Language.Stochaskell.Expression">ExprTuple</a> t => <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Int" title="Language.Stochaskell.Prelude">Int</a> -> <a href="Language-Stochaskell-Prelude.html#t:Double" title="Language.Stochaskell.Prelude">Double</a> -> <a href="Language-Stochaskell.html#t:P" title="Language.Stochaskell">P</a> t -> <a href="Language-Stochaskell-Prelude.html#t:Maybe" title="Language.Stochaskell.Prelude">Maybe</a> t -> <a href="Language-Stochaskell-Prelude.html#t:String" title="Language.Stochaskell.Prelude">String</a> <a href="#v:edProgram" class="selflink">#</a></p><div class="doc"><p>generate Edward code, as used by <code><a href="Language-Edward.html#v:hmcEdward" title="Language.Edward">hmcEdward</a></code></p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.22.0</p></div></body></html> |
Oops, something went wrong.