Struct Typing 

pub struct Typing { /* private fields */ }

Every node keeps one id while held; a node lowered anew takes a free one.

Implementations

impl Typing

pub fn arguments(&self, node: &str) -> Option<&Arguments>

pub fn ty(&self, n: NodeId) -> Ty

pub fn var(&self, n: NodeId) -> Var

pub fn value(&self, n: NodeId) -> &Value

pub fn name(&self, n: NodeId) -> &str

pub fn grid(&self, n: NodeId) -> Grid

pub fn at(&self, n: NodeId) -> &Node

pub fn ids(&self) -> impl Iterator<Item = NodeId> + '_

pub fn id(&self, path: &str) -> Option<NodeId>

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

Every path named, the draft’s over the rest.

pub fn resolve(&self, path: &str) -> Result<NodeId, EngineError>

The node a reading asks for, by instance path or by the file a composer wrote.

pub fn locate(&self, origin: Origin) -> Located

Every Origin a term carries was stamped here.

Trait Implementations

impl Clone for Typing

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Typing

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

Formats the value using the given formatter.

impl Default for Typing

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Typing

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Typing