Struct leo_package::outputs::proof::ProofFile [−][src]
Fields
package_name: String
Implementations
impl ProofFile
[src]
pub fn new(package_name: &str) -> Self
[src]
pub fn exists_at(&self, path: &Path) -> bool
[src]
pub fn read_from(&self, path: &Path) -> Result<String, ProofFileError>
[src]
Reads the proof from the given file path if it exists.
pub fn write_to(&self, path: &Path, proof: &[u8]) -> Result<(), ProofFileError>
[src]
Writes the given proof to a file.
pub fn remove(&self, path: &Path) -> Result<bool, ProofFileError>
[src]
Removes the proof 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 ProofFile
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
__D: Deserializer<'de>,
Auto Trait Implementations
impl RefUnwindSafe for ProofFile
impl Send for ProofFile
impl Sync for ProofFile
impl Unpin for ProofFile
impl UnwindSafe for ProofFile
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,
[src]
T: for<'de> Deserialize<'de>,
impl<T> From<T> for T
[src]
impl<T> Instrument for T
[src]
pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,