Struct type_level_logic::types::balanced::Undefined

pub struct Undefined;

Trait Implementations

impl Default for Undefined

fn default() -> Undefined

Returns the "default value" for a type.

impl Int for Undefined

fn reify() -> isize

impl IntSucc for Undefined

type Output = Undefined

impl IntPred for Undefined

type Output = Undefined

impl IntTriple for Undefined

type Output = Undefined

impl Unique for Undefined

type Output = Undefined

impl IntNeg for Undefined

type Output = Undefined

impl IntAdd<Term> for Undefined

type Output = Undefined

impl IntAdd<Undefined> for Undefined

type Output = Undefined

impl<N: Int> IntAdd<Zero<N>> for Undefined

type Output = Undefined

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

type Output = Undefined

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

type Output = Undefined

impl IntSub<Term> for Undefined

type Output = Undefined

impl IntSub<Undefined> for Undefined

type Output = Undefined

impl<N: Int> IntSub<Zero<N>> for Undefined

type Output = Undefined

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

type Output = Undefined

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

type Output = Undefined

impl IntMul<Term> for Undefined

type Output = Undefined

impl IntMul<Undefined> for Undefined

type Output = Undefined

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

type Output = Undefined

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

type Output = Undefined

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

type Output = Undefined

impl IntAbs for Undefined

type Output = Undefined

impl IntDiv<Term> for Undefined

type Output = Undefined

impl IntDiv<Undefined> for Undefined

type Output = Undefined

impl IntRem<Term> for Undefined

type Output = Undefined

impl IntRem<Undefined> for Undefined

type Output = Undefined