eqv

Crates.ioeqv
lib.rseqv
version0.1.0
created_at2025-11-24 13:57:50.146172+00
updated_at2025-11-24 13:57:50.146172+00
descriptionTraits for defining equivalence relations between types.
homepage
repositoryhttps://github.com/0xddom/eqv
max_upload_size
id1947908
size6,169
foldr (0xddom)

documentation

README

eqv ≡

Traits for defining equivalence relations between types.

Usage

use eqv::{equiv, EqvRelation};

struct Rel;
impl EqvRelation<usize> for Rel {
    fn equivalent(lhs: &usize, rhs: &usize) -> bool {
        *lhs == *rhs
    }
}
let lhs: usize = 1;
let rhs: usize = 2;

assert!(!equiv! { Rel | lhs, rhs })
Commit count: 0

cargo fmt