Skip to main content

MethodCatalogBuilder

praxis_stdlib::catalog

Struct MethodCatalogBuilder

pub struct MethodCatalogBuilder { /* private fields */ }

Expand description

Builder for MethodCatalog. Enforces the duplicate-entry invariant at finish.

Implementations§

impl MethodCatalogBuilder

pub fn entry(self, entry: MethodEntry) -> Self

Add an entry. Duplicates are detected at finish.

pub fn finish(self) -> Result<MethodCatalog, MethodCatalogError>

Finalize the catalog, returning an error if any two entries share a (receiver, name, arity) triple, if any single entry bounds one type variable two different ways, or if a concrete row shadows a generic Iterable one on a receiver both accept (ADR-127).

Trait Implementations§

impl Default for MethodCatalogBuilder

fn default() -> MethodCatalogBuilder

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

Auto Trait Implementations§

impl Freeze for MethodCatalogBuilder

impl RefUnwindSafe for MethodCatalogBuilder

impl Send for MethodCatalogBuilder

impl Sync for MethodCatalogBuilder

impl Unpin for MethodCatalogBuilder

impl UnsafeUnpin for MethodCatalogBuilder

impl UnwindSafe for MethodCatalogBuilder

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

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

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.