Skip to main content

SystemProxyLayer

Struct SystemProxyLayer 

pub struct SystemProxyLayer<P = SystemProxyPacDisabled> { /* private fields */ }
Available on crate feature net only.
Expand description

Apply the operating system’s proxy settings to client service inputs.

Existing ProxyRoute or ProxyRoutes extensions win by default. This makes the layer safe to place below explicit CLI/application proxy layers: a common priority chain is NoProxyEnvLayer, an explicit option, ProxyEnvLayer, then this system layer. Use with_overwrite only when the system policy must replace a route already chosen by the caller.

Environment proxy variables are intentionally out of scope. Use ProxyEnvLayer for proxy variables and NoProxyEnvLayer for bypass variables.

Configuration discovery is lazy. macOS, Windows, and Linux install a private native change monitor with the first load; the cache TTL remains a fallback on every platform. Applications can replace that monitor through with_config_change_trigger, retain TTL-only refreshes through without_config_change_trigger, or make the first snapshot immutable through with_config_refresh(false).

Fixed proxies and bypass decisions publish one ProxyRoute. PAC verdicts retain their ordered ProxyRoutes plan even when it contains one entry. Compose ProxyRoutesLayer after all route selectors and before route-aware middleware.

A configured PAC URI is used only after a service is supplied through with_pac_service. Without one the layer uses a fixed proxy from the same system snapshot when available, or leaves the request unchanged. Factory, fetch, or evaluation errors fail the request instead of silently bypassing the system proxy.

Implementations§

§

impl SystemProxyLayer

pub fn new() -> SystemProxyLayer

Create a lazy system-proxy layer without reading platform settings.

The first unrouted request loads the settings. Call warm_up to perform that asynchronous load eagerly.

pub fn new_with_ttl(ttl: Duration) -> SystemProxyLayer

Create a lazy system-proxy layer with a custom cache TTL.

pub fn new_with_ttl_and_invalid_bypass_rule_policy( ttl: Duration, policy: SystemProxyInvalidBypassRulePolicy, ) -> SystemProxyLayer

Create a lazy layer with explicit refresh and bypass-rule policies.

pub fn from_cached(config: SystemProxyConfig) -> SystemProxyLayer

Create a layer from a cached operating-system proxy snapshot.

The supplied snapshot is used immediately and refreshed from the operating system after DEFAULT_SYSTEM_PROXY_CONFIG_TTL. Use try_from_system to start with a fresh read.

pub fn from_cached_with_invalid_bypass_rule_policy( config: SystemProxyConfig, policy: SystemProxyInvalidBypassRulePolicy, ) -> SystemProxyLayer

Create a layer from a cached operating-system proxy snapshot with an explicit invalid bypass-rule policy for subsequent refreshes.

pub async fn try_from_system() -> Result<SystemProxyLayer, Box<dyn Error + Sync + Send>>

Create a layer and asynchronously warm its system proxy snapshot.

pub async fn try_from_system_with_invalid_bypass_rule_policy( policy: SystemProxyInvalidBypassRulePolicy, ) -> Result<SystemProxyLayer, Box<dyn Error + Sync + Send>>

Create a layer from the current operating system proxy settings using an explicit invalid bypass-rule policy.

pub async fn try_from_system_with_ttl( ttl: Duration, ) -> Result<SystemProxyLayer, Box<dyn Error + Sync + Send>>

Create a refreshing layer from the current operating system settings.

The initial read is awaited. Once ttl has elapsed, one request awaits the refresh while concurrent requests continue using the prior snapshot. A failed refresh retains that snapshot and is retried after another ttl interval.

pub async fn try_from_system_with_ttl_and_invalid_bypass_rule_policy( ttl: Duration, policy: SystemProxyInvalidBypassRulePolicy, ) -> Result<SystemProxyLayer, Box<dyn Error + Sync + Send>>

Create a refreshing layer with explicit refresh and invalid bypass-rule policies.

§

impl<P> SystemProxyLayer<P>

pub async fn config( &self, ) -> Result<Arc<SystemProxyConfig>, Box<dyn Error + Sync + Send>>

Load and return the current operating system proxy configuration.

The first call performs lazy discovery. A native or custom change trigger can request an early refresh. Once the cache TTL expires, one caller awaits a refresh while concurrent callers use the stale snapshot.

pub fn cached_config(&self) -> Option<Arc<SystemProxyConfig>>

Return the cached snapshot without loading or refreshing it.

pub async fn warm_up(&self) -> Result<(), Box<dyn Error + Sync + Send>>

Asynchronously populate the cache before serving requests.

pub fn with_pac_service<Q>(self, pac: Q) -> SystemProxyLayer<Q>

Supply a PAC resolver factory.

The factory can be consulted for every request selected for PAC evaluation. Implementations should therefore reuse resolver state for the same script URI. Factory and resolver errors fail the request.

pub fn with_load_error_sink( self, error_sink: impl ErrorSink, ) -> SystemProxyLayer<P>

Handle system configuration load errors with a sink.

By default, an initial discovery failure rejects the request. With this opt-in policy, the error is sent to error_sink and an empty snapshot is cached for the configured TTL. Refresh failures retain the previous snapshot and are sent to the same sink.

pub fn set_load_error_sink( &mut self, error_sink: impl ErrorSink, ) -> &mut SystemProxyLayer<P>

Handle system configuration load errors with a sink.

By default, an initial discovery failure rejects the request. With this opt-in policy, the error is sent to error_sink and an empty snapshot is cached for the configured TTL. Refresh failures retain the previous snapshot and are sent to the same sink.

pub fn with_config_refresh(self, config_refresh: bool) -> SystemProxyLayer<P>

Enable periodic and change-triggered configuration refreshes.

Disabling refresh keeps the first loaded snapshot immutable. A layer created with from_cached therefore performs no operating-system reads when refresh is disabled.

pub fn set_config_refresh( &mut self, config_refresh: bool, ) -> &mut SystemProxyLayer<P>

Enable periodic and change-triggered configuration refreshes.

Disabling refresh keeps the first loaded snapshot immutable. A layer created with from_cached therefore performs no operating-system reads when refresh is disabled.

pub fn with_config_change_trigger( self, trigger: impl Service<(), Output = bool, Error : Into>, ) -> SystemProxyLayer<P>
where <impl Service<(), Output = bool> as Service<()>>::Error: Into<Box<dyn Error + Sync + Send>>,

Replace the default platform configuration-change trigger.

The service is polled before configuration access. Returning true requests an immediate refresh of an existing snapshot; returning false leaves the TTL as the fallback. Trigger errors are sent to the configured error sink and also fall back to the TTL.

pub fn set_config_change_trigger( &mut self, trigger: impl Service<(), Output = bool, Error : Into>, ) -> &mut SystemProxyLayer<P>
where <impl Service<(), Output = bool> as Service<()>>::Error: Into<Box<dyn Error + Sync + Send>>,

Replace the default platform configuration-change trigger.

The service is polled before configuration access. Returning true requests an immediate refresh of an existing snapshot; returning false leaves the TTL as the fallback. Trigger errors are sent to the configured error sink and also fall back to the TTL.

pub fn without_config_change_trigger(self) -> SystemProxyLayer<P>

Disable early change notifications while retaining TTL refreshes.

pub fn unset_config_change_trigger(&mut self) -> &mut SystemProxyLayer<P>

Disable early change notifications while retaining TTL refreshes.

pub fn with_config_change_trigger_error_sink( self, error_sink: impl ErrorSink, ) -> SystemProxyLayer<P>

Replace the sink for configuration-change trigger errors.

pub fn set_config_change_trigger_error_sink( &mut self, error_sink: impl ErrorSink, ) -> &mut SystemProxyLayer<P>

Replace the sink for configuration-change trigger errors.

pub fn with_overwrite(self, overwrite: bool) -> SystemProxyLayer<P>

Replace an existing route decision (defaults to false).

pub fn set_overwrite(&mut self, overwrite: bool) -> &mut SystemProxyLayer<P>

Replace an existing route decision (defaults to false).

Trait Implementations§

§

impl<P> Clone for SystemProxyLayer<P>
where P: Clone,

§

fn clone(&self) -> SystemProxyLayer<P>

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
§

impl<P> Debug for SystemProxyLayer<P>
where P: Debug,

§

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

Formats the value using the given formatter. Read more
§

impl Default for SystemProxyLayer

§

fn default() -> SystemProxyLayer

Returns the “default value” for a type. Read more
§

impl<S, P> Layer<S> for SystemProxyLayer<P>
where P: Clone,

§

type Service = SystemProxyService<S, P>

The service produced by the layer.
§

fn layer(&self, inner: S) -> <SystemProxyLayer<P> as Layer<S>>::Service

Wrap the given service with the middleware, returning a new service.
§

fn into_layer(self, inner: S) -> <SystemProxyLayer<P> as Layer<S>>::Service

Same as layer but consuming self after the service was created. Read more

Auto Trait Implementations§

§

impl<P = SystemProxyPacDisabled> !RefUnwindSafe for SystemProxyLayer<P>

§

impl<P = SystemProxyPacDisabled> !UnwindSafe for SystemProxyLayer<P>

§

impl<P> Freeze for SystemProxyLayer<P>
where P: Freeze,

§

impl<P> Send for SystemProxyLayer<P>
where P: Send,

§

impl<P> Sync for SystemProxyLayer<P>
where P: Sync,

§

impl<P> Unpin for SystemProxyLayer<P>
where P: Unpin,

§

impl<P> UnsafeUnpin for SystemProxyLayer<P>
where P: UnsafeUnpin,

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
§

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

§

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

§

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

§

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

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
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

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> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

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

§

fn from_ref(input: &T) -> T

Converts to this type from a reference to the input type.
§

impl<T> FutureExt for T

§

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
§

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more
§

impl<T> Instrument for T

§

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

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

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
§

impl<T> IntoRequest<T> for T

§

fn into_request(self) -> Request<T>

Wrap the input message T in a rama_grpc::Request
§

impl<L> LayerExt<L> for L

§

fn named_layer<S>(&self, service: S) -> Layered<<L as Layer<S>>::Service, S>
where L: Layer<S>,

Applies the layer to a service and wraps it in Layered.
§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

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

Initializes a with the given initializer. Read more
§

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

Dereferences the given pointer. Read more
§

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

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

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

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

§

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
§

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
§

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

§

fn rama_from(value: T) -> U

§

impl<T, U, CrateMarker> RamaInto<U, CrateMarker> for T
where U: RamaFrom<T, CrateMarker>,

§

fn rama_into(self) -> U

§

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

§

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

§

fn rama_try_from(value: T) -> Result<U, <U as RamaTryFrom<T>>::Error>

§

impl<T, U, CrateMarker> RamaTryInto<U, CrateMarker> for T
where U: RamaTryFrom<T, CrateMarker>,

§

type Error = <U as RamaTryFrom<T, CrateMarker>>::Error

§

fn rama_try_into(self) -> Result<U, <U as RamaTryFrom<T, CrateMarker>>::Error>

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<V, F> ValueFormatter<&V> for F
where F: ValueFormatter<V> + ?Sized, V: ?Sized,

§

const SHAPE: FieldShape<'static>

Available on non-metrique_require_explicit_impls only.
The shape of values produced by this formatter. Read more
§

fn format_value(writer: impl ValueWriter, value: &&V)

Write value to writer
§

impl<V, F> ValueFormatter<Arc<V>> for F
where F: ValueFormatter<V> + ?Sized, V: ?Sized,

§

const SHAPE: FieldShape<'static>

Available on non-metrique_require_explicit_impls only.
The shape of values produced by this formatter. Read more
§

fn format_value(writer: impl ValueWriter, value: &Arc<V>)

Write value to writer
§

impl<V, F> ValueFormatter<Box<V>> for F
where F: ValueFormatter<V> + ?Sized, V: ?Sized,

§

const SHAPE: FieldShape<'static>

Available on non-metrique_require_explicit_impls only.
The shape of values produced by this formatter. Read more
§

fn format_value(writer: impl ValueWriter, value: &Box<V>)

Write value to writer
§

impl<V, F> ValueFormatter<Cow<'_, V>> for F
where V: ToOwned + ?Sized, F: ValueFormatter<V> + ?Sized,

§

const SHAPE: FieldShape<'static>

Available on non-metrique_require_explicit_impls only.
The shape of values produced by this formatter. Read more
§

fn format_value(writer: impl ValueWriter, value: &Cow<'_, V>)

Write value to writer
§

impl<V, F> ValueFormatter<Option<V>> for F
where F: ValueFormatter<V> + ?Sized,

§

const SHAPE: FieldShape<'static>

Available on non-metrique_require_explicit_impls only.
The shape of values produced by this formatter. Read more
§

fn format_value(writer: impl ValueWriter, value: &Option<V>)

Write value to writer
§

impl<T> WithSubscriber for T

§

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
§

fn with_current_subscriber(self) -> WithDispatch<Self>

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