Struct gluon_base::types::Skolem

pub struct Skolem<Id> {
    pub name: Id,
    pub id: u32,
    pub kind: ArcKind,
}

Fields

name: Id

id: u32

kind: ArcKind

Trait Implementations

impl<'ast, Id> AstClone<'ast, Id> for Skolem<Id>

where Id: AstClone<'ast, Id> + Clone,

fn ast_clone(&self, arena: ArenaRef<'_, 'ast, Id>) -> Self

impl<Id: Clone> Clone for Skolem<Id>

fn clone(&self) -> Skolem<Id>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for Skolem<Id>

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

Formats the value using the given formatter.

impl<'de, Id, T> DeserializeState<'de, Seed<Id, T>> for Skolem<Id>

where Id: DeserializeState<'de, Seed<Id, T>> + Clone + Any,

fn deserialize_state<__D>( __seed: &mut Seed<Id, T>, __deserializer: __D ) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserializes Self using seed and the deserializer

impl<Id> Hash for Skolem<Id>

where Id: Hash,

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

where H: Hasher,

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<Id> PartialEq for Skolem<Id>

where Id: PartialEq,

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<Id> SerializeState<SeSeed> for Skolem<Id>

where Id: SerializeState<SeSeed>,

fn serialize_state<__S>( &self, __serializer: __S, __seed: &SeSeed ) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serializes self

impl<Id> Eq for Skolem<Id>

where Id: Eq,