Struct Instances 

pub struct Instances<'g> { /* private fields */ }

One file’s body beside what its parameters stand for: the body is shared, the scope is not.

Implementations

impl<'g> Instances<'g>

pub fn render(&self, e: &Expr, cx: Cx<'_>) -> String

The text an instance name and a refusal quote carry, through the one printer.

pub fn exprs(&self) -> BTreeMap<String, Expr>

Every instance’s body with each parameter already standing for what it was bound to.

impl<'g> Instances<'g>

pub fn origin(&self, instance: &str) -> Option<&str>

pub fn paths(&self) -> impl Iterator<Item = &str>

pub fn holds(&self, path: &str) -> bool

pub fn instance_of(&self, target: &str) -> Result<String, EngineError>

A bare file name is the file read as a root, on its own terms; a call site’s instance carries the bindings that made it.

pub fn instances_of<'a>( &'a self, file: &'a str, ) -> impl Iterator<Item = String> + 'a

pub fn at<'a>(&'a self, path: &str) -> Option<(&'a Expr, Cx<'a>)>

pub fn bindings<'a>( &'a self, path: &str, ) -> Option<Vec<(&'a str, &'a Expr, Cx<'a>)>>

impl<'g> Instances<'g>

pub fn follow<'a, R>( &'a self, e: &'a Expr, cx: Cx<'a>, go: impl FnOnce(&'a Expr, Cx<'_>) -> R, ) -> Option<R>

A bound name continues in what it stands for; anything else is read where it stands.

pub fn node<'a>(&'a self, e: &'a Expr, cx: Cx<'_>) -> Node<'a>

pub fn reads_self(&self, path: &str) -> bool

Trait Implementations

impl<'g> Debug for Instances<'g>

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

Formats the value using the given formatter.