Struct StaticPath 

pub struct StaticPath { /* private fields */ }

A path both of whose halves the compiler knows: the levels and the joined form, checked against each other where they are written.

StorePath holds a run-time path behind an Arc, which costs two things a declaration cannot pay. It has a destructor, so a static built from one cannot use .. to fill in the rest of a struct; and its joined form cannot be read in a const, which is where the checks over a declaration run. This type has neither: it is Copy, it owns nothing, and everything about it is available while the code is compiled.

It is what a declaration carries. Turn it into a StorePath with StaticPath::path wherever a run-time path is wanted.

Implementations

impl StaticPath

pub const fn new( segments: &'static [&'static str], joined: &'static str, ) -> Self

Panics

If any level is empty, or if joined is not the joined form of segments - at compile time, which is the only place this is meant to be called. See StorePath::from_static, which checks the same pair.

pub const fn root() -> Self

The path that is under nothing.

pub const fn as_str(&self) -> &'static str

The whole path as one string, where a const can read it.

pub const fn is_root(&self) -> bool

pub fn path(&self) -> StorePath

The same path, as the type the store addresses by. Allocates nothing: both halves are already 'static.

Trait Implementations

impl AsRef<str> for StaticPath

fn as_ref(&self) -> &str

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for StaticPath

fn clone(&self) -> StaticPath

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for StaticPath

impl Debug for StaticPath

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

Formats the value using the given formatter.

impl Display for StaticPath

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

Formats the value using the given formatter.

impl Eq for StaticPath

impl From<StaticPath> for StorePath

fn from(at: StaticPath) -> Self

Converts to this type from the input type.

impl PartialEq for StaticPath

fn eq(&self, other: &StaticPath) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialEq<str> for StaticPath

fn eq(&self, other: &str) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for StaticPath