Trait Prove 

pub trait Prove {
    type Proof;
    type Error;

    // Required method
    fn prove(self) -> Result<Self::Proof, Self::Error>;
}

Required Associated Types

type Proof

type Error

Required Methods

fn prove(self) -> Result<Self::Proof, Self::Error>

Implementations on Foreign Types

impl Prove for bool

type Error = ()

type Proof = ()

fn prove(self) -> Result<Self::Proof, Self::Error>

impl Prove for ()

type Error = Infallible

type Proof = ()

fn prove(self) -> Result<Self::Proof, Self::Error>

impl<T, E> Prove for Result<T, E>

type Error = E

type Proof = T

fn prove(self) -> Self

Implementors