pub trait Dictionary: Send + Sync {
// Required methods
fn correct_ident<'s>(&'s self, ident: Identifier<'_>) -> Option<Status<'s>>;
fn correct_word<'s>(&'s self, word: Word<'_>) -> Option<Status<'s>>;
}Expand description
Look up the validity of a term.
Required Methods§
Sourcefn correct_ident<'s>(&'s self, ident: Identifier<'_>) -> Option<Status<'s>>
fn correct_ident<'s>(&'s self, ident: Identifier<'_>) -> Option<Status<'s>>
Look up the validity of an Identifier.
None if the status is unknown.
Sourcefn correct_word<'s>(&'s self, word: Word<'_>) -> Option<Status<'s>>
fn correct_word<'s>(&'s self, word: Word<'_>) -> Option<Status<'s>>
Look up the validity of a Word.
None if the status is unknown.