Struct canrun::goals::Any

pub struct Any { /* private fields */ }

A Goal that yields a state for every successful sub-goal.

See the any! macro for a more ergonomic way to construct static Any goals.

Also implements From<Vec<Rc<dyn Goal>>> and FromIterator<Rc<dyn Goal>>/

Example

use canrun::{any, unify, LVar, Query};
use canrun::goals::{Goal, Any};
use std::rc::Rc;

let x = LVar::new();
let goals: Vec<Rc<dyn Goal>> = vec![
    Rc::new(unify(x, 1)),
    Rc::new(unify(x, 2)),
    Rc::new(unify(x, 3)),
];
let goal = Any::from(goals);
let result: Vec<_> = goal.query(x).collect();
assert_eq!(result, vec![1, 2, 3])

Trait Implementations

impl Clone for Any

fn clone(&self) -> Any

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Any

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

Formats the value using the given formatter.

impl Fork for Any

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

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

impl From<Vec<Rc<dyn Goal + 'static>, Global>> for Any

fn from(goals: Vec<Rc<dyn Goal>>) -> Self

Converts to this type from the input type.

impl FromIterator<Rc<dyn Goal + 'static>> for Any

fn from_iter<T: IntoIterator<Item = Rc<dyn Goal>>>(iter: T) -> Self

Creates a value from an iterator.

impl Goal for Any

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

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