Struct path_semantics_std::Id

pub struct Id<T, I = ()> { /* fields omitted */ }

Trait Implementations

impl<T, I, I2> Constrain<I2> for Id<T, I>

type Lift = Id<T, I2>

fn i_force(&self, i: I2) -> Self::Lift

Override input constraint even when existential path does not exist.

fn i(&self, i: I) -> Self::Lift where
    Self::Lift: ExPath, 

Constrains input but only if an existential path is supported for the constraint.

impl<T> ExPath for Id<T>

type Lift = ()

fn ex_path(&self)

impl ExPath for Id<bool, Not>

type Lift = Not

fn ex_path(&self) -> Not

impl<T, I: TrickDisplay + 'static> Display for Id<T, I>

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T: Copy, I: Copy> Copy for Id<T, I>

impl<T: Clone, I: Clone> Clone for Id<T, I>

fn clone(&self) -> Id<T, I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Default, I: Default> Default for Id<T, I>

fn default() -> Id<T, I>

Returns the "default value" for a type.

impl<T: Debug, I: Debug> Debug for Id<T, I>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T: PartialEq, I: PartialEq> PartialEq for Id<T, I>

fn eq(&self, __arg_0: &Id<T, I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Id<T, I>) -> bool

This method tests for !=.