Struct FieldCapability 

pub struct FieldCapability<T, const OFFSET: u32, const ROLE: u8, const POLICY: u8>
where
    T: Pod,
{ /* private fields */ }

Zero-sized field capability: type, byte offset, semantic role, and policy.

This is the runtime half of proof-carrying field access. Macros and tooling can emit these ZSTs for each account field, then require a matching capability in higher-level mutation helpers without storing extra metadata in the account body.

Implementations

impl<T, const OFFSET: u32, const ROLE: u8, const POLICY: u8> FieldCapability<T, OFFSET, ROLE, POLICY>

where T: Pod,

pub const fn new() -> FieldCapability<T, OFFSET, ROLE, POLICY>

pub const fn role() -> u8

pub const fn policy() -> u8

pub const fn typed_segment() -> TypedSegment<T, OFFSET>

pub const fn as_segment() -> Segment

pub const fn has_policy(flag: u8) -> bool

Trait Implementations

impl<T, const OFFSET: u32, const ROLE: u8, const POLICY: u8> Clone for FieldCapability<T, OFFSET, ROLE, POLICY>

where T: Clone + Pod,

fn clone(&self) -> FieldCapability<T, OFFSET, ROLE, POLICY>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, const OFFSET: u32, const ROLE: u8, const POLICY: u8> Debug for FieldCapability<T, OFFSET, ROLE, POLICY>

where T: Debug + Pod,

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

Formats the value using the given formatter.

impl<T, const OFFSET: u32, const ROLE: u8, const POLICY: u8> Default for FieldCapability<T, OFFSET, ROLE, POLICY>

where T: Default + Pod,

fn default() -> FieldCapability<T, OFFSET, ROLE, POLICY>

Returns the “default value” for a type.

impl<T, const OFFSET: u32, const ROLE: u8, const POLICY: u8> Copy for FieldCapability<T, OFFSET, ROLE, POLICY>

where T: Copy + Pod,