pub struct Fail;
A Goal that always fails.
Goal
use canrun::{Fail, all, unify, LVar, Query}; let x = LVar::new(); let goal = all![unify(x, 1), Fail]; let result: Vec<_> = goal.query(x).collect(); assert_eq!(result, vec![])
source
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