Enum Stream 

pub enum Stream<U: User, E: Engine<U>> {
    Empty,
    Unit(Box<State<U, E>>),
    Lazy(LazyStream<U, E>),
    Cons(Box<State<U, E>>, LazyStream<U, E>),
}

Variants

Empty

Unit(Box<State<U, E>>)

Lazy(LazyStream<U, E>)

Cons(Box<State<U, E>>, LazyStream<U, E>)

Implementations

impl<U: User, E: Engine<U>> Stream<U, E>

pub fn is_empty(&self) -> bool

pub fn unit(u: Box<State<U, E>>) -> Stream<U, E>

pub fn empty() -> Stream<U, E>

pub fn cons(a: Box<State<U, E>>, lazy: LazyStream<U, E>) -> Stream<U, E>

pub fn lazy(lazy: LazyStream<U, E>) -> Stream<U, E>

pub fn mplus(stream: Stream<U, E>, lazy: LazyStream<U, E>) -> Stream<U, E>

pub fn bind(stream: Stream<U, E>, goal: Goal<U, E>) -> Stream<U, E>

pub fn lazy_mplus( lazy: LazyStream<U, E>, lazy_hat: LazyStream<U, E>, ) -> Stream<U, E>

pub fn pause(state: Box<State<U, E>>, goal: Goal<U, E>) -> Stream<U, E>

pub fn mplus_dfs(stream: Stream<U, E>, lazy: LazyStream<U, E>) -> Stream<U, E>

pub fn bind_dfs(stream: Stream<U, E>, goal: DFSGoal<U, E>) -> Stream<U, E>

pub fn lazy_bind(lazy: LazyStream<U, E>, goal: Goal<U, E>) -> Stream<U, E>

pub fn lazy_mplus_dfs( lazy: LazyStream<U, E>, lazy_hat: LazyStream<U, E>, ) -> Stream<U, E>

pub fn lazy_bind_dfs( lazy: LazyStream<U, E>, goal: DFSGoal<U, E>, ) -> Stream<U, E>

pub fn pause_dfs(state: Box<State<U, E>>, goal: DFSGoal<U, E>) -> Stream<U, E>

pub fn delay(stream: Stream<U, E>) -> Stream<U, E>

pub fn iterator(iter: Box<dyn StreamIterator<U, E>>) -> Stream<U, E>

pub fn is_mature(&self) -> bool

pub fn head(&self) -> Option<&Box<State<U, E>>>

pub fn walk<'a>(&'a self) -> StreamWalker<'a, U, E>

Trait Implementations

impl<U, E: Engine<U>> Clone for Stream<U, E>

where U: User,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<U, E: Engine<U>> Debug for Stream<U, E>

where U: User,

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

Formats the value using the given formatter.