diff --git a/scopegraphs-regular-expressions/src/compile.rs b/scopegraphs-regular-expressions/src/compile.rs index 070bd14..9038902 100644 --- a/scopegraphs-regular-expressions/src/compile.rs +++ b/scopegraphs-regular-expressions/src/compile.rs @@ -30,6 +30,7 @@ impl MatchState { /// This struct can either be turned into a /// * [`DynamicMatcher`](crate::dynamic::DynamicMatcher) to match on a regex that was compiled at runtime. /// * An implementation of [`RegexMatcher`](crate::RegexMatcher) generated using [emit](Automaton::emit). +/// /// This function can be called at compile time (through the `compile_regex!` macro) and it /// emits the Rust code that can match the regular expression. /// diff --git a/scopegraphs/src/completeness/mod.rs b/scopegraphs/src/completeness/mod.rs index bf7506f..8e43f75 100644 --- a/scopegraphs/src/completeness/mod.rs +++ b/scopegraphs/src/completeness/mod.rs @@ -14,7 +14,7 @@ //! queries. This is the most suitable choice for type checkers that need to do dynamic scheduling. //! Running queries can return an error, because scopes relevant to the query weren't closed yet. //! * [`FutureCompleteness`] is like [`ExplicitClose`], except queries can no longer error. Instead, -//! queries return a [`Future`](std::future::Future) that resolves when all scopes related to the query are closed. +//! queries return a [`Future`](std::future::Future) that resolves when all scopes related to the query are closed. mod future; pub use future::*; diff --git a/scopegraphs/src/resolve/mod.rs b/scopegraphs/src/resolve/mod.rs index a2d80b0..6d8f3d3 100644 --- a/scopegraphs/src/resolve/mod.rs +++ b/scopegraphs/src/resolve/mod.rs @@ -394,10 +394,13 @@ pub trait Resolve<'sg, 'rslv> { /// This depends on the [completeness strategy](crate::completeness::Completeness) used. /// /// * Using [`ImplicitClose`](crate::completeness::ImplicitClose) this is a simply a `Vec`. - /// Querying using this completeness strategy cannot fail. + /// Querying using this completeness strategy cannot fail. /// * Using [`ExplicitClose`](crate::completeness::ExplicitClose) this is a [`EdgesOrDelay`](crate::completeness::EdgesOrDelay). + /// /// Querying can fail, because a scope this query traverses wasn't closed yet. + /// /// Using [`FutureCompleteness`](crate::completeness::FutureCompleteness), this is a [`Future`](std::future::Future). + /// /// Querying can pend, because a scope this query traverses wasn't closed yet. type EnvContainer where