pub struct Verifier<'a, C: Context> { /* private fields */ }Implementations§
Source§impl<'a, C: Context> Verifier<'a, C>
impl<'a, C: Context> Verifier<'a, C>
pub fn new(ctx: &'a C) -> Self
pub fn compute( &self, funcs: impl IntoIterator<Item = &'a Func<C::Phase>>, ) -> Result<Box<[Certificate]>>
pub fn check( &self, funcs: impl IntoIterator<Item = (&'a Func<C::Phase>, &'a Certificate)>, ) -> Result<()>
Auto Trait Implementations§
impl<'a, C> Freeze for Verifier<'a, C>
impl<'a, C> RefUnwindSafe for Verifier<'a, C>where
C: RefUnwindSafe,
impl<'a, C> Send for Verifier<'a, C>where
C: Sync,
impl<'a, C> Sync for Verifier<'a, C>where
C: Sync,
impl<'a, C> Unpin for Verifier<'a, C>
impl<'a, C> UnsafeUnpin for Verifier<'a, C>
impl<'a, C> UnwindSafe for Verifier<'a, C>where
C: RefUnwindSafe,
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