Struct SetoidMorphism 

pub struct SetoidMorphism<A, B> {
    pub func: fn(A) -> B,
    pub respects: fn(&A, &A, bool) -> bool,
}

A setoid morphism: a function respecting a setoid equivalence.

Fields

func: fn(A) -> B

The underlying function.

respects: fn(&A, &A, bool) -> bool

Predicate asserting f respects the source equivalence.

Implementations

impl<A: Clone, B> SetoidMorphism<A, B>

pub fn new(func: fn(A) -> B, respects: fn(&A, &A, bool) -> bool) -> Self

Create a new setoid morphism.

pub fn apply(&self, a: A) -> B

Apply the morphism.

pub fn verify_respects(&self, a1: &A, a2: &A, are_equiv: bool) -> bool

Verify this morphism respects equivalence for a pair.