Skip to main content

ValueKind

Enum ValueKind 

Source
pub enum ValueKind {
    Bool,
    Unsigned,
    Float,
    Tz,
    Url,
    Path,
    Text,
    LogDirective,
    OneOf(&'static [&'static str]),
}
Expand description

Domain a setting value must belong to.

Deliberately coarse. The point is to reject what can never work, not to re-derive every consumer’s parsing: a u64 reader still clamps its own range, and this only guarantees it receives digits at all.

Variants§

§

Bool

A boolean in any spelling the readers accept.

Deliberately wider than true|false. The readers are not uniform — tracing_init.rs takes 1|true|yes|on, lib.rs the same four, retry.rs only three — and the --low-memory help has always advertised config set ingest.low_memory 1. Validating against the narrowest spelling would reject a value the product documents and every reader honours, which is a regression dressed as a check.

The job here is to reject what NO reader accepts (talvez, maybe), not to impose a house style on values that already work.

§

Unsigned

A non-negative integer.

§

Float

A finite decimal number.

§

Tz

An IANA timezone name, e.g. America/Sao_Paulo.

§

Url

An absolute http/https URL.

§

Path

A filesystem path. Only emptiness is rejected: existence is the caller’s business, and a path that does not exist yet is legitimate.

§

Text

Free text with no checkable domain.

§

LogDirective

A tracing filter directive, e.g. warn or sqlite_graphrag=debug.

Not a closed set: the grammar accepts per-target directives, so listing the five level names would reject legitimate values. Validated by parsing with the same type tracing_init builds, because EnvFilter::new DISCARDS an unparseable directive instead of failing — which is how log.level NIVEL_X used to silence logging outright while config set reported success.

§

OneOf(&'static [&'static str])

One of a closed set of spellings.

Implementations§

Source§

impl ValueKind

Source

pub fn expectation(&self) -> Option<String>

Returns a LOCALIZED description of the accepted domain, for the error message.

Returns None when every string is acceptable, which is the signal to skip validation entirely rather than to accept with an empty reason.

Localized rather than hard-coded English because the message that carries it is translated, and half-translating a sentence is worse than not translating it: the operator reads Portuguese prose that ends in an English clause.

A closed set is NOT translated — those are literal spellings the operator must type, so true|false is the same string in every locale.

Source

pub fn accepts(&self, value: &str) -> bool

true when value belongs to this domain.

Trait Implementations§

Source§

impl Clone for ValueKind

Source§

fn clone(&self) -> ValueKind

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Copy for ValueKind

Source§

impl Debug for ValueKind

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Eq for ValueKind

Source§

impl PartialEq for ValueKind

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for ValueKind

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more