pub struct Succeed;
A Goal that always succeeds.
Goal
use canrun::{Succeed, unify, Value, all, Query}; let x = Value::var(); let goal = all![unify(x.clone(), 1), Succeed]; let result: Vec<_> = goal.query(x).collect(); assert_eq!(result, vec![1])
Some
None
TypeId
self
Returns the argument unchanged.
Calls U::from(self).
U::from(self)
That is, this conversion is whatever the implementation of From<T> for U chooses to do.
From<T> for U
Self