Struct RefinementRegistry 

pub struct RefinementRegistry { /* private fields */ }

Registry for managing refinement types.

Implementations

impl RefinementRegistry

pub fn new() -> Self

Create a new empty registry.

pub fn with_builtins() -> Self

Create a registry with common built-in refinement types.

pub fn register(&mut self, refinement: RefinementType)

Register a refinement type.

pub fn get(&self, name: &str) -> Option<&RefinementType>

Get a refinement type by name.

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

Check if a type is registered.

pub fn type_names(&self) -> Vec<&str>

Get all registered type names.

pub fn len(&self) -> usize

Get the number of registered types.

pub fn is_empty(&self) -> bool

Check if the registry is empty.

pub fn check(&self, type_name: &str, value: f64) -> Option<bool>

Check if a value satisfies a refinement type by name.

pub fn iter(&self) -> impl Iterator<Item = (&str, &RefinementType)>

Iterate over all refinement types.

Trait Implementations

impl Clone for RefinementRegistry

fn clone(&self) -> RefinementRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RefinementRegistry

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

Formats the value using the given formatter.

impl Default for RefinementRegistry

fn default() -> RefinementRegistry

Returns the “default value” for a type.