Struct WithIterator 

pub struct WithIterator<T: TypeSet> {
    pub inner: T,
}

A TypeSet wrapper that adds iterator support to the wrapped type set T.

All scalar behavior is delegated to T; this only replaces the inert NoIterator with a real SomniIterator and implements the iter_has_next / iter_next protocol.

Fields

inner: T

The inner type set.

Trait Implementations

impl<T: TypeSet> Debug for WithIterator<T>

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

Formats the value using the given formatter.

impl<T: TypeSet> Default for WithIterator<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T> LoadStore<WithIterator<T>> for SomniIterator<T>

where T: TypeSet, WithIterator<T>: TypeSet<Iterator = SomniIterator<T>>,

type Output<'s> = SomniIterator<T>

The type of the result.

fn load<'s>( _ctx: &'s WithIterator<T>, typed: &'s TypedValue<WithIterator<T>>, ) -> Option<Self::Output<'s>>

Loads a borrowed value from the given type context.

fn store(&self, _ctx: &mut WithIterator<T>) -> TypedValue<WithIterator<T>>

Stores a Rust value into a TypedValue using the given type context.

impl TypeSet for WithIterator<DefaultTypeSet>

type Parser = <DefaultTypeSet as TypeSet>::Parser

The typeset that will be used to parse source code.

type Integer = <DefaultTypeSet as TypeSet>::Integer

The type of unsigned integers in this type set.

type SignedInteger = <DefaultTypeSet as TypeSet>::SignedInteger

The type of signed integers in this type set.

type Float = <DefaultTypeSet as TypeSet>::Float

The type of floating point numbers in this type set.

type String = <DefaultTypeSet as TypeSet>::String

The type of a string in this type set.

type Iterator = SomniIterator<DefaultTypeSet>

The type of an iterator value in this type set.

fn to_signed(v: Self::Integer) -> Result<Self::SignedInteger, OperatorError>

Converts an unsigned integer into a signed integer.

fn to_usize(v: Self::Integer) -> Result<usize, OperatorError>

Converts an unsigned integer into a Rust usize.

fn int_from_usize(v: usize) -> Self::Integer

Converts the given Rust usize to an integer.

fn load_string<'s>(&'s self, str: &'s Self::String) -> &'s str

Loads a string.

fn store_string(&mut self, str: &str) -> Self::String

Stores a string.

fn iter_has_next(&self, iter: &Self::Iterator) -> bool

Returns whether the given iterator can yield another value.

fn iter_next(&self, iter: &Self::Iterator) -> Option<TypedValue<Self>>

Advances the given iterator, returning its next value, or None if the iterator is exhausted.

impl TypeSet for WithIterator<TypeSet32>

type Parser = <TypeSet32 as TypeSet>::Parser

The typeset that will be used to parse source code.

type Integer = <TypeSet32 as TypeSet>::Integer

The type of unsigned integers in this type set.

type SignedInteger = <TypeSet32 as TypeSet>::SignedInteger

The type of signed integers in this type set.

type Float = <TypeSet32 as TypeSet>::Float

The type of floating point numbers in this type set.

type String = <TypeSet32 as TypeSet>::String

The type of a string in this type set.

type Iterator = SomniIterator<TypeSet32>

The type of an iterator value in this type set.

fn to_signed(v: Self::Integer) -> Result<Self::SignedInteger, OperatorError>

Converts an unsigned integer into a signed integer.

fn to_usize(v: Self::Integer) -> Result<usize, OperatorError>

Converts an unsigned integer into a Rust usize.

fn int_from_usize(v: usize) -> Self::Integer

Converts the given Rust usize to an integer.

fn load_string<'s>(&'s self, str: &'s Self::String) -> &'s str

Loads a string.

fn store_string(&mut self, str: &str) -> Self::String

Stores a string.

fn iter_has_next(&self, iter: &Self::Iterator) -> bool

Returns whether the given iterator can yield another value.

fn iter_next(&self, iter: &Self::Iterator) -> Option<TypedValue<Self>>

Advances the given iterator, returning its next value, or None if the iterator is exhausted.

impl TypeSet for WithIterator<TypeSet128>

type Parser = <TypeSet128 as TypeSet>::Parser

The typeset that will be used to parse source code.

type Integer = <TypeSet128 as TypeSet>::Integer

The type of unsigned integers in this type set.

type SignedInteger = <TypeSet128 as TypeSet>::SignedInteger

The type of signed integers in this type set.

type Float = <TypeSet128 as TypeSet>::Float

The type of floating point numbers in this type set.

type String = <TypeSet128 as TypeSet>::String

The type of a string in this type set.

type Iterator = SomniIterator<TypeSet128>

The type of an iterator value in this type set.

fn to_signed(v: Self::Integer) -> Result<Self::SignedInteger, OperatorError>

Converts an unsigned integer into a signed integer.

fn to_usize(v: Self::Integer) -> Result<usize, OperatorError>

Converts an unsigned integer into a Rust usize.

fn int_from_usize(v: usize) -> Self::Integer

Converts the given Rust usize to an integer.

fn load_string<'s>(&'s self, str: &'s Self::String) -> &'s str

Loads a string.

fn store_string(&mut self, str: &str) -> Self::String

Stores a string.

fn iter_has_next(&self, iter: &Self::Iterator) -> bool

Returns whether the given iterator can yield another value.

fn iter_next(&self, iter: &Self::Iterator) -> Option<TypedValue<Self>>

Advances the given iterator, returning its next value, or None if the iterator is exhausted.