Struct PredDecl 

pub struct PredDecl {
    pub name: String,
    pub types: Vec<TypeRef>,
    pub columns: Vec<PredColumn>,
    pub is_private: bool,
}

Predicate declaration

Fields

name: String

Predicate name.

types: Vec<TypeRef>

Column types.

columns: Vec<PredColumn>

Declared columns, including optional names.

is_private: bool

Whether this predicate is module-private.

Implementations

impl PredDecl

pub fn schema_columns(&self) -> Vec<PredColumn>

Return the effective declared columns, including optional source names.

Parsed declarations populate columns; callers constructing the AST directly may supply the equivalent unnamed schema through types.

pub fn arity(&self) -> usize

Return the arity of the effective declared schema.

Trait Implementations

impl Clone for PredDecl

fn clone(&self) -> PredDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PredDecl

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

Formats the value using the given formatter.

impl PartialEq for PredDecl

fn eq(&self, other: &PredDecl) -> 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 StructuralPartialEq for PredDecl