Struct CurryHoward 

pub struct CurryHoward {
    pub proposition: String,
    pub corresponding_type: String,
}

Proof-as-program correspondence (Curry-Howard).

Fields

proposition: String

The proposition (as a string).

corresponding_type: String

The corresponding type (as a string).

Implementations

impl CurryHoward

pub fn new( proposition: impl Into<String>, corresponding_type: impl Into<String>, ) -> Self

Create a new Curry-Howard correspondence entry.

pub fn describe(&self) -> String

Return a human-readable summary.

Trait Implementations

impl Clone for CurryHoward

fn clone(&self) -> CurryHoward

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CurryHoward

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.