Enum mini_kanren::core::stream::Stream

pub enum Stream<T> {
    Empty,
    Pair(T, Box<Stream<T>>),
    Suspension(Box<dyn FnOnce() -> Stream<T>>),
}

Possibly infinite sequence of values.

Variants

Empty

Pair(T, Box<Stream<T>>)

Suspension(Box<dyn FnOnce() -> Stream<T>>)

Implementations

impl<T> Stream<T>

pub fn empty() -> Self

Initialize an empty stream.

pub fn singleton(x: T) -> Self

Create a stream with one element.

pub fn cons(a: T, d: Self) -> Self

Prepend an element to a stream.

pub fn suspension(sup: impl 'static + FnOnce() -> Stream<T>) -> Self

Create a suspended (lazily evaluated) stream.

pub fn from_iter(mut iter: impl Iterator<Item = T>) -> Self

Create a stream with elements from an iterator.

pub fn is_empty(&self) -> bool

Return true if the stream is empty.

pub fn len(&self) -> Option<usize>

Return the number of elements in an unsuspended stream, or None if the stream contains any suspensions.

pub fn take_inf(self, n: usize) -> Stream<T>

Truncate a stream to at most n elements, resolving any suspensions.

pub fn take_inf_all(self) -> Stream<T>

Resolve all suspensions in the stream. If the stream is infinite this function will not return and may crash.

pub fn into_vec(self) -> Vec<T>

Convert Stream to Vec.

impl<T: 'static + Default> Stream<T>

pub fn append_inf(s: Stream<T>, t: Stream<T>) -> Self

pub fn append_map_inf(self, g: impl 'static + Clone + Goal<T>) -> Self

pub fn map<U: 'static>(self, f: impl 'static + Fn(T) -> U) -> Stream<U>

Trait Implementations

impl<T: Debug> Debug for Stream<T>

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

Formats the value using the given formatter.

impl<T> IntoIterator for Stream<T>

type Item = T

The type of the elements being iterated over.

type IntoIter = StreamIter<T>

Which kind of iterator are we turning this into?

pub fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T: PartialEq> PartialEq<Stream<T>> for Stream<T>

pub fn eq(&self, other: &Self) -> 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 !=.