type_level_logic::types::ternary

Struct Nat2

Source 
pub struct Nat2<X: Nat, Y: Nat>(/* private fields */);

Trait Implementations§

Source§

impl<X: Default + Nat, Y: Default + Nat> Default for Nat2<X, Y>

Source§

fn default() -> Nat2<X, Y>

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

impl<A: Nat, B: Nat> Nat2P1 for Nat2<A, B>

Source§

type Output = A

Source§

impl<A: Nat, B: Nat> Nat2P2 for Nat2<A, B>

Source§

type Output = B

Source§

impl<N, D: Nat, R: Nat, Q> NatDivInternal<D, Nat2<R, Q>> for One<N>
where N: NatDivInternal<D, <<<One<R> as NatSub<D>>::Output as NatSub<D>>::Output as NatUndefOr2<Two<Q>, <<One<R> as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<One<R>, <Q as NatTriple>::Output>>>::Output>>::Output> + Nat, <<One<R> as NatSub<D>>::Output as NatSub<D>>::Output: NatUndefOr2<Two<Q>, <<One<R> as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<One<R>, <Q as NatTriple>::Output>>>::Output>, <One<R> as NatSub<D>>::Output: NatSub<D> + NatUndefOr2<One<Q>, Nat2<One<R>, <Q as NatTriple>::Output>>, One<R>: NatSub<D>, Q: NatTriple + Nat,

Source§

type Output = <N as NatDivInternal<D, <<<One<R> as NatSub<D>>::Output as NatSub<D>>::Output as NatUndefOr2<Two<Q>, <<One<R> as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<One<R>, <Q as NatTriple>::Output>>>::Output>>::Output>>::Output

Source§

impl<N, D: Nat, R: Nat, Q> NatDivInternal<D, Nat2<R, Q>> for Two<N>
where N: NatDivInternal<D, <<<Two<R> as NatSub<D>>::Output as NatSub<D>>::Output as NatUndefOr2<Two<Q>, <<Two<R> as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<Two<R>, <Q as NatTriple>::Output>>>::Output>>::Output> + Nat, <<Two<R> as NatSub<D>>::Output as NatSub<D>>::Output: NatUndefOr2<Two<Q>, <<Two<R> as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<Two<R>, <Q as NatTriple>::Output>>>::Output>, <Two<R> as NatSub<D>>::Output: NatSub<D> + NatUndefOr2<One<Q>, Nat2<Two<R>, <Q as NatTriple>::Output>>, Two<R>: NatSub<D>, Q: NatTriple + Nat,

Source§

type Output = <N as NatDivInternal<D, <<<Two<R> as NatSub<D>>::Output as NatSub<D>>::Output as NatUndefOr2<Two<Q>, <<Two<R> as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<Two<R>, <Q as NatTriple>::Output>>>::Output>>::Output>>::Output

Source§

impl<N, D: Nat, R, Q> NatDivInternal<D, Nat2<R, Q>> for Zero<N>
where N: NatDivInternal<D, <<<<R as NatTriple>::Output as NatSub<D>>::Output as NatSub<D>>::Output as NatUndefOr2<Two<Q>, <<<R as NatTriple>::Output as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<<R as NatTriple>::Output, <Q as NatTriple>::Output>>>::Output>>::Output> + Nat, <<<R as NatTriple>::Output as NatSub<D>>::Output as NatSub<D>>::Output: NatUndefOr2<Two<Q>, <<<R as NatTriple>::Output as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<<R as NatTriple>::Output, <Q as NatTriple>::Output>>>::Output>, <<R as NatTriple>::Output as NatSub<D>>::Output: NatSub<D> + NatUndefOr2<One<Q>, Nat2<<R as NatTriple>::Output, <Q as NatTriple>::Output>>, <R as NatTriple>::Output: NatSub<D>, R: NatTriple + Nat, Q: NatTriple + Nat,

Source§

type Output = <N as NatDivInternal<D, <<<<R as NatTriple>::Output as NatSub<D>>::Output as NatSub<D>>::Output as NatUndefOr2<Two<Q>, <<<R as NatTriple>::Output as NatSub<D>>::Output as NatUndefOr2<One<Q>, Nat2<<R as NatTriple>::Output, <Q as NatTriple>::Output>>>::Output>>::Output>>::Output

Source§

impl<X: Nat, Y: Nat> NatPair for Nat2<X, Y>

Source§

fn reify() -> (usize, usize)

Auto Trait Implementations§

§

impl<X, Y> Freeze for Nat2<X, Y>

§

impl<X, Y> RefUnwindSafe for Nat2<X, Y>
where X: RefUnwindSafe, Y: RefUnwindSafe,

§

impl<X, Y> Send for Nat2<X, Y>
where X: Send, Y: Send,

§

impl<X, Y> Sync for Nat2<X, Y>
where X: Sync, Y: Sync,

§

impl<X, Y> Unpin for Nat2<X, Y>
where X: Unpin, Y: Unpin,

§

impl<X, Y> UnwindSafe for Nat2<X, Y>
where X: UnwindSafe, Y: UnwindSafe,

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<U> 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<U> 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<U>>::Error>

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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