Struct InferenceFact 

pub struct InferenceFact(/* private fields */);

Trait Implementations

impl AsFact<InferenceModel, InferenceFact> for &str

fn as_fact(&self, model: &mut InferenceModel) -> Result<Bow<'_, InferenceFact>>

impl AsFact<InferenceModel, InferenceFact> for ()

fn as_fact(&self, model: &mut InferenceModel) -> Result<Bow<'_, InferenceFact>>

impl AsFact<InferenceModel, InferenceFact> for InferenceFact

fn as_fact(&self, _model: &mut InferenceModel) -> Result<Bow<'_, InferenceFact>>

impl AsFact<InferenceModel, InferenceFact> for Option<&str>

fn as_fact(&self, model: &mut InferenceModel) -> Result<Bow<'_, InferenceFact>>

impl Clone for InferenceFact

fn clone(&self) -> InferenceFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceFact

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

Formats the value using the given formatter.

impl Default for InferenceFact

fn default() -> Self

Returns the “default value” for a type.

impl Display for InferenceFact

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

Formats the value using the given formatter.

impl Drop for InferenceFact

fn drop(&mut self)

Executes the destructor for this type.

impl InferenceFactInterface for InferenceFact

fn empty() -> Result<InferenceFact>