Struct IsGroup

Source

pub struct IsGroup;

Expand description

The type forms a group: monoid with two-sided inverses.

Trait Implementations§

Source §

const NAME: &'static str = "group"

Human-readable name of the property.

Auto Trait Implementations§

§

impl Freeze for IsGroup

§

impl RefUnwindSafe for IsGroup

§

impl Send for IsGroup

§

impl Sync for IsGroup

§

impl Unpin for IsGroup

§

impl UnsafeUnpin for IsGroup

§

impl UnwindSafe for IsGroup

Blanket Implementations§

Source §

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

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

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

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

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

Source §

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

Mutably borrows from an owned value. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

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

Source §

fn into(self) -> U

Calls U::from(self).

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

Source §

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

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

IsGroup

Struct IsGroup

Trait Implementations§

impl Implies<HasLeftIdentity> for IsGroup

impl Implies<HasLeftInverse> for IsGroup

impl Implies<HasRightIdentity> for IsGroup

impl Implies<HasRightInverse> for IsGroup

impl Implies<IsAssociative> for IsGroup

impl Implies<IsGroup> for IsAbelianGroup

impl Implies<IsMonoid> for IsGroup

impl Property for IsGroup

const NAME: &'static str = "group"

Auto Trait Implementations§

impl Freeze for IsGroup

impl RefUnwindSafe for IsGroup

impl Send for IsGroup

impl Sync for IsGroup

impl Unpin for IsGroup

impl UnsafeUnpin for IsGroup

impl UnwindSafe for IsGroup

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

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

type Error = Infallible

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

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

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

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

IsGroup

Struct IsGroup Copy item path

Trait Implementations§

impl Implies<HasLeftIdentity> for IsGroup

impl Implies<HasLeftInverse> for IsGroup

impl Implies<HasRightIdentity> for IsGroup

impl Implies<HasRightInverse> for IsGroup

impl Implies<IsAssociative> for IsGroup

impl Implies<IsGroup> for IsAbelianGroup

impl Implies<IsMonoid> for IsGroup

impl Property for IsGroup

const NAME: &'static str = "group"

Auto Trait Implementations§

impl Freeze for IsGroup

impl RefUnwindSafe for IsGroup

impl Send for IsGroup

impl Sync for IsGroup

impl Unpin for IsGroup

impl UnsafeUnpin for IsGroup

impl UnwindSafe for IsGroup

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

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

type Error = Infallible

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

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

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

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

Struct IsGroup

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

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

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

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

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

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