Struct LemmaBase 

pub struct LemmaBase { /* private fields */ }

The LemmaBase registry fetches Lemma source text from LemmaBase.

This is the default registry for the Lemma engine. It resolves @... identifiers via GET {base}/{name}.lemma (name includes the leading @). The base depends on compile profile: LemmaBase::BASE_URL (http://localhost:4222 in debug builds, https://lemmabase.com in release builds).

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 = "http://localhost:4222"

LemmaBase registry root: http://localhost:4222 when debug_assertions are on (normal cargo build / cargo run), https://lemmabase.com in --release.

Same rule for any crate embedding this one (CLI, LSP, WASM) at that profile.

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 get<'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 repository identifier.

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

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