Struct erg_type::RefinementType
source · [−]Expand description
e.g.
{I: Int | I >= 0}
{_: StrWithLen N | N >= 0}
{T: (Int, Int) | T.0 >= 0, T.1 >= 0}
Fields
var: Str
t: Box<Type>
preds: Set<Predicate>
Implementations
Trait Implementations
sourceimpl Clone for RefinementType
impl Clone for RefinementType
sourcefn clone(&self) -> RefinementType
fn clone(&self) -> RefinementType
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for RefinementType
impl Debug for RefinementType
sourceimpl Display for RefinementType
impl Display for RefinementType
sourceimpl Hash for RefinementType
impl Hash for RefinementType
sourceimpl LimitedDisplay for RefinementType
impl LimitedDisplay for RefinementType
fn limited_fmt(&self, f: &mut Formatter<'_>, limit: usize) -> Result
sourceimpl PartialEq<RefinementType> for RefinementType
impl PartialEq<RefinementType> for RefinementType
sourcefn eq(&self, other: &RefinementType) -> bool
fn eq(&self, other: &RefinementType) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
impl Eq for RefinementType
impl StructuralEq for RefinementType
impl StructuralPartialEq for RefinementType
Auto Trait Implementations
impl !RefUnwindSafe for RefinementType
impl !Send for RefinementType
impl !Sync for RefinementType
impl Unpin for RefinementType
impl !UnwindSafe for RefinementType
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more