Struct core_extensions::type_level_bool::True

pub struct True;

Represents a type-level true

Trait Implementations

impl Not for True

type Output = False

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<B> BitAnd<B> for True

type Output = B

The resulting type after applying the & operator.

fn bitand(self, v: B) -> Self::Output

Performs the & operation.

impl<B> BitOr<B> for True

type Output = True

The resulting type after applying the | operator.

fn bitor(self, _: B) -> Self::Output

Performs the | operation.

impl<B: Boolean> BitXor<B> for True

type Output = B::Not

The resulting type after applying the ^ operator.

fn bitxor(self, _: B) -> Self::Output

Performs the ^ operation.

impl Debug for True

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

Formats the value using the given formatter.

impl Copy for True

impl Clone for True

fn clone(&self) -> True

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for True

fn default() -> True

Returns the "default value" for a type.

impl MarkerType for True

const MTVAL: Self

MTVAL: Self = { unsafe { __Uninit::<Self>{uninit: (),}.value } }

The value of Self.

Important traits for &'a mut R

impl<'a, R> Read for &'a mut R where
    R: Read + ?Sized, impl<'a, W> Write for &'a mut W where
    W: Write + ?Sized, impl<'a, I> Iterator for &'a mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn markertype_ref<'a>() -> &'a Self where     Self: 'a,

Constructs a reference to Self, this is possible because all references to zero sized types are valid.

fn markertype_val() -> Self

Constructs Self,this is possible because Self implements MarkerType.

impl Boolean for True

type Not = False

The negation of this type.

const VALUE: bool

VALUE: bool = true

The bool value of this type

fn if_true<U, F: FnOnce() -> U>(f: F) -> Option<U>

If Self==True,runs the closure and returns Some , otherwise returns None.

fn if_false<U, F: FnOnce() -> U>(_: F) -> Option<U>

If Self==False,runs the closure and returns Some , otherwise returns None.