Struct canrun::goals::Either

pub struct Either { /* private fields */ }

A Goal that succeeds if either sub-goal succeed. Create with either.

Trait Implementations

impl Clone for Either

fn clone(&self) -> Either

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Either

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

Formats the value using the given formatter.

impl Fork for Either

fn fork(&self, state: &State) -> StateIter

Given a State, return an iterator of states that result from the fork operation.

impl Goal for Either

fn apply(&self, state: State) -> Option<State>

Apply the Goal to a state, returning Some if the state is still valid, or None.