Struct AtomType 

pub struct AtomType { /* private fields */ }

Implementations

impl AtomType

pub fn undefined() -> Self

pub fn value(typ: Atom) -> Self

pub fn application(typ: Atom) -> Self

pub fn error(typ: Atom, error: Atom) -> Self

pub fn is_error(&self) -> bool

pub fn is_valid(&self) -> bool

pub fn is_function(&self) -> bool

pub fn is_application(&self) -> bool

pub fn as_atom(&self) -> &Atom

pub fn into_atom(self) -> Atom

pub fn get_error(&self) -> Option<&Atom>

pub fn into_error(self) -> Option<Atom>

pub fn into_error_unchecked(self) -> Atom

pub fn into_atom_or_error(self) -> Result<Atom, Atom>

Trait Implementations

impl Clone for AtomType

fn clone(&self) -> AtomType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AtomType

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

Formats the value using the given formatter.

impl Display for AtomType

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

Formats the value using the given formatter.

impl PartialEq for AtomType

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