From 957aa8c6cb17b6212a22c332ca9f9a6889e7fa0e Mon Sep 17 00:00:00 2001
From: nilehmann driver. We hook into the compiler by implementing the
Callbacks
trait. The implementation is located is in the flux-driver
crate, and it is the main entry point to Flux.
crates/flux-bin
: Contains the cargo-flux
and rustc-flux
binaries used to launch the flux-driver
.crates/flux-bin
: Contains the cargo-flux
and flux
binaries used to launch the flux-driver
.crates/flux-common
: Common utility definitions used across all crates.crates/flux-config
: Crate containing logic associated with global configuration flags that change the behavior of Flux, e.g, to enable or disable overflow checking.crates/flux-desugar
: Implementation of name resolution and desugaring from Flux surface syntax into Flux high-level intermediate representation (fhir
). This includes name resolution.To run Flux in a package outside the flux repo you need to install the binaries globally. You can
-do that using cargo xtask install
. If you are continuously testing new changes it could be annoying
-to do it each time. To deal with this, you can set the FLUX_SYSROOT
environment variable to change the
-location where cargo-flux
and rustc-flux
load the flux-driver
. You can set it globally to point
-to the target/debug
directory inside your local copy of the repo. This way you won't have to run
-cargo xtask install
after every change, and you can be sure you'll be using the latest local debug
-build. Just be aware that the rustc-flux
and cargo-flux
binaries are built for a specific toolchain,
-and you will get a dynamic linking error if the flux-driver
was compiled with a different one. This
-is to say, you should at least run cargo xtask install
every time after the toolchain is updated.
Set FLUX_DUMP_TIMINGS=true
to have flux write timing diagnostics to ./log/timings
.
Right now this is extremely simple, it just provides some details for the spans under flux_typeck
and flux_driver
.
pub(crate) fn main()
pub enum BaseSort {
- BitVec(BitVecSort),
- App(Ident, SortArguments),
-}
Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub enum FuncSortInput {
- Parenthesized {
- paren_token: Paren,
- inputs: Punctuated<BaseSort, Comma>,
- },
- Single(BaseSort),
-}
Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub enum GenericArgument {
- Type(Type),
-}
pub enum ImplItem {
- Fn(ImplItemFn),
- Type(ImplItemType),
- Reft(ImplItemReft),
-}
Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub enum Item {
- Const(ItemConst),
- Struct(ItemStruct),
- Enum(ItemEnum),
- Use(ItemUse),
- Type(ItemType),
- Fn(ItemFn),
- Impl(ItemImpl),
- Mod(ItemMod),
- Trait(ItemTrait),
-}
Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub enum Pat {
- Ident(PatIdent),
- Wild(Underscore),
-}
pub enum Type {
- Base(BaseType),
- Indexed(TypeIndexed),
- Exists(TypeExists),
- GeneralExists(TypeGeneralExists),
- Reference(TypeReference),
- Constraint(TypeConstraint),
- Array(TypeArray),
- Tuple(TypeTuple),
- Ptr(TypePtr),
-}
fn data_enum(
- input: ParseStream<'_>,
-) -> Result<(Option<WhereClause>, Brace, Punctuated<Variant, Comma>)>
fn data_struct(
- input: ParseStream<'_>,
-) -> Result<(Option<WhereClause>, Fields, Option<Semi>)>
fn opt_parse_where_clause_in_signature(
- input: ParseStream<'_>,
-) -> Result<Option<WhereClause>>
fn parse_ensures(input: ParseStream<'_>) -> Result<Option<Ensures>>
fn parse_ident_or_self(input: ParseStream<'_>) -> Result<Ident>
fn parse_index_params(input: ParseStream<'_>) -> Result<Option<IndexParams>>
fn parse_opt_refined_by(input: ParseStream<'_>) -> Result<Option<RefinedBy>>
fn parse_opt_variant_ret(input: ParseStream<'_>) -> Result<Option<VariantRet>>
fn parse_requires(input: ParseStream<'_>) -> Result<Option<Requires>>
fn parse_rty(input: ParseStream<'_>, bty: BaseType) -> Result<Type>
fn parse_trait_item_type(input: ParseStream<'_>) -> Result<TraitItem>
fn parse_until<T: Parse, P1: Peek, P2: Peek>(
- input: ParseStream<'_>,
- parser: fn(_: ParseStream<'_>) -> Result<T>,
- sep: P1,
- end: P2,
-) -> Result<Punctuated<T, P1::Token>>
fn parse_where_clause_in_signature(
- input: ParseStream<'_>,
-) -> Result<WhereClause>
fn peek_signature(input: ParseStream<'_>) -> bool
fn single_parse_inner(input: ParseStream<'_>) -> Result<Attribute>
pub struct base {
- pub span: Span,
-}
span: Span
clone_to_uninit
)Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct bitvec {
- pub span: Span,
-}
span: Span
clone_to_uninit
)Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct by {
- pub span: Span,
-}
span: Span
clone_to_uninit
)Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct reft {
- pub span: Span,
-}
span: Span
clone_to_uninit
)Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct requires {
- pub span: Span,
-}
span: Span
clone_to_uninit
)Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct strg {
- pub span: Span,
-}
span: Span
clone_to_uninit
)Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct AngleBracketedGenericArguments {
- pub lt_token: Lt,
- pub args: Punctuated<GenericArgument, Comma>,
- pub gt_token: Gt,
-}
lt_token: Lt
ยงargs: Punctuated<GenericArgument, Comma>
ยงgt_token: Gt
pub struct AngleBracketedSortArgs {
- pub lt_token: Lt,
- pub args: Punctuated<BaseSort, Comma>,
- pub gt_token: Gt,
-}
lt_token: Lt
ยงargs: Punctuated<BaseSort, Comma>
ยงgt_token: Gt
Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct Ensures {
- pub ensures_token: ensures,
- pub constraints: Punctuated<Constraint, Comma>,
-}
ensures_token: ensures
ยงconstraints: Punctuated<Constraint, Comma>
pub struct Generics {
- pub lt_token: Option<Lt>,
- pub params: Punctuated<GenericParam, Comma>,
- pub gt_token: Option<Gt>,
- pub where_clause: Option<WhereClause>,
-}
lt_token: Option<Lt>
ยงparams: Punctuated<GenericParam, Comma>
ยงgt_token: Option<Gt>
ยงwhere_clause: Option<WhereClause>
pub struct ItemType {
- pub attrs: Vec<Attribute>,
- pub vis: Visibility,
- pub type_token: Type,
- pub ident: Ident,
- pub generics: Generics,
- pub index_params: Option<IndexParams>,
- pub eq_token: Eq,
- pub ty: Box<Type>,
- pub semi_token: Semi,
-}
attrs: Vec<Attribute>
ยงvis: Visibility
ยงtype_token: Type
ยงident: Ident
ยงgenerics: Generics
ยงindex_params: Option<IndexParams>
ยงeq_token: Eq
ยงty: Box<Type>
ยงsemi_token: Semi
Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct PathSegment {
- pub ident: Ident,
- pub arguments: PathArguments,
-}
ident: Ident
ยงarguments: PathArguments
pub struct RefinedBy {
- pub _refined_by: Option<(refined, by)>,
- pub _bracket_token: Bracket,
- pub params: Punctuated<RefinedByParam, Comma>,
-}
_refined_by: Option<(refined, by)>
ยง_bracket_token: Bracket
ยงparams: Punctuated<RefinedByParam, Comma>
Span
covering the complete contents of this syntax tree
-node, or Span::call_site()
if this node is empty.pub struct Signature {
- pub fn_token: Fn,
- pub ident: Ident,
- pub generics: Generics,
- pub paren_token: Paren,
- pub inputs: Punctuated<FnArg, Comma>,
- pub output: ReturnType,
- pub requires: Option<Requires>,
- pub ensures: Option<Ensures>,
-}
fn_token: Fn
ยงident: Ident
ยงgenerics: Generics
ยงparen_token: Paren
ยงinputs: Punctuated<FnArg, Comma>
ยงoutput: ReturnType
ยงrequires: Option<Requires>
ยงensures: Option<Ensures>
pub struct TraitItemReft {
- pub attrs: Vec<Attribute>,
- pub reft_token: reft,
- pub name: Ident,
- pub paren_token: Paren,
- pub params: TokenStream,
- pub returns: TokenStream,
- pub semi_token: Semi,
-}
attrs: Vec<Attribute>
This is not actually used
-reft_token: reft
ยงname: Ident
ยงparen_token: Paren
ยงparams: TokenStream
ยงreturns: TokenStream
ยงsemi_token: Semi
pub struct TypeGeneralExists {
- pub brace_token: Brace,
- pub params: Punctuated<ExistsParam, Comma>,
- pub dot_token: Dot,
- pub ty: Box<Type>,
- pub or_token: Option<Or>,
- pub pred: Option<TokenStream>,
-}
brace_token: Brace
ยงparams: Punctuated<ExistsParam, Comma>
ยงdot_token: Dot
ยงty: Box<Type>
ยงor_token: Option<Or>
ยงpred: Option<TokenStream>
pub struct TypeTuple {
- pub paren_token: Paren,
- pub elems: Punctuated<Type, Comma>,
-}
paren_token: Paren
ยงelems: Punctuated<Type, Comma>
pub type Expr = TokenStream;
struct Expr { /* private fields */ }
#[alias]
#[assoc]
#[constant]
#[extern_spec]
#[generics]
#[ignore]
#[invariant]
#[opaque]
#[opts]
#[qualifiers]
#[refined_by]
#[should_fail]
pub(crate) fn main()
#[sig]
#[spec]
#[trusted]
#[trusted_impl]
pub fn alias(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn assoc(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn constant(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn defs(_tokens: TokenStream) -> TokenStream
pub fn extern_spec(_attrs: TokenStream, _tokens: TokenStream) -> TokenStream
pub fn generics(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn ignore(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn invariant(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn opaque(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn opts(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn qualifiers(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn refined_by(attr: TokenStream, item: TokenStream) -> TokenStream
pub fn should_fail(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn sig(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn spec(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn trusted(_attr: TokenStream, item: TokenStream) -> TokenStream
pub fn trusted_impl(_attr: TokenStream, item: TokenStream) -> TokenStream
macro_rules! no_op { + ($($name:ident),+ $(,)?) => { ... }; +}
fn extern_enum_to_tokens(
- mod_use: Option<UseWildcard>,
- item_enum: ItemEnum,
-) -> Result<TokenStream>
fn extern_fn_to_tokens(
- span: Span,
- mod_use: Option<UseWildcard>,
- extern_fn: ExternFn,
-) -> Result<TokenStream>
fn extern_impl_to_tokens(
- span: Span,
- mod_use: Option<UseWildcard>,
- extern_item_impl: ExternItemImpl,
-) -> Result<TokenStream>
fn extern_struct_to_tokens(
- mod_use: Option<UseWildcard>,
- item_struct: ItemStruct,
-) -> Result<TokenStream>
fn extern_trait_to_tokens(
- span: Span,
- mod_use: Option<UseWildcard>,
- item_trait: ExternItemTrait,
-) -> Result<TokenStream>
fn fn_params_to_args(
- params: &Punctuated<FnArg, Comma>,
-) -> Punctuated<Expr, Comma>
fn generic_params_to_args(
- generic_params: &Punctuated<GenericParam, Comma>,
-) -> Punctuated<GenericArgument, Comma>
fn generic_params_to_fields(
- params: &Punctuated<GenericParam, Comma>,
-) -> Punctuated<Field, Comma>
Given a list of generic parameters creates a list of fields that use all non-const parameters
-pub(crate) fn transform_extern_spec(
- attr: TokenStream,
- tokens: TokenStream,
-) -> Result<TokenStream>
pub fn defs(tokens: TokenStream) -> TokenStream
pub fn extern_spec(attr: TokenStream, tokens: TokenStream) -> TokenStream
pub fn flux(tokens: TokenStream) -> TokenStream
pub fn flux_tool_item_attr(
- name: &str,
- attr: TokenStream,
- item: TokenStream,
-) -> TokenStream
pub fn refined_by(attr: TokenStream, item: TokenStream) -> TokenStream
pub(crate) fn refined_by_struct(item_struct: &mut ItemStruct)
Redirecting to macro.defs.html...
+ + + \ No newline at end of file diff --git a/doc/flux_attrs/macro.defs.html b/doc/flux_attrs/macro.defs.html new file mode 100644 index 0000000000..81d2d1f428 --- /dev/null +++ b/doc/flux_attrs/macro.defs.html @@ -0,0 +1 @@ +defs!() { /* proc-macro */ }
Redirecting to macro.flux.html...
+ + + \ No newline at end of file diff --git a/doc/flux_attrs/macro.flux.html b/doc/flux_attrs/macro.flux.html new file mode 100644 index 0000000000..84bd6b21eb --- /dev/null +++ b/doc/flux_attrs/macro.flux.html @@ -0,0 +1 @@ +flux!() { /* proc-macro */ }
pub struct RefinedByParam {
- pub ident: Ident,
- pub colon_token: Colon,
- pub sort: Sort,
-}
ident: Ident
ยงcolon_token: Colon
ยงsort: Sort
pub enum BaseSort {
+ BitVec(BitVecSort),
+ App(Ident, SortArguments),
+}
Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.pub enum BaseType {
+ Path(Path),
+ Slice(TypeSlice),
+}
pub enum Constraint {
+Constraint in flux_attrs_impl::ast - Rust pub enum Constraint {
Type {
- ident: Ident,
- colon_token: Colon,
- ty: Box<Type>,
+ ident: Ident,
+ colon_token: Colon,
+ ty: Box<Type>,
},
- Expr(TokenStream),
-}
Variantsยง
Implementationsยง
Sourceยงimpl Constraint
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream)
Trait Implementationsยง
Sourceยงimpl Debug for Constraint
Sourceยงimpl Parse for Constraint
Sourceยงfn parse(input: ParseStream<'_>) -> Result<Self>
Auto Trait Implementationsยง
ยงimpl Freeze for Constraint
ยงimpl RefUnwindSafe for Constraint
ยงimpl !Send for Constraint
ยงimpl !Sync for Constraint
ยงimpl Unpin for Constraint
ยงimpl UnwindSafe for Constraint
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+ Expr(TokenStream),
+}Variantsยง
Implementationsยง
Sourceยงimpl Constraint
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream)
Trait Implementationsยง
Sourceยงimpl Debug for Constraint
Sourceยงimpl Parse for Constraint
Sourceยงfn parse(input: ParseStream<'_>) -> Result<Self>
Auto Trait Implementationsยง
ยงimpl Freeze for Constraint
ยงimpl RefUnwindSafe for Constraint
ยงimpl !Send for Constraint
ยงimpl !Sync for Constraint
ยงimpl Unpin for Constraint
ยงimpl UnwindSafe for Constraint
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs/ast/enum.Fields.html b/doc/flux_attrs_impl/ast/enum.Fields.html
similarity index 56%
rename from doc/flux_attrs/ast/enum.Fields.html
rename to doc/flux_attrs_impl/ast/enum.Fields.html
index 0cf4e24890..3f2c599801 100644
--- a/doc/flux_attrs/ast/enum.Fields.html
+++ b/doc/flux_attrs_impl/ast/enum.Fields.html
@@ -1,15 +1,15 @@
-Fields in flux_attrs::ast - Rust pub enum Fields {
- Named(FieldsNamed),
- Unnamed(FieldsUnnamed),
+Fields in flux_attrs_impl::ast - Rust pub enum Fields {
+ Named(FieldsNamed),
+ Unnamed(FieldsUnnamed),
Unit,
-}
Variantsยง
ยงNamed(FieldsNamed)
Named fields of a struct or struct variant such as Point { x: f64, y: f64 }
.
-ยงUnnamed(FieldsUnnamed)
Unnamed fields of a tuple struct or tuple variant such as Some(T)
.
+}Variantsยง
ยงNamed(FieldsNamed)
Named fields of a struct or struct variant such as Point { x: f64, y: f64 }
.
+ยงUnnamed(FieldsUnnamed)
Unnamed fields of a tuple struct or tuple variant such as Some(T)
.
ยงUnit
Unit struct or unit variant such as None
.
-Implementationsยง
Implementationsยง
Sourceยงimpl Fields
Sourcefn to_tokens(
&self,
- tokens: &mut TokenStream,
- f: impl FnMut(&Field, &mut TokenStream),
-)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for Fields
ยงimpl RefUnwindSafe for Fields
ยงimpl !Send for Fields
ยงimpl !Sync for Fields
ยงimpl Unpin for Fields
ยงimpl UnwindSafe for Fields
Blanket Implementationsยง
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for Fields
ยงimpl RefUnwindSafe for Fields
ยงimpl !Send for Fields
ยงimpl !Sync for Fields
ยงimpl Unpin for Fields
ยงimpl UnwindSafe for Fields
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs/ast/struct.Path.html b/doc/flux_attrs_impl/ast/enum.FnArg.html
similarity index 51%
rename from doc/flux_attrs/ast/struct.Path.html
rename to doc/flux_attrs_impl/ast/enum.FnArg.html
index a9ca0fe772..c66744aae9 100644
--- a/doc/flux_attrs/ast/struct.Path.html
+++ b/doc/flux_attrs_impl/ast/enum.FnArg.html
@@ -1,6 +1,7 @@
-Path in flux_attrs::ast - Rust pub struct Path {
- pub segments: Punctuated<PathSegment, PathSep>,
-}
Fieldsยง
ยงsegments: Punctuated<PathSegment, PathSep>
Implementationsยง
Sourceยงimpl Path
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for Path
ยงimpl RefUnwindSafe for Path
ยงimpl !Send for Path
ยงimpl !Sync for Path
ยงimpl Unpin for Path
ยงimpl UnwindSafe for Path
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+FnArg in flux_attrs_impl::ast - Rust pub enum FnArg {
+ StrgRef(StrgRef),
+ Typed(PatType),
+}
Variantsยง
Implementationsยง
Sourceยงimpl FnArg
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for FnArg
ยงimpl RefUnwindSafe for FnArg
ยงimpl !Send for FnArg
ยงimpl !Sync for FnArg
ยงimpl Unpin for FnArg
ยงimpl UnwindSafe for FnArg
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs/ast/enum.Sort.html b/doc/flux_attrs_impl/ast/enum.FuncSortInput.html
similarity index 53%
rename from doc/flux_attrs/ast/enum.Sort.html
rename to doc/flux_attrs_impl/ast/enum.FuncSortInput.html
index 4f51dac990..bc9b5fa9e6 100644
--- a/doc/flux_attrs/ast/enum.Sort.html
+++ b/doc/flux_attrs_impl/ast/enum.FuncSortInput.html
@@ -1,12 +1,11 @@
-Sort in flux_attrs::ast - Rust pub enum Sort {
- BaseSort(BaseSort),
- Func {
- input: FuncSortInput,
- arrow: RArrow,
- output: BaseSort,
+FuncSortInput in flux_attrs_impl::ast - Rust pub enum FuncSortInput {
+ Parenthesized {
+ paren_token: Paren,
+ inputs: Punctuated<BaseSort, Comma>,
},
-}
Variantsยง
Trait Implementationsยง
Sourceยงimpl ToTokens for Sort
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
- Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for Sort
ยงimpl RefUnwindSafe for Sort
ยงimpl !Send for Sort
ยงimpl !Sync for Sort
ยงimpl Unpin for Sort
ยงimpl UnwindSafe for Sort
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+ Single(BaseSort),
+}Variantsยง
Trait Implementationsยง
Sourceยงimpl Debug for FuncSortInput
Sourceยงimpl ToTokens for FuncSortInput
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
+ Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for FuncSortInput
ยงimpl RefUnwindSafe for FuncSortInput
ยงimpl !Send for FuncSortInput
ยงimpl !Sync for FuncSortInput
ยงimpl Unpin for FuncSortInput
ยงimpl UnwindSafe for FuncSortInput
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงimpl<T> Spanned for T
Sourceยงfn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.
\ No newline at end of file
diff --git a/doc/flux_attrs/ast/struct.TypeExists.html b/doc/flux_attrs_impl/ast/enum.GenericArgument.html
similarity index 50%
rename from doc/flux_attrs/ast/struct.TypeExists.html
rename to doc/flux_attrs_impl/ast/enum.GenericArgument.html
index 2ff7509cd4..7dc5860c53 100644
--- a/doc/flux_attrs/ast/struct.TypeExists.html
+++ b/doc/flux_attrs_impl/ast/enum.GenericArgument.html
@@ -1,10 +1,6 @@
-TypeExists in flux_attrs::ast - Rust pub struct TypeExists {
- pub bty: BaseType,
- pub brace_token: Brace,
- pub ident: Ident,
- pub colon_token: Colon,
- pub expr: TokenStream,
-}
Fieldsยง
ยงbty: BaseType
ยงbrace_token: Brace
ยงident: Ident
ยงcolon_token: Colon
ยงexpr: TokenStream
Implementationsยง
Sourceยงimpl TypeExists
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for TypeExists
ยงimpl RefUnwindSafe for TypeExists
ยงimpl !Send for TypeExists
ยงimpl !Sync for TypeExists
ยงimpl Unpin for TypeExists
ยงimpl UnwindSafe for TypeExists
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+GenericArgument in flux_attrs_impl::ast - Rust pub enum GenericArgument {
+ Type(Type),
+}
Variantsยง
Implementationsยง
Sourceยงimpl GenericArgument
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Sourceยงimpl Debug for GenericArgument
Sourceยงimpl Parse for GenericArgument
Sourceยงfn parse(input: ParseStream<'_>) -> Result<Self>
Auto Trait Implementationsยง
ยงimpl Freeze for GenericArgument
ยงimpl RefUnwindSafe for GenericArgument
ยงimpl !Send for GenericArgument
ยงimpl !Sync for GenericArgument
ยงimpl Unpin for GenericArgument
ยงimpl UnwindSafe for GenericArgument
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs/ast/enum.GenericParam.html b/doc/flux_attrs_impl/ast/enum.GenericParam.html
similarity index 53%
rename from doc/flux_attrs/ast/enum.GenericParam.html
rename to doc/flux_attrs_impl/ast/enum.GenericParam.html
index bf884fab23..96703e84e8 100644
--- a/doc/flux_attrs/ast/enum.GenericParam.html
+++ b/doc/flux_attrs_impl/ast/enum.GenericParam.html
@@ -1,12 +1,12 @@
-GenericParam in flux_attrs::ast - Rust pub enum GenericParam {
- Lifetime(LifetimeParam),
- Type(TypeParam),
- Const(ConstParam),
-}
Variantsยง
ยงLifetime(LifetimeParam)
A lifetime parameter: 'a: 'b + 'c + 'd
.
-ยงType(TypeParam)
A generic type parameter: T: Into<String>
.
-ยงConst(ConstParam)
A const generic parameter: const LENGTH: usize
.
-Trait Implementationsยง
Sourceยงimpl Debug for GenericParam
Sourceยงimpl Parse for GenericParam
Sourceยงfn parse(input: ParseStream<'_>) -> Result<Self>
Sourceยงimpl ToTokens for GenericParam
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
- Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for GenericParam
ยงimpl RefUnwindSafe for GenericParam
ยงimpl !Send for GenericParam
ยงimpl !Sync for GenericParam
ยงimpl Unpin for GenericParam
ยงimpl UnwindSafe for GenericParam
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+GenericParam in flux_attrs_impl::ast - Rust pub enum GenericParam {
+ Lifetime(LifetimeParam),
+ Type(TypeParam),
+ Const(ConstParam),
+}
Variantsยง
ยงLifetime(LifetimeParam)
A lifetime parameter: 'a: 'b + 'c + 'd
.
+ยงType(TypeParam)
A generic type parameter: T: Into<String>
.
+ยงConst(ConstParam)
A const generic parameter: const LENGTH: usize
.
+Trait Implementationsยง
Sourceยงimpl Debug for GenericParam
Sourceยงimpl Parse for GenericParam
Sourceยงfn parse(input: ParseStream<'_>) -> Result<Self>
Sourceยงimpl ToTokens for GenericParam
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
+ Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for GenericParam
ยงimpl RefUnwindSafe for GenericParam
ยงimpl !Send for GenericParam
ยงimpl !Sync for GenericParam
ยงimpl Unpin for GenericParam
ยงimpl UnwindSafe for GenericParam
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงimpl<T> Spanned for T
Sourceยงfn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.
\ No newline at end of file
diff --git a/doc/flux_attrs_impl/ast/enum.ImplItem.html b/doc/flux_attrs_impl/ast/enum.ImplItem.html
new file mode 100644
index 0000000000..69ddf2e181
--- /dev/null
+++ b/doc/flux_attrs_impl/ast/enum.ImplItem.html
@@ -0,0 +1,18 @@
+ImplItem in flux_attrs_impl::ast - Rust pub enum ImplItem {
+ Fn(ImplItemFn),
+ Type(ImplItemType),
+ Reft(ImplItemReft),
+}
Variantsยง
Implementationsยง
Trait Implementationsยง
Sourceยงimpl ToTokens for ImplItem
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
+ Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for ImplItem
ยงimpl RefUnwindSafe for ImplItem
ยงimpl !Send for ImplItem
ยงimpl !Sync for ImplItem
ยงimpl Unpin for ImplItem
ยงimpl UnwindSafe for ImplItem
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> Spanned for T
Sourceยงfn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.
\ No newline at end of file
diff --git a/doc/flux_attrs_impl/ast/enum.Item.html b/doc/flux_attrs_impl/ast/enum.Item.html
new file mode 100644
index 0000000000..349c5e012c
--- /dev/null
+++ b/doc/flux_attrs_impl/ast/enum.Item.html
@@ -0,0 +1,24 @@
+Item in flux_attrs_impl::ast - Rust pub enum Item {
+ Const(ItemConst),
+ Struct(ItemStruct),
+ Enum(ItemEnum),
+ Use(ItemUse),
+ Type(ItemType),
+ Fn(ItemFn),
+ Impl(ItemImpl),
+ Mod(ItemMod),
+ Trait(ItemTrait),
+}
Variantsยง
ยงConst(ItemConst)
ยงStruct(ItemStruct)
ยงEnum(ItemEnum)
ยงUse(ItemUse)
ยงType(ItemType)
ยงFn(ItemFn)
ยงImpl(ItemImpl)
ยงMod(ItemMod)
ยงTrait(ItemTrait)
Implementationsยง
Trait Implementationsยง
Sourceยงimpl ToTokens for Item
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
+ Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for Item
ยงimpl RefUnwindSafe for Item
ยงimpl !Send for Item
ยงimpl !Sync for Item
ยงimpl Unpin for Item
ยงimpl UnwindSafe for Item
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> Spanned for T
Sourceยงfn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.
\ No newline at end of file
diff --git a/doc/flux_attrs/ast/enum.Mode.html b/doc/flux_attrs_impl/ast/enum.Mode.html
similarity index 56%
rename from doc/flux_attrs/ast/enum.Mode.html
rename to doc/flux_attrs_impl/ast/enum.Mode.html
index dccf54851e..6c5c0d6a4e 100644
--- a/doc/flux_attrs/ast/enum.Mode.html
+++ b/doc/flux_attrs_impl/ast/enum.Mode.html
@@ -1,8 +1,8 @@
-Mode in flux_attrs::ast - Rust enum Mode {
+Mode in flux_attrs_impl::ast - Rust enum Mode {
Flux,
Rust,
-}
Variantsยง
Trait Implementationsยง
Sourceยงimpl Copy for Mode
Sourceยงimpl Eq for Mode
Sourceยงimpl StructuralPartialEq for Mode
Auto Trait Implementationsยง
ยงimpl Freeze for Mode
ยงimpl RefUnwindSafe for Mode
ยงimpl Send for Mode
ยงimpl Sync for Mode
ยงimpl Unpin for Mode
ยงimpl UnwindSafe for Mode
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+}Variantsยง
Trait Implementationsยง
Sourceยงimpl Copy for Mode
Sourceยงimpl Eq for Mode
Sourceยงimpl StructuralPartialEq for Mode
Auto Trait Implementationsยง
ยงimpl Freeze for Mode
ยงimpl RefUnwindSafe for Mode
ยงimpl Send for Mode
ยงimpl Sync for Mode
ยงimpl Unpin for Mode
ยงimpl UnwindSafe for Mode
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> CloneToUninit for Twhere
diff --git a/doc/flux_attrs/ast/enum.ParamKind.html b/doc/flux_attrs_impl/ast/enum.ParamKind.html
similarity index 51%
rename from doc/flux_attrs/ast/enum.ParamKind.html
rename to doc/flux_attrs_impl/ast/enum.ParamKind.html
index 56ff94071f..4c7c912545 100644
--- a/doc/flux_attrs/ast/enum.ParamKind.html
+++ b/doc/flux_attrs_impl/ast/enum.ParamKind.html
@@ -1,9 +1,9 @@
-ParamKind in flux_attrs::ast - Rust pub enum ParamKind {
- Type(Type),
- Base(base),
+ParamKind in flux_attrs_impl::ast - Rust pub enum ParamKind {
+ Type(Type),
+ Base(base),
Default,
-}
Variantsยง
Trait Implementationsยง
Sourceยงimpl ToTokens for ParamKind
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
- Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for ParamKind
ยงimpl RefUnwindSafe for ParamKind
ยงimpl !Send for ParamKind
ยงimpl !Sync for ParamKind
ยงimpl Unpin for ParamKind
ยงimpl UnwindSafe for ParamKind
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+}Variantsยง
Trait Implementationsยง
Sourceยงimpl ToTokens for ParamKind
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
+ Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for ParamKind
ยงimpl RefUnwindSafe for ParamKind
ยงimpl !Send for ParamKind
ยงimpl !Sync for ParamKind
ยงimpl Unpin for ParamKind
ยงimpl UnwindSafe for ParamKind
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงimpl<T> Spanned for T
Sourceยงfn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.
\ No newline at end of file
diff --git a/doc/flux_attrs/ast/enum.BaseType.html b/doc/flux_attrs_impl/ast/enum.Pat.html
similarity index 51%
rename from doc/flux_attrs/ast/enum.BaseType.html
rename to doc/flux_attrs_impl/ast/enum.Pat.html
index b9f07af466..b30765a6c3 100644
--- a/doc/flux_attrs/ast/enum.BaseType.html
+++ b/doc/flux_attrs_impl/ast/enum.Pat.html
@@ -1,7 +1,7 @@
-BaseType in flux_attrs::ast - Rust pub enum BaseType {
- Path(Path),
- Slice(TypeSlice),
-}
Variantsยง
Implementationsยง
Sourceยงimpl BaseType
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for BaseType
ยงimpl RefUnwindSafe for BaseType
ยงimpl !Send for BaseType
ยงimpl !Sync for BaseType
ยงimpl Unpin for BaseType
ยงimpl UnwindSafe for BaseType
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+Pat in flux_attrs_impl::ast - Rust pub enum Pat {
+ Ident(PatIdent),
+ Wild(Underscore),
+}
Variantsยง
ยงIdent(PatIdent)
ยงWild(Underscore)
Implementationsยง
Sourceยงimpl Pat
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for Pat
ยงimpl RefUnwindSafe for Pat
ยงimpl !Send for Pat
ยงimpl !Sync for Pat
ยงimpl Unpin for Pat
ยงimpl UnwindSafe for Pat
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs/ast/enum.PathArguments.html b/doc/flux_attrs_impl/ast/enum.PathArguments.html
similarity index 52%
rename from doc/flux_attrs/ast/enum.PathArguments.html
rename to doc/flux_attrs_impl/ast/enum.PathArguments.html
index 3d8b858e3a..05578e971a 100644
--- a/doc/flux_attrs/ast/enum.PathArguments.html
+++ b/doc/flux_attrs_impl/ast/enum.PathArguments.html
@@ -1,7 +1,7 @@
-PathArguments in flux_attrs::ast - Rust pub enum PathArguments {
+PathArguments in flux_attrs_impl::ast - Rust pub enum PathArguments {
None,
- AngleBracketed(AngleBracketedGenericArguments),
-}
Variantsยง
ยงNone
ยงAngleBracketed(AngleBracketedGenericArguments)
Implementationsยง
Sourceยงimpl PathArguments
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for PathArguments
ยงimpl RefUnwindSafe for PathArguments
ยงimpl !Send for PathArguments
ยงimpl !Sync for PathArguments
ยงimpl Unpin for PathArguments
ยงimpl UnwindSafe for PathArguments
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+ AngleBracketed(AngleBracketedGenericArguments),
+}Variantsยง
ยงNone
ยงAngleBracketed(AngleBracketedGenericArguments)
Implementationsยง
Sourceยงimpl PathArguments
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for PathArguments
ยงimpl RefUnwindSafe for PathArguments
ยงimpl !Send for PathArguments
ยงimpl !Sync for PathArguments
ยงimpl Unpin for PathArguments
ยงimpl UnwindSafe for PathArguments
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs/ast/enum.ReturnType.html b/doc/flux_attrs_impl/ast/enum.ReturnType.html
similarity index 52%
rename from doc/flux_attrs/ast/enum.ReturnType.html
rename to doc/flux_attrs_impl/ast/enum.ReturnType.html
index 9c09892d8d..660d33fa82 100644
--- a/doc/flux_attrs/ast/enum.ReturnType.html
+++ b/doc/flux_attrs_impl/ast/enum.ReturnType.html
@@ -1,7 +1,7 @@
-ReturnType in flux_attrs::ast - Rust pub enum ReturnType {
+ReturnType in flux_attrs_impl::ast - Rust pub enum ReturnType {
Default,
- Type(RArrow, Box<Type>),
-}
Variantsยง
Implementationsยง
Sourceยงimpl ReturnType
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Sourceยงimpl Debug for ReturnType
Sourceยงimpl Parse for ReturnType
Sourceยงfn parse(input: ParseStream<'_>) -> Result<Self>
Auto Trait Implementationsยง
ยงimpl Freeze for ReturnType
ยงimpl RefUnwindSafe for ReturnType
ยงimpl !Send for ReturnType
ยงimpl !Sync for ReturnType
ยงimpl Unpin for ReturnType
ยงimpl UnwindSafe for ReturnType
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+ Type(RArrow, Box<Type>),
+}Variantsยง
Implementationsยง
Sourceยงimpl ReturnType
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Sourceยงimpl Debug for ReturnType
Sourceยงimpl Parse for ReturnType
Sourceยงfn parse(input: ParseStream<'_>) -> Result<Self>
Auto Trait Implementationsยง
ยงimpl Freeze for ReturnType
ยงimpl RefUnwindSafe for ReturnType
ยงimpl !Send for ReturnType
ยงimpl !Sync for ReturnType
ยงimpl Unpin for ReturnType
ยงimpl UnwindSafe for ReturnType
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs_impl/ast/enum.Sort.html b/doc/flux_attrs_impl/ast/enum.Sort.html
new file mode 100644
index 0000000000..1f2f3a3ab7
--- /dev/null
+++ b/doc/flux_attrs_impl/ast/enum.Sort.html
@@ -0,0 +1,21 @@
+Sort in flux_attrs_impl::ast - Rust pub enum Sort {
+ BaseSort(BaseSort),
+ Func {
+ input: FuncSortInput,
+ arrow: RArrow,
+ output: BaseSort,
+ },
+}
Variantsยง
Trait Implementationsยง
Sourceยงimpl ToTokens for Sort
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
+ Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for Sort
ยงimpl RefUnwindSafe for Sort
ยงimpl !Send for Sort
ยงimpl !Sync for Sort
ยงimpl Unpin for Sort
ยงimpl UnwindSafe for Sort
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> Spanned for T
Sourceยงfn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.
\ No newline at end of file
diff --git a/doc/flux_attrs/ast/enum.SortArguments.html b/doc/flux_attrs_impl/ast/enum.SortArguments.html
similarity index 53%
rename from doc/flux_attrs/ast/enum.SortArguments.html
rename to doc/flux_attrs_impl/ast/enum.SortArguments.html
index 6aa1217a03..e0186c9463 100644
--- a/doc/flux_attrs/ast/enum.SortArguments.html
+++ b/doc/flux_attrs_impl/ast/enum.SortArguments.html
@@ -1,8 +1,8 @@
-SortArguments in flux_attrs::ast - Rust pub enum SortArguments {
+SortArguments in flux_attrs_impl::ast - Rust pub enum SortArguments {
None,
- AngleBracketed(AngleBracketedSortArgs),
-}
Variantsยง
ยงNone
ยงAngleBracketed(AngleBracketedSortArgs)
Trait Implementationsยง
Sourceยงimpl Debug for SortArguments
Sourceยงimpl ToTokens for SortArguments
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
- Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for SortArguments
ยงimpl RefUnwindSafe for SortArguments
ยงimpl !Send for SortArguments
ยงimpl !Sync for SortArguments
ยงimpl Unpin for SortArguments
ยงimpl UnwindSafe for SortArguments
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+ AngleBracketed(AngleBracketedSortArgs),
+}Variantsยง
ยงNone
ยงAngleBracketed(AngleBracketedSortArgs)
Trait Implementationsยง
Sourceยงimpl Debug for SortArguments
Sourceยงimpl ToTokens for SortArguments
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
+ Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for SortArguments
ยงimpl RefUnwindSafe for SortArguments
ยงimpl !Send for SortArguments
ยงimpl !Sync for SortArguments
ยงimpl Unpin for SortArguments
ยงimpl UnwindSafe for SortArguments
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงimpl<T> Spanned for T
Sourceยงfn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.
\ No newline at end of file
diff --git a/doc/flux_attrs/ast/enum.TraitItem.html b/doc/flux_attrs_impl/ast/enum.TraitItem.html
similarity index 53%
rename from doc/flux_attrs/ast/enum.TraitItem.html
rename to doc/flux_attrs_impl/ast/enum.TraitItem.html
index 5715eafb75..1c1de495ca 100644
--- a/doc/flux_attrs/ast/enum.TraitItem.html
+++ b/doc/flux_attrs_impl/ast/enum.TraitItem.html
@@ -1,14 +1,14 @@
-TraitItem in flux_attrs::ast - Rust pub enum TraitItem {
- Const(TraitItemConst),
- Fn(TraitItemFn),
- Type(TraitItemType),
- Reft(TraitItemReft),
-}
Variantsยง
ยงConst(TraitItemConst)
An associated constant within the definition of a trait.
-ยงFn(TraitItemFn)
An associated function within the definition of a trait.
-ยงType(TraitItemType)
An associated type within the definition of a trait.
-ยงReft(TraitItemReft)
An associated refinements within the definition of a trait.
-Trait Implementationsยง
Sourceยงimpl ToTokens for TraitItem
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
- Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for TraitItem
ยงimpl RefUnwindSafe for TraitItem
ยงimpl !Send for TraitItem
ยงimpl !Sync for TraitItem
ยงimpl Unpin for TraitItem
ยงimpl UnwindSafe for TraitItem
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+TraitItem in flux_attrs_impl::ast - Rust pub enum TraitItem {
+ Const(TraitItemConst),
+ Fn(TraitItemFn),
+ Type(TraitItemType),
+ Reft(TraitItemReft),
+}
Variantsยง
ยงConst(TraitItemConst)
An associated constant within the definition of a trait.
+ยงFn(TraitItemFn)
An associated function within the definition of a trait.
+ยงType(TraitItemType)
An associated type within the definition of a trait.
+ยงReft(TraitItemReft)
An associated refinements within the definition of a trait.
+Trait Implementationsยง
Sourceยงimpl ToTokens for TraitItem
Sourceยงfn to_tokens(&self, tokens: &mut TokenStream)
Sourceยงfn to_token_stream(&self) -> TokenStream
Sourceยงfn into_token_stream(self) -> TokenStreamwhere
+ Self: Sized,
Auto Trait Implementationsยง
ยงimpl Freeze for TraitItem
ยงimpl RefUnwindSafe for TraitItem
ยงimpl !Send for TraitItem
ยงimpl !Sync for TraitItem
ยงimpl Unpin for TraitItem
ยงimpl UnwindSafe for TraitItem
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงimpl<T> Spanned for T
Sourceยงfn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
+node, or Span::call_site()
if this node is empty.
\ No newline at end of file
diff --git a/doc/flux_attrs_impl/ast/enum.Type.html b/doc/flux_attrs_impl/ast/enum.Type.html
new file mode 100644
index 0000000000..6cc5a1f3b0
--- /dev/null
+++ b/doc/flux_attrs_impl/ast/enum.Type.html
@@ -0,0 +1,21 @@
+Type in flux_attrs_impl::ast - Rust pub enum Type {
+ Base(BaseType),
+ Indexed(TypeIndexed),
+ Exists(TypeExists),
+ GeneralExists(TypeGeneralExists),
+ Reference(TypeReference),
+ Constraint(TypeConstraint),
+ Array(TypeArray),
+ Tuple(TypeTuple),
+ Ptr(TypePtr),
+}
Variantsยง
ยงBase(BaseType)
ยงIndexed(TypeIndexed)
ยงExists(TypeExists)
ยงGeneralExists(TypeGeneralExists)
ยงReference(TypeReference)
ยงConstraint(TypeConstraint)
ยงArray(TypeArray)
ยงTuple(TypeTuple)
ยงPtr(TypePtr)
Implementationsยง
Sourceยงimpl Type
Sourcefn to_tokens_inner(&self, tokens: &mut TokenStream, mode: Mode)
Trait Implementationsยง
Auto Trait Implementationsยง
ยงimpl Freeze for Type
ยงimpl RefUnwindSafe for Type
ยงimpl !Send for Type
ยงimpl !Sync for Type
ยงimpl Unpin for Type
ยงimpl UnwindSafe for Type
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
diff --git a/doc/flux_attrs/ast/enum.TypeDefaultness.html b/doc/flux_attrs_impl/ast/enum.TypeDefaultness.html
similarity index 64%
rename from doc/flux_attrs/ast/enum.TypeDefaultness.html
rename to doc/flux_attrs_impl/ast/enum.TypeDefaultness.html
index 60c8f203c8..e8de4ab7c2 100644
--- a/doc/flux_attrs/ast/enum.TypeDefaultness.html
+++ b/doc/flux_attrs_impl/ast/enum.TypeDefaultness.html
@@ -1,7 +1,7 @@
-TypeDefaultness in flux_attrs::ast - Rust enum TypeDefaultness {
+TypeDefaultness in flux_attrs_impl::ast - Rust enum TypeDefaultness {
Optional,
Disallowed,
-}
Variantsยง
Auto Trait Implementationsยง
ยงimpl Freeze for TypeDefaultness
ยงimpl RefUnwindSafe for TypeDefaultness
ยงimpl Send for TypeDefaultness
ยงimpl Sync for TypeDefaultness
ยงimpl Unpin for TypeDefaultness
ยงimpl UnwindSafe for TypeDefaultness
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+}Variantsยง
Auto Trait Implementationsยง
ยงimpl Freeze for TypeDefaultness
ยงimpl RefUnwindSafe for TypeDefaultness
ยงimpl Send for TypeDefaultness
ยงimpl Sync for TypeDefaultness
ยงimpl Unpin for TypeDefaultness
ยงimpl UnwindSafe for TypeDefaultness
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs/ast/enum.WhereClauseLocation.html b/doc/flux_attrs_impl/ast/enum.WhereClauseLocation.html
similarity index 63%
rename from doc/flux_attrs/ast/enum.WhereClauseLocation.html
rename to doc/flux_attrs_impl/ast/enum.WhereClauseLocation.html
index 01988fad07..c5b559342b 100644
--- a/doc/flux_attrs/ast/enum.WhereClauseLocation.html
+++ b/doc/flux_attrs_impl/ast/enum.WhereClauseLocation.html
@@ -1,8 +1,8 @@
-WhereClauseLocation in flux_attrs::ast - Rust enum WhereClauseLocation {
+WhereClauseLocation in flux_attrs_impl::ast - Rust enum WhereClauseLocation {
BeforeEq,
AfterEq,
Both,
-}
Variantsยง
Auto Trait Implementationsยง
ยงimpl Freeze for WhereClauseLocation
ยงimpl RefUnwindSafe for WhereClauseLocation
ยงimpl Send for WhereClauseLocation
ยงimpl Sync for WhereClauseLocation
ยงimpl Unpin for WhereClauseLocation
ยงimpl UnwindSafe for WhereClauseLocation
Blanket Implementationsยง
Sourceยงimpl<T> Any for Twhere
+}Variantsยง
Auto Trait Implementationsยง
ยงimpl Freeze for WhereClauseLocation
ยงimpl RefUnwindSafe for WhereClauseLocation
ยงimpl Send for WhereClauseLocation
ยงimpl Sync for WhereClauseLocation
ยงimpl Unpin for WhereClauseLocation
ยงimpl UnwindSafe for WhereClauseLocation
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moreSourceยงimpl<T> From<T> for T
Sourceยงfn from(t: T) -> T
Returns the argument unchanged.
diff --git a/doc/flux_attrs_impl/ast/fn.data_enum.html b/doc/flux_attrs_impl/ast/fn.data_enum.html
new file mode 100644
index 0000000000..bda8599a45
--- /dev/null
+++ b/doc/flux_attrs_impl/ast/fn.data_enum.html
@@ -0,0 +1,3 @@
+data_enum in flux_attrs_impl::ast - Rust