Struct biscuit_auth::builder::Rule

pub struct Rule {
    pub head: Predicate,
    pub body: Vec<Predicate>,
    pub expressions: Vec<Expression>,
    pub variables: Option<HashMap<String, Option<Term>>>,
}

Builder for a Datalog rule

Fields

head: Predicate

body: Vec<Predicate>

expressions: Vec<Expression>

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

Implementations

impl Rule

pub fn new(
    head: Predicate,
    body: Vec<Predicate>,
    expressions: Vec<Expression>
) -> Rule

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

pub fn convert_from(r: &Rule, symbols: &SymbolTable) -> Self

pub fn validate_variables(&self) -> Result<(), String>

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

replace a variable with the term argument

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl Display for Rule

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

Formats the value using the given formatter.

impl FromStr for Rule

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<Rule> for Rule

fn eq(&self, other: &Rule) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rule) -> bool

This method tests for !=.

impl TryFrom<&'_ str> for Rule

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 TryFrom<Rule> for Check

type Error = Token

The type returned in the event of a conversion error.

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

Performs the conversion.

impl StructuralPartialEq for Rule