Struct ProofState

pub struct ProofState {
    pub spelling: Option<ProofStateType>,
    pub grammar: Option<ProofStateType>,
}

Fields

spelling: Option<ProofStateType>

grammar: Option<ProofStateType>

Trait Implementations

impl Clone for ProofState

fn clone(&self) -> ProofState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProofState

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

Formats the value using the given formatter.

impl Default for ProofState

fn default() -> ProofState

Returns the “default value” for a type.

impl<'__input> XmlRead<'__input> for ProofState

fn from_reader(reader: &mut XmlReader<'__input>) -> XmlResult<Self>

fn from_str(text: &'a str) -> Result<Self, XmlError>

impl XmlWrite for ProofState

fn to_writer<W: Write>(&self, writer: &mut XmlWriter<W>) -> XmlResult<()>

fn to_string(&self) -> Result<String, XmlError>