Struct S 

pub struct S<N>(pub PhantomData<N>);

Type-level successor. S<N> represents N + 1.

Examples

use reflect_nat::{Z, S};
use reify_reflect_core::{Reflect, RuntimeValue};

type One = S<Z>;
type Two = S<S<Z>>;
assert_eq!(One::reflect(), RuntimeValue::Nat(1));
assert_eq!(Two::reflect(), RuntimeValue::Nat(2));

Tuple Fields

0: PhantomData<N>

Trait Implementations

impl<M, N> Add<N> for S<M>

where M: Nat + Add<N>, N: Nat, <M as Add<N>>::Result: Nat,

type Result = S<<M as Add<N>>::Result>

The resulting type-level natural.

impl<N> Clone for S<N>

where N: Clone,

fn clone(&self) -> S<N>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<N> Debug for S<N>

where N: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<N> Default for S<N>

where N: Default,

fn default() -> S<N>

Returns the “default value” for a type.

impl<M, N> Lt<S<N>> for S<M>

where M: Nat + Lt<N>, N: Nat,

const VALUE: bool

true if Self < Rhs at the type level.

impl<N> Lt<S<N>> for Z

where N: Nat,

const VALUE: bool = true

true if Self < Rhs at the type level.

impl<M> Lt<Z> for S<M>

where M: Nat,

const VALUE: bool = false

true if Self < Rhs at the type level.

impl<M, N> Mul<N> for S<M>

where M: Nat + Mul<N>, N: Nat + Add<<M as Mul<N>>::Result>, <M as Mul<N>>::Result: Nat, <N as Add<<M as Mul<N>>::Result>>::Result: Nat,

type Result = <N as Add<<M as Mul<N>>::Result>>::Result

The resulting type-level natural.

impl<N> Nat for S<N>

where N: Nat,

fn to_u64() -> u64

The runtime u64 value of this type-level natural.

impl<N> Reflect for S<N>

where N: Nat,

type Value = RuntimeValue

The runtime representation of this type-level value.

fn reflect() -> <S<N> as Reflect>::Value

Produce the runtime value corresponding to this type-level value.

impl<N> Copy for S<N>

where N: Copy,