Struct DomainSpec 

pub struct DomainSpec { /* private fields */ }

An open logical-domain declaration.

Implementations

impl DomainSpec

pub fn new( id: DomainId, storage: StorageRepr, shape: Ref, traits: impl IntoIterator<Item = DomainTrait>, ) -> Result<Self, DomainError>

Constructs and validates a domain declaration.

pub fn id(&self) -> &DomainId

Returns the domain id.

pub const fn storage(&self) -> StorageRepr

Returns its physical storage representation.

pub const fn shape(&self) -> &Ref

Returns its unresolved Shape reference.

pub fn traits(&self) -> &[DomainTrait]

Returns its normalized semantic traits.

Trait Implementations

impl Clone for DomainSpec

fn clone(&self) -> DomainSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DomainSpec

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

Formats the value using the given formatter.

impl Eq for DomainSpec

impl PartialEq for DomainSpec

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DomainSpec

impl ToRelationDatum for DomainSpec

fn to_datum(&self) -> Datum

Returns the record’s single fixed Datum::Node projection.

fn card_datum(&self) -> Datum

Returns the same ordinary-data projection for Card consumers.

fn lisp_datum(&self) -> Datum

Returns the same ordinary-data projection for Lisp codecs.