pub struct Verifier<'a> { /* private fields */ }Implementations§
Source§impl<'a> Verifier<'a>
impl<'a> Verifier<'a>
pub fn new(ctx: &'a Context) -> Self
pub fn verify_all(&mut self) -> Result<(), Vec<VerifyError>>
Sourcepub fn verify_all_with_dialects(
&mut self,
registry: &DialectRegistry,
) -> Result<(), Vec<VerifyError>>
pub fn verify_all_with_dialects( &mut self, registry: &DialectRegistry, ) -> Result<(), Vec<VerifyError>>
Runs SSA, well-formedness, linearity, and semantic (dialect) checks.
pub fn errors(&self) -> &[VerifyError]
Auto Trait Implementations§
impl<'a> !RefUnwindSafe for Verifier<'a>
impl<'a> !Send for Verifier<'a>
impl<'a> !Sync for Verifier<'a>
impl<'a> !UnwindSafe for Verifier<'a>
impl<'a> Freeze for Verifier<'a>
impl<'a> Unpin for Verifier<'a>
impl<'a> UnsafeUnpin for Verifier<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more