vyre-spec 0.4.1

Frozen data contracts for vyre — OpDef, AlgebraicLaw, Category, IntrinsicTable
Documentation 
1
2
3
4
5
6
7
8
9
10

//! Category lookup helpers for the frozen invariant catalog.

use crate::{invariant::Invariant, invariant_category::InvariantCategory, invariants::invariants};

/// Return every invariant in a category.
pub fn by_category(category: InvariantCategory) -> impl Iterator<Item = &'static Invariant> {
    invariants()
        .iter()
        .filter(move |inv| inv.category == category)
}