Struct type_level_logic::types::balanced::Term

pub struct Term;

Trait Implementations

impl Default for Term

fn default() -> Term

Returns the "default value" for a type.

impl Int for Term

fn reify() -> isize

impl IntSucc for Term

type Output = Plus

impl IntPred for Term

type Output = Minus

impl IntTriple for Term

type Output = Term

impl Unique for Term

type Output = Term

impl IntNeg for Term

type Output = Term

impl IntAdd<Term> for Term

type Output = Term

impl IntAdd<Undefined> for Term

type Output = Undefined

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

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

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

type Output = Plus<N>

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

type Output = Minus<N>

impl IntSub<Term> for Term

type Output = Term

impl IntSub<Undefined> for Term

type Output = Undefined

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

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

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

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

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

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

impl IntMul<Term> for Term

type Output = Term

impl IntMul<Undefined> for Term

type Output = Undefined

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

type Output = Term

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

type Output = Term

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

type Output = Term

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

type Output = E

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

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

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

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

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

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

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

type Output = E

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

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

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

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

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

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

impl IntAbs for Term

type Output = Term

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

type Output = N

impl IntDiv<Term> for Term

type Output = Undefined

impl IntDiv<Undefined> for Term

type Output = Undefined

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

type Output = Term

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

type Output = Term

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

type Output = Term

impl IntRem<Term> for Term

type Output = Undefined

impl IntRem<Undefined> for Term

type Output = Undefined

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

type Output = Term

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

type Output = Term

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

type Output = Term

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

type Output = Int2<R, Q>