Trait MathArchive

Source

pub trait MathArchive {
    // Required methods
    fn uri(&self) -> &ArchiveUri;
    fn path(&self) -> &Path;
    fn is_meta(&self) -> bool;
    fn load_module(
        &self,
        path: Option<&UriPath>,
        name: &UriName,
    ) -> Result<Module, BackendError>;
    fn load_module_async<A: AsyncEngine>(
        &self,
        path: Option<&UriPath>,
        name: &UriName,
    ) -> impl Future<Output = Result<Module, BackendError>> + 'static + use<Self, A>
       where Self: Sized;

    // Provided method
    fn id(&self) -> &ArchiveId { ... }
}