Trait Kinds 

pub trait Kinds {
    type Id: RefId;

    const NAMES: &'static [&'static str];

    // Provided method
    fn first() -> KindName { ... }
}

One kind or several ((File, Doc), sharing an id type): what a reference field takes.

Required Associated Constants

const NAMES: &'static [&'static str]

Every kind’s name, the first the one written.

Required Associated Types

type Id: RefId

Their ids’ type, the same for every kind.

Provided Methods

fn first() -> KindName

The first of them: what a reference this reads is written as.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<A: Kind, B: Kind<Id = A::Id>, C: Kind<Id = A::Id>> Kinds for (A, B, C)

const NAMES: &'static [&'static str]

type Id = <A as Kind>::Id

impl<A: Kind, B: Kind<Id = A::Id>> Kinds for (A, B)

const NAMES: &'static [&'static str]

type Id = <A as Kind>::Id

Implementors

impl<K: Kind> Kinds for K

const NAMES: &'static [&'static str]

type Id = <K as Kind>::Id