Struct LocalFunction 

pub struct LocalFunction { /* private fields */ }

One plan-local function defined from the closed pattern algebra.

The function owns a private dense binding space; its parameters are the leading bindings, each declared against one schema type label. The first local vocabulary keeps bodies flat (isa, has, links, value) and returns one total reducer result.

Implementations

impl LocalFunction

pub const fn new( name: FunctionId, bindings: Vec<AssertionBinding>, parameters: Vec<Label>, body: Vec<QueryPattern>, returns: LocalReturn, ) -> Self

Declare one plan-local function.

pub const fn name(&self) -> &FunctionId

Return the function name.

pub fn bindings(&self) -> &[AssertionBinding]

Return the private dense binding table.

pub fn parameters(&self) -> &[Label]

Return the schema type label of each leading parameter binding.

pub fn body(&self) -> &[QueryPattern]

Return the closed body conjunction.

pub const fn returns(&self) -> &LocalReturn

Return the declared reducer result.

Trait Implementations

impl Clone for LocalFunction

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocalFunction

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

Formats the value using the given formatter.

impl Eq for LocalFunction

impl PartialEq for LocalFunction

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for LocalFunction

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LocalFunction