Enum AtomicType

pub enum AtomicType {
    String,
    Integer,
}

The possible types that are considered as open-ended domains for atomic facts.

Variants

String

Open-ended string domain

Integer

Open-ended integer domain

Implementations

impl AtomicType

pub fn string() -> Self

Creates a new AtomicType::String (but in such a way we can use it as a serde default).

Returns

A new instance of self that is String.

pub fn integer() -> Self

Creates a new AtomicType::Integer (but in such a way we can use it as a serde default).

Returns

A new instance of self that is Integer.

Trait Implementations

impl Clone for AtomicType

fn clone(&self) -> AtomicType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AtomicType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AtomicType

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for AtomicType

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

Formats the value using the given formatter.

impl EnumDebug for AtomicType

fn type_name() -> &'static str

Returns the static name of the type used for EnumDebug-printing.

fn variant_names() -> &'static [&'static str]

Returns all variants in the trait as a list of names.

fn variant_name(&self) -> &'static str

Returns the static name of the variant.

fn variant(&self) -> EnumDebugFormatter<'_, Self>

Returns a formatter for this enum that writes its variant name.

fn variants() -> Copied<Iter<'static, &'static str>>

Returns an iterator over all variants in this enum.

impl FromStr for AtomicType

type Err = AtomicTypeParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for AtomicType

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 PartialEq for AtomicType

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

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for AtomicType

impl Eq for AtomicType

impl StructuralPartialEq for AtomicType