Struct Fact

pub struct Fact {
    pub predicate: Predicate,
    pub parameters: Option<HashMap<String, Option<Term>>>,
}

Builder for a Datalog fact

Fields

predicate: Predicate

parameters: Option<HashMap<String, Option<Term>>>

Implementations

impl Fact

pub fn new<T: Into<Vec<Term>>>(name: String, terms: T) -> Fact

pub fn validate(&self) -> Result<(), Token>

pub fn set<T: Into<Term>>(&mut self, name: &str, term: T) -> Result<(), Token>

replace a parameter with the term argument

pub fn set_lenient<T: Into<Term>>( &mut self, name: &str, term: T, ) -> Result<(), Token>

replace a parameter with the term argument, without raising an error if the parameter is not present in the fact description

pub fn set_macro_param<T: ToAnyParam>( &mut self, name: &str, param: T, ) -> Result<(), Token>

Trait Implementations

impl Clone for Fact

fn clone(&self) -> Fact

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Convert<Fact> for Fact

fn convert(&self, symbols: &mut SymbolTable) -> Fact

fn convert_from(f: &Fact, symbols: &SymbolTable) -> Result<Self, Format>

fn translate( f: &T, from_symbols: &SymbolTable, to_symbols: &mut SymbolTable, ) -> Result<T, Format>

impl Debug for Fact

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

Formats the value using the given formatter.

impl Display for Fact

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

Formats the value using the given formatter.

impl From<Fact> for Fact

fn from(f: Fact) -> Self

Converts to this type from the input type.

impl FromStr for Fact

type Err = Token

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

fn eq(&self, other: &Fact) -> 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 TryFrom<&str> for Fact

type Error = Token

The type returned in the event of a conversion error.

fn try_from(value: &str) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A,)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>, N: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M, N)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>, N: TryFrom<Term, Error = Token>, O: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>, N: TryFrom<Term, Error = Token>, O: TryFrom<Term, Error = Token>, P: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>, N: TryFrom<Term, Error = Token>, O: TryFrom<Term, Error = Token>, P: TryFrom<Term, Error = Token>, Q: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>, N: TryFrom<Term, Error = Token>, O: TryFrom<Term, Error = Token>, P: TryFrom<Term, Error = Token>, Q: TryFrom<Term, Error = Token>, R: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>, N: TryFrom<Term, Error = Token>, O: TryFrom<Term, Error = Token>, P: TryFrom<Term, Error = Token>, Q: TryFrom<Term, Error = Token>, R: TryFrom<Term, Error = Token>, S: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>, N: TryFrom<Term, Error = Token>, O: TryFrom<Term, Error = Token>, P: TryFrom<Term, Error = Token>, Q: TryFrom<Term, Error = Token>, R: TryFrom<Term, Error = Token>, S: TryFrom<Term, Error = Token>, T: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Term, Error = Token>, B: TryFrom<Term, Error = Token>, C: TryFrom<Term, Error = Token>, D: TryFrom<Term, Error = Token>, E: TryFrom<Term, Error = Token>, F: TryFrom<Term, Error = Token>, G: TryFrom<Term, Error = Token>, H: TryFrom<Term, Error = Token>, I: TryFrom<Term, Error = Token>, J: TryFrom<Term, Error = Token>, K: TryFrom<Term, Error = Token>, L: TryFrom<Term, Error = Token>, M: TryFrom<Term, Error = Token>, N: TryFrom<Term, Error = Token>, O: TryFrom<Term, Error = Token>, P: TryFrom<Term, Error = Token>, Q: TryFrom<Term, Error = Token>, R: TryFrom<Term, Error = Token>, S: TryFrom<Term, Error = Token>, T: TryFrom<Term, Error = Token>, U: TryFrom<Term, Error = Token>> TryFrom<Fact> for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)

type Error = Token

The type returned in the event of a conversion error.

fn try_from(fact: Fact) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for Fact

impl StructuralPartialEq for Fact