pub struct FormalConstraint { /* private fields */ }
Implementations§
Source§impl FormalConstraint
impl FormalConstraint
pub fn new<V>(body: V) -> Selfwhere
V: Into<ConstraintSentence>,
pub fn with_definition<I>(self, definition: FunctionDef) -> Self
pub fn with_environment(self, environment: Vec<FunctionDef>) -> Self
pub fn has_definitions(&self) -> bool
pub fn definitions_len(&self) -> usize
pub fn definitions(&self) -> impl Iterator<Item = &FunctionDef>
pub fn definitions_mut(&mut self) -> impl Iterator<Item = &mut FunctionDef>
pub fn add_to_definitions<I>(&mut self, value: I)where
I: Into<FunctionDef>,
pub fn extend_definitions<I>(&mut self, extension: I)where
I: IntoIterator<Item = FunctionDef>,
Trait Implementations§
Source§impl Clone for FormalConstraint
impl Clone for FormalConstraint
Source§fn clone(&self) -> FormalConstraint
fn clone(&self) -> FormalConstraint
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 moreSource§impl Debug for FormalConstraint
impl Debug for FormalConstraint
Source§impl<'de> Deserialize<'de> for FormalConstraint
impl<'de> Deserialize<'de> for FormalConstraint
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl From<&FormalConstraint> for ConstraintBody
impl From<&FormalConstraint> for ConstraintBody
Source§fn from(v: &FormalConstraint) -> Self
fn from(v: &FormalConstraint) -> Self
Converts to this type from the input type.
Source§impl From<FormalConstraint> for ConstraintBody
impl From<FormalConstraint> for ConstraintBody
Source§fn from(v: FormalConstraint) -> Self
fn from(v: FormalConstraint) -> Self
Converts to this type from the input type.
Source§impl HasBody for FormalConstraint
impl HasBody for FormalConstraint
Source§impl HasSourceSpan for FormalConstraint
impl HasSourceSpan for FormalConstraint
fn with_source_span(self, span: Span) -> Self
fn source_span(&self) -> Option<&Span>
fn set_source_span(&mut self, span: Span)
fn unset_source_span(&mut self)
fn has_source_span(&self) -> bool
Source§impl References for FormalConstraint
impl References for FormalConstraint
fn referenced_types<'a>(&'a self, names: &mut BTreeSet<&'a IdentifierReference>)
fn referenced_annotations<'a>( &'a self, names: &mut BTreeSet<&'a IdentifierReference>, )
Source§impl Serialize for FormalConstraint
impl Serialize for FormalConstraint
Source§impl Validate for FormalConstraint
impl Validate for FormalConstraint
fn validate( &self, _top: &Module, _cache: &impl ModuleStore, _loader: &impl ModuleLoader, _check_constraints: bool, )
Auto Trait Implementations§
impl Freeze for FormalConstraint
impl RefUnwindSafe for FormalConstraint
impl Send for FormalConstraint
impl Sync for FormalConstraint
impl Unpin for FormalConstraint
impl UnwindSafe for FormalConstraint
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