Struct dialectic::types::Continue

pub struct Continue<const I: usize>;

Repeat a Loop. The type-level index points to the loop to be repeated, counted from the innermost starting at 0.

Trait Implementations

impl<const I: usize> Clone for Continue<I>

fn clone(&self) -> Continue<I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const I: usize> Copy for Continue<I>

impl<const I: usize> Debug for Continue<I>

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

Formats the value using the given formatter.

impl<const I: usize> Default for Continue<I>

fn default() -> Continue<I>

Returns the “default value” for a type.

impl<const I: usize> Eq for Continue<I>

impl<const I: usize> HasDual for Continue<I>

type DualSession = Continue<I>

The dual to this session type, i.e. the session type required of the other end of the channel.

impl<const I: usize> Hash for Continue<I>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<N: Unary, M: Unary, P: Unary, Level: Unary, const I: usize, const J: usize> Lift<N, Level> for Continue<I> where
    Number<I>: ToUnary<AsUnary = M>,
    (M, N): Add<Result = P>,
    P: ToConstant<AsConstant = Number<J>>,
    (M, Level): Compare<Continue<I>, Continue<J>, Continue<J>>, 

type Lifted = <(M, Level) as Compare<Continue<I>, Continue<J>, Continue<J>>>::Result

The result of the lifting operation.

impl<const I: usize> Ord for Continue<I>

fn cmp(&self, other: &Continue<I>) -> Ordering

This method returns an Ordering between self and other.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl<const I: usize> PartialEq<Continue<I>> for Continue<I>

fn eq(&self, other: &Continue<I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<const I: usize> PartialOrd<Continue<I>> for Continue<I>

fn partial_cmp(&self, other: &Continue<I>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]pub fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]pub fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]pub fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]pub fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<N: Unary, M: Unary, const I: usize> Scoped<N> for Continue<I> where
    Number<I>: ToUnary<AsUnary = M>,
    M: LessThan<N>, 

impl<const I: usize> StructuralEq for Continue<I>

impl<const I: usize> StructuralPartialEq for Continue<I>

impl<P, N: Unary, M: Unary, const I: usize> Subst<P, N> for Continue<I> where
    Number<I>: ToUnary<AsUnary = M>,
    (N, M): Compare<Continue<I>, P, Continue<I>>,
    <(N, M) as Compare<Continue<I>, P, Continue<I>>>::Result: 'static, 

type Substituted = <(N, M) as Compare<Continue<I>, P, Continue<I>>>::Result

The result of the substitution.

impl<P, N: Unary, const I: usize> Then<P, N> for Continue<I>

type Combined = Continue<I>

The combined type resulting from substituting P for Done in Self.