Struct StandardLibrary 

pub struct StandardLibrary<S: SchemaProvider = EmptySchema> { /* private fields */ }

The openCypher built-in function catalog as a SchemaProvider.

Two constructors:

• StandardLibrary::new — stdlib only; labels, endpoints, etc. delegate to an EmptySchema. Suitable for schema-free mode (spec §8.4).
• StandardLibrary::wrap — stdlib ∪ consumer schema. Function lookup consults the stdlib first; all other surface delegates to the wrapped schema.

The type is generic over the inner provider so the composition is zero-cost. A Box<dyn SchemaProvider> also satisfies SchemaProvider (object-safe per spec §8.1), which makes the dynamic form ergonomic.

Implementations

impl StandardLibrary<EmptySchema>

pub fn new() -> Self

Construct a stdlib-only provider (no labels, no procedures).

impl<S: SchemaProvider> StandardLibrary<S>

pub fn wrap(inner: S) -> Self

Wrap a consumer schema so function lookups see stdlib ∪ inner.

Stdlib names shadow consumer declarations for the same name. Consumers MUST NOT redefine openCypher built-ins (spec §8.3).

pub fn inner(&self) -> &S

Borrow the wrapped inner schema. Useful for callers that need raw access bypassing the stdlib overlay.

pub fn builtin_names() -> Vec<&'static str>

All built-in function names, sorted. Stable across releases; exposed for completion and documentation consumers.

pub fn builtin_count() -> usize

Number of built-ins in the catalog. Test-facing shape check.

Trait Implementations

impl<S: SchemaProvider + Debug> Debug for StandardLibrary<S>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for StandardLibrary<EmptySchema>

fn default() -> Self

Returns the “default value” for a type.

impl<S: SchemaProvider> SchemaProvider for StandardLibrary<S>

fn labels(&self) -> Vec<SmolStr>

All declared labels. Order is not semantic; callers sort if they need deterministic output.

fn relationship_types(&self) -> Vec<SmolStr>

All declared relationship types.

fn has_label(&self, name: &str) -> bool

Convenience predicate: does the schema declare name as a label?

fn has_relationship_type(&self, name: &str) -> bool

Convenience predicate: does the schema declare name as a relationship type?

fn node_properties(&self, label: &str) -> Option<Vec<PropertyDecl>>

Properties declared on a node with this label.

fn relationship_properties(&self, rel_type: &str) -> Option<Vec<PropertyDecl>>

Properties declared on a relationship of this type.

fn relationship_endpoints(&self, rel_type: &str) -> Vec<EndpointDecl>

Declared endpoint pairs for a relationship type. Empty = endpoint- polymorphic; the semantic pass then skips endpoint checks.

fn inverse_of(&self, rel_type: &str) -> Option<SmolStr>

Declared inverse relationship type, if any. Consumers that model typed inverses return them here; others return None.

fn function(&self, name: &str) -> Option<FunctionSignature>

Look up a function signature. Used by typecheck and by completion.

fn procedure(&self, name: &str) -> Option<ProcedureSignature>

Look up a procedure signature for CALL <proc>.

fn schema_digest(&self) -> [u8; 32]

A content-addressed digest of the schema’s observable surface. MUST change whenever any declaration visible through this trait changes.