Struct Validated 

pub struct Validated<T>(/* private fields */);

Marker that wraps a value proven to satisfy its validation contract.

The only way to obtain Validated<McpServerConfig> is by calling McpServerConfig::validate, which is the contract enforced at the type level by serve and serve_with_listener. The inner field is private, so downstream code cannot bypass validation by hand-constructing the wrapper.

Validated<T> derefs to &T for read-only access. To mutate, recover the raw value with Validated::into_inner and re-validate.

Example

use rmcp_server_kit::transport::{McpServerConfig, Validated, serve};
use rmcp::handler::server::ServerHandler;
use rmcp::model::{ServerCapabilities, ServerInfo};

#[derive(Clone)]
struct H;
impl ServerHandler for H {
    fn get_info(&self) -> ServerInfo {
        ServerInfo::new(ServerCapabilities::builder().enable_tools().build())
    }
}

let config: Validated<McpServerConfig> =
    McpServerConfig::new("127.0.0.1:8080", "my-server", "0.1.0").validate()?;
serve(config, || H).await

Forgetting .validate()? is a compile error:

use rmcp_server_kit::transport::{McpServerConfig, serve};
use rmcp::handler::server::ServerHandler;
use rmcp::model::{ServerCapabilities, ServerInfo};

#[derive(Clone)]
struct H;
impl ServerHandler for H {
    fn get_info(&self) -> ServerInfo {
        ServerInfo::new(ServerCapabilities::builder().enable_tools().build())
    }
}

let config = McpServerConfig::new("127.0.0.1:8080", "my-server", "0.1.0");
// Missing `.validate()?` -> mismatched types: expected
// `Validated<McpServerConfig>`, found `McpServerConfig`.
serve(config, || H).await

Implementations

impl<T> Validated<T>

pub fn as_inner(&self) -> &T

Borrow the inner value.

pub fn into_inner(self) -> T

Recover the raw value, discarding the validation proof.

Re-validate before re-using the value with serve or serve_with_listener.

Trait Implementations

impl<T> Debug for Validated<T>

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

Formats the value using the given formatter.

impl<T> Deref for Validated<T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.