Skip to main content

Language

chomsky_uir::egraph

Trait Language 

Source 
pub trait Language:
    Hash
    + Eq
    + Clone
    + Ord {
    // Required methods
    fn children(&self) -> Vec<Id> ⓘ;
    fn map_children(&self, f: impl FnMut(Id) -> Id) -> Self;
}

Required Methods§

Source

fn children(&self) -> Vec<Id> ⓘ

Source

fn map_children(&self, f: impl FnMut(Id) -> Id) -> Self

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§