pub enum DefaultVal {
FreshId,
Fail,
Const(Value),
}Expand description
How defaults are computed for the given function.
Variants§
FreshId
Generate a fresh UF id.
Fail
Cause an egglog-level panic if a lookup fails.
Const(Value)
Insert a constant of some kind.
Trait Implementations§
Source§impl Clone for DefaultVal
impl Clone for DefaultVal
Source§fn clone(&self) -> DefaultVal
fn clone(&self) -> DefaultVal
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for DefaultVal
Auto Trait Implementations§
impl Freeze for DefaultVal
impl RefUnwindSafe for DefaultVal
impl Send for DefaultVal
impl Sync for DefaultVal
impl Unpin for DefaultVal
impl UnwindSafe for DefaultVal
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