Struct RecInst 

pub struct RecInst {
    pub type_name: Option<String>,
    pub rt: RT,
    pub path: SegPath,
    pub parent: Option<Rc<RefCell<RecInst>>>,
    pub slots: Vec<(String, Slot)>,
    pub entry_order: Vec<String>,
    pub extras: Vec<(String, Value)>,
    pub menv: Option<Rc<Env>>,
}

a record instance: its type, its path, its slots

Fields

type_name: Option<String>

the type’s name, when named

rt: RT

the type

path: SegPath

its canonical path

parent: Option<Rc<RefCell<RecInst>>>

the enclosing instance

slots: Vec<(String, Slot)>

the slots, in declaration order

entry_order: Vec<String>

the order the document supplied the members

extras: Vec<(String, Value)>

members of an open record beyond its type

menv: Option<Rc<Env>>

the module environment

Implementations

impl RecInst

pub fn extra(&self, n: &str) -> Option<&Value>

An extra member’s value.

pub fn set_extra(&mut self, n: &str, v: Value)

Set an extra member.

pub fn slot(&self, n: &str) -> Option<&Slot>

A slot by name.

pub fn slot_mut(&mut self, n: &str) -> Option<&mut Slot>

A slot by name, mutably.

pub fn has_slot(&self, n: &str) -> bool

Whether the slot exists.