computation_types

Struct NamedArgs

pub struct NamedArgs(/* private fields */);

Implementations§

impl NamedArgs

pub fn new() -> Self

pub fn singleton<T>(name: Name, arg: T) -> Self
where T: AnyArg,

pub fn union(self, other: Self) -> Self

pub fn contains_args(&self, args: &Names) -> bool

pub fn partition( self, fst_names: &Names, snd_names: &Names, ) -> Result<(Self, Self), PartitionErr>

Return a (map with fst_names, map with snd_names) tuple if all arguments are present.

pub fn pop<T>(&mut self, name: Name) -> Result<T, PopErr>
where T: 'static + AnyArg,

Return the given argument if it is present and has the right type.

Note, if argument is present but has the wrong type, it will still be removed.

pub fn insert_raw(&mut self, name: Name, arg: Box<dyn AnyArg>)

This function is unstable and likely to change.

Use at your own risk.

impl NamedArgs

pub fn partition3( self, names_0: &Names, names_1: &Names, names_2: &Names, ) -> Result<(Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition4( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, ) -> Result<(Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition5( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, ) -> Result<(Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition6( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition7( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition8( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition9( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, names_8: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition10( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, names_8: &Names, names_9: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition11( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, names_8: &Names, names_9: &Names, names_10: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition12( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, names_8: &Names, names_9: &Names, names_10: &Names, names_11: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition13( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, names_8: &Names, names_9: &Names, names_10: &Names, names_11: &Names, names_12: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition14( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, names_8: &Names, names_9: &Names, names_10: &Names, names_11: &Names, names_12: &Names, names_13: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition15( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, names_8: &Names, names_9: &Names, names_10: &Names, names_11: &Names, names_12: &Names, names_13: &Names, names_14: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

impl NamedArgs

pub fn partition16( self, names_0: &Names, names_1: &Names, names_2: &Names, names_3: &Names, names_4: &Names, names_5: &Names, names_6: &Names, names_7: &Names, names_8: &Names, names_9: &Names, names_10: &Names, names_11: &Names, names_12: &Names, names_13: &Names, names_14: &Names, names_15: &Names, ) -> Result<(Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self, Self), PartitionErr>

Return a tuple with each requested set of arguments if all arguments are present.

Trait Implementations§

impl Clone for NamedArgs

fn clone(&self) -> NamedArgs

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for NamedArgs

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

Formats the value using the given formatter. Read more

impl Default for NamedArgs

fn default() -> Self

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

impl<Names, Args> From<(Names, Args)> for NamedArgs
where NamedArgs: FromNamesArgs<Names, Args>,

fn from(value: (Names, Args)) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

impl Freeze for NamedArgs

impl !RefUnwindSafe for NamedArgs

impl !Send for NamedArgs

impl !Sync for NamedArgs

impl Unpin for NamedArgs

impl !UnwindSafe for NamedArgs

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> AnyArg for T
where T: 'static + Clone + Debug,

fn boxed_clone(&self) -> Box<dyn AnyArg>

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> CloneToUninit for T
where T: Clone,

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

impl<T> Collect<Zero> for T

type Collected = T

fn collect(self) -> <T as Collect<Zero>>::Collected

impl<T> Downcast for T
where T: Any,

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.

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> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

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

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

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

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.

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

fn vzip(self) -> V