Struct fixed::types::extra::If

source · [−]

pub struct If<const CONDITION: bool>;

Expand description

Used for constraints conditional on a bool.

Examples

#![feature(generic_const_exprs)]

use fixed::types::extra::{If, True};
fn foo<const U: u32>()
where
    If<{ U > 0 }>: True,
{
    assert!(U > 0);
}

foo::<1>();

This would fail to compile because the constraint is not met:

#![feature(generic_const_exprs)]

use fixed::types::extra::{If, True};
fn foo<const U: u32>()
where
    If<{ U > 0 }>: True,
{
    assert!(U > 0);
}

foo::<0>();

Trait Implementations

impl True for If<true>

Auto Trait Implementations

impl<const CONDITION: bool> RefUnwindSafe for If<CONDITION>

impl<const CONDITION: bool> Send for If<CONDITION>

impl<const CONDITION: bool> Sync for If<CONDITION>

impl<const CONDITION: bool> Unpin for If<CONDITION>

impl<const CONDITION: bool> UnwindSafe for If<CONDITION>

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Az for T

pub fn az<Dst>(self) -> Dst where
T: Cast<Dst>,

Casts the value.

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

const: unstable · source

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

const: unstable · source

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

Mutably borrows from an owned value. Read more

impl<Src, Dst> CastFrom<Src> for Dst where
Src: Cast<Dst>,

pub fn cast_from(src: Src) -> Dst

Casts the value.

impl<T> CheckedAs for T

pub fn checked_as<Dst>(self) -> Option<Dst> where
T: CheckedCast<Dst>,

Casts the value.

impl<Src, Dst> CheckedCastFrom<Src> for Dst where
Src: CheckedCast<Dst>,

pub fn checked_cast_from(src: Src) -> Option<Dst>

Casts the value.

impl<T> From<T> for T

const: unstable · source

pub fn from(t: T) -> T

Returns the argument unchanged.

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

const: unstable · source

pub 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<Src, Dst> LosslessTryInto<Dst> for Src where
Dst: LosslessTryFrom<Src>,

fn lossless_try_into(self) -> Option<Dst>

Performs the conversion.

impl<Src, Dst> LossyInto<Dst> for Src where
Dst: LossyFrom<Src>,

fn lossy_into(self) -> Dst

Performs the conversion.

impl<T> OverflowingAs for T

pub fn overflowing_as<Dst>(self) -> (Dst, bool ) where
T: OverflowingCast<Dst>,

Casts the value.

impl<Src, Dst> OverflowingCastFrom<Src> for Dst where
Src: OverflowingCast<Dst>,

pub fn overflowing_cast_from(src: Src) -> (Dst, bool )

OverflowingCasts the value.

impl<T> SaturatingAs for T

pub fn saturating_as<Dst>(self) -> Dst where
T: SaturatingCast<Dst>,

Casts the value.

impl<Src, Dst> SaturatingCastFrom<Src> for Dst where
Src: SaturatingCast<Dst>,

pub fn saturating_cast_from(src: Src) -> Dst

Casts the value.

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

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

pub 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.

const: unstable · source

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

Performs the conversion.

impl<T> UnwrappedAs for T

pub fn unwrapped_as<Dst>(self) -> Dst where
T: UnwrappedCast<Dst>,

Casts the value.

impl<Src, Dst> UnwrappedCastFrom<Src> for Dst where
Src: UnwrappedCast<Dst>,

pub fn unwrapped_cast_from(src: Src) -> Dst

UnwrappedCasts the value.

impl<T> WrappingAs for T

pub fn wrapping_as<Dst>(self) -> Dst where
T: WrappingCast<Dst>,

Casts the value.

impl<Src, Dst> WrappingCastFrom<Src> for Dst where
Src: WrappingCast<Dst>,

pub fn wrapping_cast_from(src: Src) -> Dst

WrappingCasts the value.