Enum Sort 

pub enum Sort<Identifier = Identifier> {
    Simple {
        identifier: Identifier,
    },
    Parameterized {
        identifier: Identifier,
        parameters: Vec<Self>,
    },
}

Concrete syntax for a sort.

Variants

Simple

Fields

identifier: Identifier

Parameterized

Fields

identifier: Identifier

parameters: Vec<Self>

Implementations

impl Sort

pub fn accept<V, T, S, E>(self, visitor: &mut V) -> Result<T, E>

where V: SortVisitor<S, T = T, E = E> + SymbolVisitor<T = S, E = E>,

Visit a concrete sort.

Trait Implementations

impl<Identifier: Clone> Clone for Sort<Identifier>

fn clone(&self) -> Sort<Identifier>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Identifier: Debug> Debug for Sort<Identifier>

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

Formats the value using the given formatter.

impl<'de, Identifier> Deserialize<'de> for Sort<Identifier>

where Identifier: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Identifier> Display for Sort<Identifier>

where Identifier: Display,

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

Formats the value using the given formatter.

impl<Identifier: Hash> Hash for Sort<Identifier>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<Identifier: PartialEq> PartialEq for Sort<Identifier>

fn eq(&self, other: &Sort<Identifier>) -> 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<Identifier> Serialize for Sort<Identifier>

where Identifier: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Identifier: Eq> Eq for Sort<Identifier>

impl<Identifier> StructuralPartialEq for Sort<Identifier>