-
Notifications
You must be signed in to change notification settings - Fork 222
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Loading status checks…
build based on 6f106a4
Documenter.jl
committed
Jan 11, 2025
1 parent
6efc9f5
commit 3c9e879
Showing
17 changed files
with
1,510 additions
and
0 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 |
---|---|---|
@@ -0,0 +1 @@ | ||
{"documenter":{"julia_version":"1.11.2","generation_timestamp":"2025-01-11T00:36:40","documenter_version":"1.8.0"}} |
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
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 |
---|---|---|
@@ -0,0 +1,84 @@ | ||
// Small function to quickly swap out themes. Gets put into the <head> tag.. | ||
function set_theme_from_local_storage() { | ||
// Initialize the theme to null, which means default | ||
var theme = null; | ||
// If the browser supports the localstorage and is not disabled then try to get the | ||
// documenter theme | ||
if (window.localStorage != null) { | ||
// Get the user-picked theme from localStorage. May be `null`, which means the default | ||
// theme. | ||
theme = window.localStorage.getItem("documenter-theme"); | ||
} | ||
// Check if the users preference is for dark color scheme | ||
var darkPreference = | ||
window.matchMedia("(prefers-color-scheme: dark)").matches === true; | ||
// Initialize a few variables for the loop: | ||
// | ||
// - active: will contain the index of the theme that should be active. Note that there | ||
// is no guarantee that localStorage contains sane values. If `active` stays `null` | ||
// we either could not find the theme or it is the default (primary) theme anyway. | ||
// Either way, we then need to stick to the primary theme. | ||
// | ||
// - disabled: style sheets that should be disabled (i.e. all the theme style sheets | ||
// that are not the currently active theme) | ||
var active = null; | ||
var disabled = []; | ||
var primaryLightTheme = null; | ||
var primaryDarkTheme = null; | ||
for (var i = 0; i < document.styleSheets.length; i++) { | ||
var ss = document.styleSheets[i]; | ||
// The <link> tag of each style sheet is expected to have a data-theme-name attribute | ||
// which must contain the name of the theme. The names in localStorage much match this. | ||
var themename = ss.ownerNode.getAttribute("data-theme-name"); | ||
// attribute not set => non-theme stylesheet => ignore | ||
if (themename === null) continue; | ||
// To distinguish the default (primary) theme, it needs to have the data-theme-primary | ||
// attribute set. | ||
if (ss.ownerNode.getAttribute("data-theme-primary") !== null) { | ||
primaryLightTheme = themename; | ||
} | ||
// Check if the theme is primary dark theme so that we could store its name in darkTheme | ||
if (ss.ownerNode.getAttribute("data-theme-primary-dark") !== null) { | ||
primaryDarkTheme = themename; | ||
} | ||
// If we find a matching theme (and it's not the default), we'll set active to non-null | ||
if (themename === theme) active = i; | ||
// Store the style sheets of inactive themes so that we could disable them | ||
if (themename !== theme) disabled.push(ss); | ||
} | ||
var activeTheme = null; | ||
if (active !== null) { | ||
// If we did find an active theme, we'll (1) add the theme--$(theme) class to <html> | ||
document.getElementsByTagName("html")[0].className = "theme--" + theme; | ||
activeTheme = theme; | ||
} else { | ||
// If we did _not_ find an active theme, then we need to fall back to the primary theme | ||
// which can either be dark or light, depending on the user's OS preference. | ||
var activeTheme = darkPreference ? primaryDarkTheme : primaryLightTheme; | ||
// In case it somehow happens that the relevant primary theme was not found in the | ||
// preceding loop, we abort without doing anything. | ||
if (activeTheme === null) { | ||
console.error("Unable to determine primary theme."); | ||
return; | ||
} | ||
// When switching to the primary light theme, then we must not have a class name | ||
// for the <html> tag. That's only for non-primary or the primary dark theme. | ||
if (darkPreference) { | ||
document.getElementsByTagName("html")[0].className = | ||
"theme--" + activeTheme; | ||
} else { | ||
document.getElementsByTagName("html")[0].className = ""; | ||
} | ||
} | ||
for (var i = 0; i < document.styleSheets.length; i++) { | ||
var ss = document.styleSheets[i]; | ||
// The <link> tag of each style sheet is expected to have a data-theme-name attribute | ||
// which must contain the name of the theme. The names in localStorage much match this. | ||
var themename = ss.ownerNode.getAttribute("data-theme-name"); | ||
// attribute not set => non-theme stylesheet => ignore | ||
if (themename === null) continue; | ||
// we'll disable all the stylesheets, except for the active one | ||
ss.disabled = !(themename == activeTheme); | ||
} | ||
} | ||
set_theme_from_local_storage(); |
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 |
---|---|---|
@@ -0,0 +1,52 @@ | ||
function maybeAddWarning() { | ||
// DOCUMENTER_NEWEST is defined in versions.js, DOCUMENTER_CURRENT_VERSION and DOCUMENTER_STABLE | ||
// in siteinfo.js. | ||
// If either of these are undefined something went horribly wrong, so we abort. | ||
if ( | ||
window.DOCUMENTER_NEWEST === undefined || | ||
window.DOCUMENTER_CURRENT_VERSION === undefined || | ||
window.DOCUMENTER_STABLE === undefined | ||
) { | ||
return; | ||
} | ||
|
||
// Current version is not a version number, so we can't tell if it's the newest version. Abort. | ||
if (!/v(\d+\.)*\d+/.test(window.DOCUMENTER_CURRENT_VERSION)) { | ||
return; | ||
} | ||
|
||
// Current version is newest version, so no need to add a warning. | ||
if (window.DOCUMENTER_NEWEST === window.DOCUMENTER_CURRENT_VERSION) { | ||
return; | ||
} | ||
|
||
// Add a noindex meta tag (unless one exists) so that search engines don't index this version of the docs. | ||
if (document.body.querySelector('meta[name="robots"]') === null) { | ||
const meta = document.createElement("meta"); | ||
meta.name = "robots"; | ||
meta.content = "noindex"; | ||
|
||
document.getElementsByTagName("head")[0].appendChild(meta); | ||
} | ||
|
||
const div = document.createElement("div"); | ||
div.classList.add("outdated-warning-overlay"); | ||
const closer = document.createElement("button"); | ||
closer.classList.add("outdated-warning-closer", "delete"); | ||
closer.addEventListener("click", function () { | ||
document.body.removeChild(div); | ||
}); | ||
const href = window.documenterBaseURL + "/../" + window.DOCUMENTER_STABLE; | ||
div.innerHTML = | ||
'This documentation is not for the latest stable release, but for either the development version or an older release.<br><a href="' + | ||
href + | ||
'">Click here to go to the documentation for the latest stable release.</a>'; | ||
div.appendChild(closer); | ||
document.body.appendChild(div); | ||
} | ||
|
||
if (document.readyState === "loading") { | ||
document.addEventListener("DOMContentLoaded", maybeAddWarning); | ||
} else { | ||
maybeAddWarning(); | ||
} |
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 |
---|---|---|
@@ -0,0 +1,2 @@ | ||
<!DOCTYPE html> | ||
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>Home · Turing</title><meta name="title" content="Home · Turing"/><meta property="og:title" content="Home · Turing"/><meta property="twitter:title" content="Home · Turing"/><meta name="description" content="Documentation for Turing."/><meta property="og:description" content="Documentation for Turing."/><meta property="twitter:description" content="Documentation for Turing."/><script data-outdated-warner src="assets/warner.js"></script><link href="https://cdnjs.cloudflare.com/ajax/libs/lato-font/3.0.0/css/lato-font.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/juliamono/0.050/juliamono.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.8/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL="."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js" data-main="assets/documenter.js"></script><script src="search_index.js"></script><script src="siteinfo.js"></script><script src="../versions.js"></script><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/catppuccin-mocha.css" data-theme-name="catppuccin-mocha"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/catppuccin-macchiato.css" data-theme-name="catppuccin-macchiato"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/catppuccin-frappe.css" data-theme-name="catppuccin-frappe"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/catppuccin-latte.css" data-theme-name="catppuccin-latte"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/documenter-dark.css" data-theme-name="documenter-dark" data-theme-primary-dark/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="assets/themeswap.js"></script></head><body><div id="documenter"><nav class="docs-sidebar"><div class="docs-package-name"><span class="docs-autofit"><a href>Turing</a></span></div><button class="docs-search-query input is-rounded is-small is-clickable my-2 mx-auto py-1 px-2" id="documenter-search-query">Search docs (Ctrl + /)</button><ul class="docs-menu"><li class="is-active"><a class="tocitem" href>Home</a></li><li><a class="tocitem" href="api/">API</a></li><li><span class="tocitem">Submodule APIs</span><ul><li><a class="tocitem" href="api/Inference/">Inference</a></li><li><a class="tocitem" href="api/Optimisation/">Optimisation</a></li></ul></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><a class="docs-sidebar-button docs-navbar-link fa-solid fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href>Home</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>Home</a></li></ul></nav><div class="docs-right"><a class="docs-navbar-link" href="https://github.com/TuringLang/Turing.jl" title="View the repository on GitHub"><span class="docs-icon fa-brands"></span><span class="docs-label is-hidden-touch">GitHub</span></a><a class="docs-navbar-link" href="https://github.com/TuringLang/Turing.jl/blob/master/docs/src/index.md" title="Edit source on GitHub"><span class="docs-icon fa-solid"></span></a><a class="docs-settings-button docs-navbar-link fa-solid fa-gear" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-article-toggle-button fa-solid fa-chevron-up" id="documenter-article-toggle-button" href="javascript:;" title="Collapse all docstrings"></a></div></header><article class="content" id="documenter-page"><h1 id="Turing.jl"><a class="docs-heading-anchor" href="#Turing.jl">Turing.jl</a><a id="Turing.jl-1"></a><a class="docs-heading-anchor-permalink" href="#Turing.jl" title="Permalink"></a></h1><p>This site contains the API documentation for the identifiers exported by Turing.jl.</p><p>If you are looking for usage examples and guides, please visit <a href="https://turinglang.org/docs">https://turinglang.org/docs</a>.</p></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="api/">API »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.8.0 on <span class="colophon-date" title="Saturday 11 January 2025 00:36">Saturday 11 January 2025</span>. Using Julia version 1.11.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html> |
Binary file not shown.
Large diffs are not rendered by default.
Oops, something went wrong.
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 |
---|---|---|
@@ -0,0 +1 @@ | ||
var DOCUMENTER_CURRENT_VERSION = "previews/PR2461"; |