Struct prop::nat::S

pub struct S<T>(pub T);

Successor.

Tuple Fields

0: T

Trait Implementations

impl<T: Clone> Clone for S<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Nat> Dec for S<T>

type Out = T

The output type.

impl<T: Default> Default for S<T>

fn default() -> Self

Returns the “default value” for a type.

impl<X: HLev> HLev for S<X>

type Out<A: Prop, B: Prop> = ((Rc<dyn Fn(Qubit<X, A>) -> Qubit<X, B>>, Rc<dyn Fn(Qubit<X, B>) -> Qubit<X, A>>), <X as HLev>::Out<A, B>)

The output type.

impl<A, B, C, D> Lookup<S<S<S<Z>>>> for (A, B, C, D)

type Out = D

The output type.

impl<A, B, C, D> Lookup<S<S<Z>>> for (A, B, C, D)

type Out = C

The output type.

impl<A, B, C, D> Lookup<S<Z>> for (A, B, C, D)

type Out = B

The output type.

impl<N: Nat> QuHLev for S<N>

type Out<A: Prop> = Qubit<N, A>

The resulting type.

impl<T: Copy> Copy for S<T>

impl<T> Lt<S<S<T>>> for S<T>

impl<T> Lt<S<T>> for Z