Struct leo_package::outputs::verification_key::VerificationKeyFile[][src]

pub struct VerificationKeyFile {
    pub package_name: String,
}

Fields

package_name: String

Implementations

impl VerificationKeyFile[src]

pub fn new(package_name: &str) -> Self[src]

pub fn full_path<'a>(&self, path: &'a Path) -> Cow<'a, Path>[src]

pub fn exists_at(&self, path: &Path) -> bool[src]

pub fn read_from(
    &self,
    path: &Path
) -> Result<Vec<u8>, VerificationKeyFileError>
[src]

Reads the verification key from the given file path if it exists.

pub fn write_to<'a>(
    &self,
    path: &'a Path,
    verification_key: &[u8]
) -> Result<Cow<'a, Path>, VerificationKeyFileError>
[src]

Writes the given verification key to a file.

pub fn remove(&self, path: &Path) -> Result<bool, VerificationKeyFileError>[src]

Removes the verification key at the given path if it exists. Returns true on success, false if the file doesn’t exist, and Error if the file system fails during operation.

Trait Implementations

impl<'de> Deserialize<'de> for VerificationKeyFile[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> DeserializeOwned for T where
    T: for<'de> Deserialize<'de>, 
[src]

impl<T> From<T> for T[src]

impl<T> Instrument for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.