type_level_logic::types::balanced

Struct Term

Source 
pub struct Term;

Trait Implementations§

Source§

impl Default for Term

Source§

fn default() -> Term

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

impl Int for Term

Source§

fn reify() -> isize

Source§

impl IntAbs for Term

Source§

type Output = Term

Source§

impl<N: Int> IntAdd<Minus<N>> for Term

Source§

type Output = Minus<N>

Source§

impl<N: Int> IntAdd<Plus<N>> for Term

Source§

type Output = Plus<N>

Source§

impl<N: Int> IntAdd<Term> for Minus<N>

Source§

type Output = Minus<N>

Source§

impl<N: Int> IntAdd<Term> for Plus<N>

Source§

type Output = Plus<N>

Source§

impl IntAdd<Term> for Term

Source§

type Output = Term

Source§

impl IntAdd<Term> for Undefined

Source§

type Output = Undefined

Source§

impl<N: Int> IntAdd<Term> for Zero<N>
where Zero<N>: Unique,

Source§

type Output = <Zero<N> as Unique>::Output

Source§

impl IntAdd<Undefined> for Term

Source§

type Output = Undefined

Source§

impl<N: Int> IntAdd<Zero<N>> for Term
where Zero<N>: Unique,

Source§

type Output = <Zero<N> as Unique>::Output

Source§

impl<N: Int, L: Int, E: Int, G: Int> IntCmp<Minus<N>, L, E, G> for Term
where Term: IntCmp<N, L, G, G>,

Source§

type Output = <Term as IntCmp<N, L, G, G>>::Output

Source§

impl<N: Int, L: Int, E: Int, G: Int> IntCmp<Plus<N>, L, E, G> for Term
where Term: IntCmp<N, L, L, G>,

Source§

type Output = <Term as IntCmp<N, L, L, G>>::Output

Source§

impl<N, L: Int, E: Int, G: Int> IntCmp<Term, L, E, G> for Minus<N>
where N: IntCmp<Term, L, L, G> + Int,

Source§

type Output = <N as IntCmp<Term, L, L, G>>::Output

Source§

impl<N, L: Int, E: Int, G: Int> IntCmp<Term, L, E, G> for Plus<N>
where N: IntCmp<Term, L, G, G> + Int,

Source§

type Output = <N as IntCmp<Term, L, G, G>>::Output

Source§

impl<L: Int, E: Int, G: Int> IntCmp<Term, L, E, G> for Term

Source§

type Output = E

Source§

impl<N, L: Int, E: Int, G: Int> IntCmp<Term, L, E, G> for Zero<N>
where N: IntCmp<Term, L, E, G> + Int,

Source§

type Output = <N as IntCmp<Term, L, E, G>>::Output

Source§

impl<N: Int, L: Int, E: Int, G: Int> IntCmp<Zero<N>, L, E, G> for Term
where Term: IntCmp<N, L, E, G>,

Source§

type Output = <Term as IntCmp<N, L, E, G>>::Output

Source§

impl<N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Minus<N>, L, E, G> for Term
where Term: IntCmp2<N, L, G, G>,

Source§

type Output = <Term as IntCmp2<N, L, G, G>>::Output

Source§

impl<N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Plus<N>, L, E, G> for Term
where Term: IntCmp2<N, L, L, G>,

Source§

type Output = <Term as IntCmp2<N, L, L, G>>::Output

Source§

impl<N, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Term, L, E, G> for Minus<N>
where N: IntCmp2<Term, L, L, G> + Int,

Source§

type Output = <N as IntCmp2<Term, L, L, G>>::Output

Source§

impl<N, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Term, L, E, G> for Plus<N>
where N: IntCmp2<Term, L, G, G> + Int,

Source§

type Output = <N as IntCmp2<Term, L, G, G>>::Output

Source§

impl<L: IntPair, E: IntPair, G: IntPair> IntCmp2<Term, L, E, G> for Term

Source§

type Output = E

Source§

impl<N, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Term, L, E, G> for Zero<N>
where N: IntCmp2<Term, L, E, G> + Int,

Source§

type Output = <N as IntCmp2<Term, L, E, G>>::Output

Source§

impl<N: Int, L: IntPair, E: IntPair, G: IntPair> IntCmp2<Zero<N>, L, E, G> for Term
where Term: IntCmp2<N, L, E, G>,

Source§

type Output = <Term as IntCmp2<N, L, E, G>>::Output

Source§

impl<D: Int> IntDiv<Minus<D>> for Term

Source§

type Output = Term

Source§

impl<D: Int> IntDiv<Plus<D>> for Term

Source§

type Output = Term

Source§

impl IntDiv<Term> for Term

Source§

type Output = Undefined

Source§

impl IntDiv<Term> for Undefined

Source§

type Output = Undefined

Source§

impl IntDiv<Undefined> for Term

Source§

type Output = Undefined

Source§

impl<D: Int> IntDiv<Zero<D>> for Term

Source§

type Output = Term

Source§

impl<D: Int, R: Int, Q: Int> IntDivInternal<D, Int2<R, Q>> for Term

Source§

type Output = Int2<R, Q>

Source§

impl<N: Int> IntMul<Minus<N>> for Term

Source§

type Output = Term

Source§

impl<N: Int> IntMul<Plus<N>> for Term

Source§

type Output = Term

Source§

impl<N: Int> IntMul<Term> for Minus<N>

Source§

type Output = Term

Source§

impl<N: Int> IntMul<Term> for Plus<N>

Source§

type Output = Term

Source§

impl IntMul<Term> for Term

Source§

type Output = Term

Source§

impl IntMul<Term> for Undefined

Source§

type Output = Undefined

Source§

impl<N: Int> IntMul<Term> for Zero<N>

Source§

type Output = Term

Source§

impl IntMul<Undefined> for Term

Source§

type Output = Undefined

Source§

impl<N: Int> IntMul<Zero<N>> for Term

Source§

type Output = Term

Source§

impl IntNeg for Term

Source§

type Output = Term

Source§

impl IntPred for Term

Source§

type Output = Minus

Source§

impl<D: Int> IntRem<Minus<D>> for Term

Source§

type Output = Term

Source§

impl<D: Int> IntRem<Plus<D>> for Term

Source§

type Output = Term

Source§

impl IntRem<Term> for Term

Source§

type Output = Undefined

Source§

impl IntRem<Term> for Undefined

Source§

type Output = Undefined

Source§

impl IntRem<Undefined> for Term

Source§

type Output = Undefined

Source§

impl<D: Int> IntRem<Zero<D>> for Term

Source§

type Output = Term

Source§

impl<N: Int> IntRevInternal<N> for Term

Source§

type Output = N

Source§

impl<N> IntSub<Minus<N>> for Term
where N: IntNeg + Int,

Source§

type Output = Plus<<N as IntNeg>::Output>

Source§

impl<N> IntSub<Plus<N>> for Term
where N: IntNeg + Int,

Source§

type Output = Minus<<N as IntNeg>::Output>

Source§

impl<N: Int> IntSub<Term> for Minus<N>

Source§

type Output = Minus<N>

Source§

impl<N: Int> IntSub<Term> for Plus<N>

Source§

type Output = Plus<N>

Source§

impl IntSub<Term> for Term

Source§

type Output = Term

Source§

impl IntSub<Term> for Undefined

Source§

type Output = Undefined

Source§

impl<N: Int> IntSub<Term> for Zero<N>
where Zero<N>: Unique,

Source§

type Output = <Zero<N> as Unique>::Output

Source§

impl IntSub<Undefined> for Term

Source§

type Output = Undefined

Source§

impl<N: Int> IntSub<Zero<N>> for Term
where Zero<N>: IntNeg,

Source§

type Output = <Zero<N> as IntNeg>::Output

Source§

impl IntSucc for Term

Source§

type Output = Plus

Source§

impl IntTriple for Term

Source§

type Output = Term

Source§

impl Unique for Term

Source§

type Output = Term

Auto Trait Implementations§

§

impl Freeze for Term

§

impl RefUnwindSafe for Term

§

impl Send for Term

§

impl Sync for Term

§

impl Unpin for Term

§

impl UnwindSafe for Term

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<X, Y, Z, A, B, C> IntAbsMinThreeCmp<Y, Z, A, B, C> for X
where X: Int + IntAbs, Y: Int + IntAbs, Z: Int + IntAbs, A: Int, B: Int, C: Int, <Y as IntAbs>::Output: IntLteCmp2<<Z as IntAbs>::Output, <<X as IntAbs>::Output as IntLteCmp2<<Y as IntAbs>::Output, Int2<X, A>, Int2<Y, B>>>::Output, <<X as IntAbs>::Output as IntLteCmp2<<Z as IntAbs>::Output, Int2<X, A>, Int2<Z, C>>>::Output>, <X as IntAbs>::Output: IntLteCmp2<<Y as IntAbs>::Output, Int2<X, A>, Int2<Y, B>> + IntLteCmp2<<Z as IntAbs>::Output, Int2<X, A>, Int2<Z, C>>,

Source§

type Output = <<Y as IntAbs>::Output as IntLteCmp2<<Z as IntAbs>::Output, <<X as IntAbs>::Output as IntLteCmp2<<Y as IntAbs>::Output, Int2<X, A>, Int2<Y, B>>>::Output, <<X as IntAbs>::Output as IntLteCmp2<<Z as IntAbs>::Output, Int2<X, A>, Int2<Z, C>>>::Output>>::Output

Source§

impl<X, Y, LE, G> IntLteCmp<Y, LE, G> for X
where X: Int + IntCmp<Y, LE, LE, G>, Y: Int, LE: Int, G: Int,

Source§

type Output = <X as IntCmp<Y, LE, LE, G>>::Output

Source§

impl<X, Y, LE, G> IntLteCmp2<Y, LE, G> for X
where X: Int + IntCmp2<Y, LE, LE, G>, Y: Int, LE: IntPair, G: IntPair,

Source§

type Output = <X as IntCmp2<Y, LE, LE, G>>::Output

Source§

impl<N> IntRev for N
where N: Int + IntRevInternal<Term>,

Source§

type Output = <N as IntRevInternal<Term>>::Output

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,