Trait plexus::constant::ToType

pub trait ToType {
    type Output;
}

Required Associated Types

type Output

Implementors

impl ToType for Constant<{ typenum::U0::USIZE }>

type Output = UTerm

impl ToType for Constant<{ typenum::U1::USIZE }>

type Output = UInt<UTerm, B1>

impl ToType for Constant<{ typenum::U2::USIZE }>

type Output = UInt<UInt<UTerm, B1>, B0>

impl ToType for Constant<{ typenum::U3::USIZE }>

type Output = UInt<UInt<UTerm, B1>, B1>

impl ToType for Constant<{ typenum::U4::USIZE }>

type Output = UInt<UInt<UInt<UTerm, B1>, B0>, B0>

impl ToType for Constant<{ typenum::U5::USIZE }>

type Output = UInt<UInt<UInt<UTerm, B1>, B0>, B1>

impl ToType for Constant<{ typenum::U6::USIZE }>

type Output = UInt<UInt<UInt<UTerm, B1>, B1>, B0>

impl ToType for Constant<{ typenum::U7::USIZE }>

type Output = UInt<UInt<UInt<UTerm, B1>, B1>, B1>

impl ToType for Constant<{ typenum::U8::USIZE }>

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>

impl ToType for Constant<{ typenum::U9::USIZE }>

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>

impl ToType for Constant<{ typenum::U10::USIZE }>

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>

impl ToType for Constant<{ typenum::U11::USIZE }>

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>

impl ToType for Constant<{ typenum::U12::USIZE }>

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>

impl ToType for Constant<{ typenum::U13::USIZE }>

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>

impl ToType for Constant<{ typenum::U14::USIZE }>

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>

impl ToType for Constant<{ typenum::U15::USIZE }>

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>

impl ToType for Constant<{ typenum::U16::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>

impl ToType for Constant<{ typenum::U17::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>

impl ToType for Constant<{ typenum::U18::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>

impl ToType for Constant<{ typenum::U19::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>

impl ToType for Constant<{ typenum::U21::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>

impl ToType for Constant<{ typenum::U22::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>

impl ToType for Constant<{ typenum::U23::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>

impl ToType for Constant<{ typenum::U24::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>

impl ToType for Constant<{ typenum::U25::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>

impl ToType for Constant<{ typenum::U26::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>

impl ToType for Constant<{ typenum::U27::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>

impl ToType for Constant<{ typenum::U28::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>

impl ToType for Constant<{ typenum::U29::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>

impl ToType for Constant<{ typenum::U30::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>

impl ToType for Constant<{ typenum::U31::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>

impl ToType for Constant<{ typenum::U32::USIZE }>

type Output = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>