Struct DomainConstraintsDef 

pub struct DomainConstraintsDef(/* private fields */);

A domain constraints definition; wraps a ConGD.

Requirements

Requires Constraints.

Usage

Used by Domain.

Implementations

impl DomainConstraintsDef

pub const fn new(gd: ConGD) -> Self

pub const fn value(&self) -> &ConGD

Gets the value.

Methods from Deref<Target = ConGD>

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for DomainConstraintsDef

fn clone(&self) -> DomainConstraintsDef

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DomainConstraintsDef

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DomainConstraintsDef

fn default() -> DomainConstraintsDef

Returns the “default value” for a type.

impl From<ConGD> for DomainConstraintsDef

fn from(value: ConGD) -> Self

Converts to this type from the input type.

impl From<DomainConstraintsDef> for ConGD

fn from(val: DomainConstraintsDef) -> Self

Converts to this type from the input type.

impl Parser for DomainConstraintsDef

Available on crate feature parser only.

fn parse<'a, S: Into<Span<'a>>>(input: S) -> ParseResult<'a, Self::Item>

See parse_domain_constraints_def.

type Item = DomainConstraintsDef

fn parse_span(input: Span<'_>) -> ParseResult<'_, Self::Item>

Parses the input into the specified Item type.

fn from_str(input: &str) -> Result<Self::Item, Err<ParseError<'_>>>

Uses the Parser::parse method to parse the input and, if successful, discards the unparsed remaining input.

impl PartialEq<ConGD> for DomainConstraintsDef

fn eq(&self, other: &ConGD) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialEq for DomainConstraintsDef

fn eq(&self, other: &DomainConstraintsDef) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Deref for DomainConstraintsDef

type Target = ConGD

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl StructuralPartialEq for DomainConstraintsDef