Struct BlockBuilder

pub struct BlockBuilder {
    pub facts: Vec<Fact>,
    pub rules: Vec<Rule>,
    pub checks: Vec<Check>,
    pub scopes: Vec<Scope>,
    pub context: Option<String>,
}

creates a Block content to append to an existing token

Fields

facts: Vec<Fact>

rules: Vec<Rule>

checks: Vec<Check>

scopes: Vec<Scope>

context: Option<String>

Implementations

impl BlockBuilder

pub fn new() -> BlockBuilder

pub fn merge(self, other: BlockBuilder) -> Self

pub fn fact<F: TryInto<Fact>>(self, fact: F) -> Result<Self, Token>

where Token: From<<F as TryInto<Fact>>::Error>,

pub fn rule<R: TryInto<Rule>>(self, rule: R) -> Result<Self, Token>

where Token: From<<R as TryInto<Rule>>::Error>,

pub fn check<C: TryInto<Check>>(self, check: C) -> Result<Self, Token>

where Token: From<<C as TryInto<Check>>::Error>,

pub fn code<T: AsRef<str>>(self, source: T) -> Result<Self, Token>

pub fn code_with_params<T: AsRef<str>>( self, source: T, params: HashMap<String, Term>, scope_params: HashMap<String, PublicKey>, ) -> Result<Self, Token>

Add datalog code to the builder, performing parameter subsitution as required Unknown parameters are ignored

pub fn scope(self, scope: Scope) -> Self

pub fn context(self, context: String) -> Self

Trait Implementations

impl BuilderExt for BlockBuilder

fn resource(self, name: &str) -> Self

fn check_resource(self, name: &str) -> Self

fn operation(self, name: &str) -> Self

fn check_operation(self, name: &str) -> Self

fn check_resource_prefix(self, prefix: &str) -> Self

fn check_resource_suffix(self, suffix: &str) -> Self

fn check_expiration_date(self, exp: SystemTime) -> Self

impl Clone for BlockBuilder

fn clone(&self) -> BlockBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockBuilder

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

Formats the value using the given formatter.

impl Default for BlockBuilder

fn default() -> BlockBuilder

Returns the “default value” for a type.

impl Display for BlockBuilder

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

Formats the value using the given formatter.