Struct LemmaBase 

pub struct LemmaBase { /* private fields */ }

The LemmaBase registry fetches Lemma source text from LemmaBase.com.

This is the default registry for the Lemma engine. It resolves @... identifiers by making HTTP GET requests to https://lemmabase.com/@{identifier}.lemma.

LemmaBase.com returns the requested spec with all of its dependencies inlined, so the resolution loop typically completes in a single iteration.

This struct is only available when the registry feature is enabled (which it is by default). Users who require strict sandboxing (no network access) can compile without this feature.

Implementations

impl LemmaBase

pub const BASE_URL: &'static str = "https://lemmabase.com"

The base URL for the LemmaBase.com registry.

pub fn new() -> Self

Create a new LemmaBase registry backed by the real HTTP client (reqwest on native, fetch on WASM).

Trait Implementations

impl Default for LemmaBase

Available on crate feature registry only.

fn default() -> Self

Returns the “default value” for a type.

impl Registry for LemmaBase

fn fetch_specs<'life0, 'life1, 'async_trait>( &'life0 self, name: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<RegistryBundle, RegistryError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Fetch all temporal versions for a spec @... reference.

fn fetch_types<'life0, 'life1, 'async_trait>( &'life0 self, name: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<RegistryBundle, RegistryError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Fetch all temporal versions for a type ... from @... reference.

fn url_for_id( &self, name: &str, effective: Option<&DateTimeValue>, ) -> Option<String>

Map a Registry identifier to a human-facing address for navigation.