Struct canrun::goals::All

pub struct All { /* private fields */ }

A Goal that only succeeds if all sub-goals succeed.

See the all! macro for a more ergonomic way to construct static All goals.

Also implements From<Vec<Box<dyn Goal>>> and FromIterator<Box<dyn Goal>>.

Example

use canrun::{unify, LVar, Query};
use canrun::goals::{Goal, All};

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

Trait Implementations

impl Debug for All

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

Formats the value using the given formatter.

impl From<Vec<Box<dyn Goal + 'static, Global>, Global>> for All

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

Converts to this type from the input type.

impl FromIterator<Box<dyn Goal + 'static, Global>> for All

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

Creates a value from an iterator.

impl Goal for All

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

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