Struct RoleDef 

pub struct RoleDef {
    pub name: String,
    pub keys: Vec<String>,
    pub labels: Vec<String>,
    pub visible_where: Option<PropPredicate>,
    pub namespaces: Option<Vec<String>>,
    pub write: Option<WriteScope>,
}

A named RBAC role: resolves to a node-visibility mask at query time.

keys and labels both default to empty when absent from JSON, so a schema snippet that names only labels is valid.

The resolved mask is the union of:

• all nodes whose key appears in keys (unknown keys silently ignored), and
• all nodes carrying any label in labels (resolved live against the current graph — new nodes of an allowed label are immediately visible without re-applying the schema).

An empty union (no keys, no matching label nodes) = empty mask = sees nothing.

write: None (or absent from JSON) = read-only role, v1 behavior, backward compatible with any client that does not know about write scopes.

Fields

name: String

keys: Vec<String>

Explicit node keys always visible to the role.

labels: Vec<String>

All nodes carrying any of these labels are visible (resolved live).

visible_where: Option<PropPredicate>

Optional property test that narrows the label leg only.

Absent = the role is exactly what it was before version 3: every node of an allowed label. Present = a node of an allowed label is visible only when it also passes the predicate. keys is an administrative grant and is never narrowed by it.

A predicate with no labels is refused at apply_schema: it would narrow nothing, and silently granting the key leg under a name that reads like a restriction is the wrong way to be wrong.

namespaces: Option<Vec<String>>

Namespaces this role may read.

Absent = unscoped, which is exactly the behaviour every role had before version 4, so no existing role changes meaning. Some(list) restricts:

visible = ( keys ∪ { n : label(n) ∈ labels ∧ visible_where(n) } )
          ∩ { n : ns(n) ∈ namespaces }

The namespace leg intersects keys too, unlike visible_where, which narrows only the label leg. A namespace is a tenancy boundary, and an explicitly named key in another tenant’s namespace is a mistake rather than an administrative grant — apply_schema rejects a role whose keys name a live node outside its namespaces, naming both the key and its namespace.

Some([]) is rejected at apply time: a role that sees nothing is written by omitting keys and labels, not by closing the namespace leg.

write: Option<WriteScope>

Absent or null = read-only role (v1 behavior, backward compatible).

Implementations

impl RoleDef

pub fn sees_namespace(&self, namespace: &str) -> bool

Whether namespace is inside this role’s namespace binding.

true for every namespace when the role is unscoped — absent namespaces means the intersection is skipped entirely.

Trait Implementations

impl Clone for RoleDef

fn clone(&self) -> RoleDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RoleDef

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RoleDef

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for RoleDef

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RoleDef

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 RoleDef