Skip to content

Commit

Permalink
Deploying to gh-pages from @ 249ce4d 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@nilehmann
nilehmann committed Dec 18, 2024
1 parent d10608c commit b03cc7d
Show file tree
Hide file tree
Showing 9 changed files with 21 additions and 17 deletions.
4 changes: 2 additions & 2 deletions doc/flux_driver/callbacks/struct.CrateChecker.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion doc/flux_middle/pretty/trait.PrettyNested.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@

// Provided method
fn <a href="#method.nested_string" class="fn">nested_string</a>(&amp;self, cx: &amp;<a class="struct" href="struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_, '_&gt;) -&gt; <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/string/struct.String.html" title="struct alloc::string::String">String</a> { ... }
}</code></pre><h2 id="required-methods" class="section-header">Required Methods<a href="#required-methods" class="anchor">§</a></h2><div class="methods"><section id="tymethod.fmt_nested" class="method"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#576">Source</a><h4 class="code-header">fn <a href="#tymethod.fmt_nested" class="fn">fmt_nested</a>(&amp;self, cx: &amp;<a class="struct" href="struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_, '_&gt;) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;<a class="struct" href="struct.NestedString.html" title="struct flux_middle::pretty::NestedString">NestedString</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/core/fmt/struct.Error.html" title="struct core::fmt::Error">Error</a>&gt;</h4></section></div><h2 id="provided-methods" class="section-header">Provided Methods<a href="#provided-methods" class="anchor">§</a></h2><div class="methods"><section id="method.nested_string" class="method"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#578-581">Source</a><h4 class="code-header">fn <a href="#method.nested_string" class="fn">nested_string</a>(&amp;self, cx: &amp;<a class="struct" href="struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_, '_&gt;) -&gt; <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/string/struct.String.html" title="struct alloc::string::String">String</a></h4></section></div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-PrettyNested-for-BaseTy" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#602-683">Source</a><a href="#impl-PrettyNested-for-BaseTy" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="enum" href="../rty/enum.BaseTy.html" title="enum flux_middle::rty::BaseTy">BaseTy</a></h3></section><section id="impl-PrettyNested-for-GenericArg" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#586-600">Source</a><a href="#impl-PrettyNested-for-GenericArg" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="enum" href="../rty/enum.GenericArg.html" title="enum flux_middle::rty::GenericArg">GenericArg</a></h3></section><section id="impl-PrettyNested-for-Expr" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/expr.rs.html#1418-1558">Source</a><a href="#impl-PrettyNested-for-Expr" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/expr/struct.Expr.html" title="struct flux_middle::rty::expr::Expr">Expr</a></h3></section><section id="impl-PrettyNested-for-Lambda" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/expr.rs.html#1381-1389">Source</a><a href="#impl-PrettyNested-for-Lambda" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/expr/struct.Lambda.html" title="struct flux_middle::rty::expr::Lambda">Lambda</a></h3></section><section id="impl-PrettyNested-for-IdxFmt" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#226-234">Source</a><a href="#impl-PrettyNested-for-IdxFmt" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/pretty/struct.IdxFmt.html" title="struct flux_middle::rty::pretty::IdxFmt">IdxFmt</a></h3></section><section id="impl-PrettyNested-for-SubsetTy" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#569-584">Source</a><a href="#impl-PrettyNested-for-SubsetTy" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/struct.SubsetTy.html" title="struct flux_middle::rty::SubsetTy">SubsetTy</a></h3></section><section id="impl-PrettyNested-for-Ty" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#698-769">Source</a><a href="#impl-PrettyNested-for-Ty" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/struct.Ty.html" title="struct flux_middle::rty::Ty">Ty</a></h3></section></div><script src="../../trait.impl/flux_middle/pretty/trait.PrettyNested.js" async></script></section></div></main></body></html>
}</code></pre><h2 id="required-methods" class="section-header">Required Methods<a href="#required-methods" class="anchor">§</a></h2><div class="methods"><section id="tymethod.fmt_nested" class="method"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#576">Source</a><h4 class="code-header">fn <a href="#tymethod.fmt_nested" class="fn">fmt_nested</a>(&amp;self, cx: &amp;<a class="struct" href="struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_, '_&gt;) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;<a class="struct" href="struct.NestedString.html" title="struct flux_middle::pretty::NestedString">NestedString</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/core/fmt/struct.Error.html" title="struct core::fmt::Error">Error</a>&gt;</h4></section></div><h2 id="provided-methods" class="section-header">Provided Methods<a href="#provided-methods" class="anchor">§</a></h2><div class="methods"><section id="method.nested_string" class="method"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#578-581">Source</a><h4 class="code-header">fn <a href="#method.nested_string" class="fn">nested_string</a>(&amp;self, cx: &amp;<a class="struct" href="struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_, '_&gt;) -&gt; <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/string/struct.String.html" title="struct alloc::string::String">String</a></h4></section></div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-PrettyNested-for-BaseTy" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#602-683">Source</a><a href="#impl-PrettyNested-for-BaseTy" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="enum" href="../rty/enum.BaseTy.html" title="enum flux_middle::rty::BaseTy">BaseTy</a></h3></section><section id="impl-PrettyNested-for-GenericArg" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#586-600">Source</a><a href="#impl-PrettyNested-for-GenericArg" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="enum" href="../rty/enum.GenericArg.html" title="enum flux_middle::rty::GenericArg">GenericArg</a></h3></section><section id="impl-PrettyNested-for-Expr" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/expr.rs.html#1418-1558">Source</a><a href="#impl-PrettyNested-for-Expr" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/expr/struct.Expr.html" title="struct flux_middle::rty::expr::Expr">Expr</a></h3></section><section id="impl-PrettyNested-for-Lambda" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/expr.rs.html#1381-1389">Source</a><a href="#impl-PrettyNested-for-Lambda" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/expr/struct.Lambda.html" title="struct flux_middle::rty::expr::Lambda">Lambda</a></h3></section><section id="impl-PrettyNested-for-IdxFmt" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#226-234">Source</a><a href="#impl-PrettyNested-for-IdxFmt" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/pretty/struct.IdxFmt.html" title="struct flux_middle::rty::pretty::IdxFmt">IdxFmt</a></h3></section><section id="impl-PrettyNested-for-SubsetTy" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#569-584">Source</a><a href="#impl-PrettyNested-for-SubsetTy" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/struct.SubsetTy.html" title="struct flux_middle::rty::SubsetTy">SubsetTy</a></h3></section><section id="impl-PrettyNested-for-Ty" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/pretty.rs.html#700-771">Source</a><a href="#impl-PrettyNested-for-Ty" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.PrettyNested.html" title="trait flux_middle::pretty::PrettyNested">PrettyNested</a> for <a class="struct" href="../rty/struct.Ty.html" title="struct flux_middle::rty::Ty">Ty</a></h3></section></div><script src="../../trait.impl/flux_middle/pretty/trait.PrettyNested.js" async></script></section></div></main></body></html>
2 changes: 1 addition & 1 deletion doc/flux_middle/rty/pretty/fn.nested_with_bound_vars.html
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="API documentation for the Rust `nested_with_bound_vars` fn in crate `flux_middle`."><title>nested_with_bound_vars in flux_middle::rty::pretty - Rust</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-6b053e98.ttf.woff2,FiraSans-Regular-0fe48ade.woff2,FiraSans-Medium-e1aa3f0a.woff2,SourceCodePro-Regular-8badfe75.ttf.woff2,SourceCodePro-Semibold-aa29a496.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../../../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../../../static.files/normalize-9960930a.css"><link rel="stylesheet" href="../../../static.files/rustdoc-590a400c.css"><meta name="rustdoc-vars" data-root-path="../../../" data-static-root-path="../../../static.files/" data-current-crate="flux_middle" data-themes="" data-resource-suffix="" data-rustdoc-version="1.84.0-nightly (b3f75cc87 2024-11-02)" data-channel="nightly" data-search-js="search-c5a66128.js" data-settings-js="settings-0f613d39.js" ><script src="../../../static.files/storage-59e33391.js"></script><script defer src="sidebar-items.js"></script><script defer src="../../../static.files/main-5f194d8c.js"></script><noscript><link rel="stylesheet" href="../../../static.files/noscript-893ab5e7.css"></noscript><link rel="alternate icon" type="image/png" href="../../../static.files/favicon-32x32-6580c154.png"><link rel="icon" type="image/svg+xml" href="../../../static.files/favicon-044be391.svg"></head><body class="rustdoc fn"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../../flux_middle/index.html">flux_<wbr>middle</a><span class="version">0.1.0</span></h2></div><div class="sidebar-elems"><div id="rustdoc-modnav"><h2><a href="index.html">In flux_<wbr>middle::<wbr>rty::<wbr>pretty</a></h2></div></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><span class="rustdoc-breadcrumbs"><a href="../../index.html">flux_middle</a>::<wbr><a href="../index.html">rty</a>::<wbr><a href="index.html">pretty</a></span><h1>Function <span class="fn">nested_with_bound_vars</span><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><rustdoc-toolbar></rustdoc-toolbar><span class="sub-heading"><a class="src" href="../../../src/flux_middle/rty/pretty.rs.html#685-696">Source</a> </span></div><pre class="rust item-decl"><code>pub fn nested_with_bound_vars(
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="API documentation for the Rust `nested_with_bound_vars` fn in crate `flux_middle`."><title>nested_with_bound_vars in flux_middle::rty::pretty - Rust</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-6b053e98.ttf.woff2,FiraSans-Regular-0fe48ade.woff2,FiraSans-Medium-e1aa3f0a.woff2,SourceCodePro-Regular-8badfe75.ttf.woff2,SourceCodePro-Semibold-aa29a496.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../../../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../../../static.files/normalize-9960930a.css"><link rel="stylesheet" href="../../../static.files/rustdoc-590a400c.css"><meta name="rustdoc-vars" data-root-path="../../../" data-static-root-path="../../../static.files/" data-current-crate="flux_middle" data-themes="" data-resource-suffix="" data-rustdoc-version="1.84.0-nightly (b3f75cc87 2024-11-02)" data-channel="nightly" data-search-js="search-c5a66128.js" data-settings-js="settings-0f613d39.js" ><script src="../../../static.files/storage-59e33391.js"></script><script defer src="sidebar-items.js"></script><script defer src="../../../static.files/main-5f194d8c.js"></script><noscript><link rel="stylesheet" href="../../../static.files/noscript-893ab5e7.css"></noscript><link rel="alternate icon" type="image/png" href="../../../static.files/favicon-32x32-6580c154.png"><link rel="icon" type="image/svg+xml" href="../../../static.files/favicon-044be391.svg"></head><body class="rustdoc fn"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../../flux_middle/index.html">flux_<wbr>middle</a><span class="version">0.1.0</span></h2></div><div class="sidebar-elems"><div id="rustdoc-modnav"><h2><a href="index.html">In flux_<wbr>middle::<wbr>rty::<wbr>pretty</a></h2></div></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><span class="rustdoc-breadcrumbs"><a href="../../index.html">flux_middle</a>::<wbr><a href="../index.html">rty</a>::<wbr><a href="index.html">pretty</a></span><h1>Function <span class="fn">nested_with_bound_vars</span><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><rustdoc-toolbar></rustdoc-toolbar><span class="sub-heading"><a class="src" href="../../../src/flux_middle/rty/pretty.rs.html#685-698">Source</a> </span></div><pre class="rust item-decl"><code>pub fn nested_with_bound_vars(
cx: &amp;<a class="struct" href="../../pretty/struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_, '_&gt;,
left: &amp;<a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.str.html">str</a>,
vars: &amp;[<a class="enum" href="../binder/enum.BoundVariableKind.html" title="enum flux_middle::rty::binder::BoundVariableKind">BoundVariableKind</a>],
Expand Down
Loading

0 comments on commit b03cc7d

Please sign in to comment.