Struct DecidableEqInstance 

pub struct DecidableEqInstance<T> {
    pub type_name: &'static str,
    pub decide: fn(&T, &T) -> DecisionResult<()>,
}

A decidable equality instance wrapper for a specific Rust type.

Fields

type_name: &'static str

The name of the type.

decide: fn(&T, &T) -> DecisionResult<()>

The decision procedure.

Implementations

impl<T: PartialEq> DecidableEqInstance<T>

pub fn for_type(type_name: &'static str) -> Self

Construct a DecidableEqInstance for any PartialEq type.

pub fn decide_eq(&self, a: &T, b: &T) -> DecisionResult<()>

Apply the decision procedure.

pub fn is_eq(&self, a: &T, b: &T) -> bool

Return true iff a == b.