pub struct Literal<'a> {
pub negated: bool,
pub atom: Atom<'a>,
}Expand description
A literal is an atom, optionally negated (NOT ...).
Fields§
§negated: booltrue when written with a leading NOT (asserts the atom is FALSE).
atom: Atom<'a>The underlying atom being asserted true or false.
Trait Implementations§
impl<'a> Eq for Literal<'a>
Source§impl<'a> PartialEq for Literal<'a>
impl<'a> PartialEq for Literal<'a>
impl<'a> StructuralPartialEq for Literal<'a>
Auto Trait Implementations§
impl<'a> Freeze for Literal<'a>
impl<'a> RefUnwindSafe for Literal<'a>
impl<'a> Send for Literal<'a>
impl<'a> Sync for Literal<'a>
impl<'a> Unpin for Literal<'a>
impl<'a> UnsafeUnpin for Literal<'a>
impl<'a> UnwindSafe for Literal<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more