Trait Resolvable

pub trait Resolvable: Debug {
    type From: Debug + Clone;

    // Required method
    fn id(&self) -> Cow<'_, Self::From>;
}

Required Associated Types

type From: Debug + Clone

Required Methods

fn id(&self) -> Cow<'_, Self::From>

Implementors

impl Resolvable for ModuleLike

type From = ModuleURI

impl Resolvable for Morphism<Checked>

type From = SymbolURI

impl Resolvable for Extension<Checked>

type From = SymbolURI

impl Resolvable for MathStructure<Checked>

type From = SymbolURI

impl Resolvable for Symbol

type From = SymbolURI

impl Resolvable for Module

type From = ModuleURI

impl Resolvable for Signature

type From = Language

impl Resolvable for Document

type From = DocumentURI

impl<T: DeclarationTrait + Resolvable<From = SymbolURI>> Resolvable for ContentReference<T>

type From = SymbolURI