Trait MetaType

pub trait MetaType: Clone + Debug {
    type Structure: Structure<Set = Self>;

    // Required method
    fn structure() -> Rc<Self::Structure>;
}

Required Associated Types

type Structure: Structure<Set = Self>

Required Methods

fn structure() -> Rc<Self::Structure>

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.

Implementations on Foreign Types

impl MetaType for Integer

type Structure = CannonicalStructure<Integer>

fn structure() -> Rc<Self::Structure>

impl MetaType for Natural

type Structure = CannonicalStructure<Natural>

fn structure() -> Rc<Self::Structure>

impl MetaType for Rational

type Structure = CannonicalStructure<Rational>

fn structure() -> Rc<Self::Structure>

Implementors