Struct Through 

pub struct Through<'a> { /* private fields */ }

Reads refs through written, keeping each node’s answers in kept. A form rewritten below a ref stands in as a node of its own, numbered from the top of the ids down, kept only while this reading lasts.

Implementations

impl<'a> Through<'a>

pub fn new(written: Written<'a>, kept: &'a Kept) -> Through<'a>

pub fn stand(&self, body: Body) -> NodeId

A node of its own standing for body, read through like any other.

pub fn read<R>(&self, id: NodeId, with: impl FnOnce(&Body) -> R) -> Option<R>

with handed the written form id names, where it names one.

pub fn stands(id: NodeId) -> bool

Trait Implementations

impl Reads for Through<'_>

fn lowered( &self, id: NodeId, origin: Origin, var: Var, ) -> Result<SpectralSum, Left>

fn polynomial(&self, id: NodeId, reading: Reading) -> Option<Vec<Coeff>>

fn timeless(&self, id: NodeId) -> bool

fn key_moves(&self, id: NodeId) -> bool

fn mentions_line(&self, id: NodeId) -> bool

fn axis(&self, id: NodeId) -> Option<Axis>

fn line(&self, id: NodeId) -> Option<Line>

fn kink(&self, id: NodeId) -> Option<(Body, Crossing)>

fn replaced( &self, id: NodeId, scope: usize, kink: &Body, with: &Body, ) -> Option<NodeId>

A node standing for id with kink read as with throughout, where it reaches one.

fn moved(&self, id: NodeId, at: &Body) -> Option<NodeId>

A node standing for id read at at, the time written through its form.

fn stand_for(&self, body: Body) -> Option<NodeId>

fn scope(&self) -> usize

fn view(&self, id: NodeId, read: &Read<'_>) -> Option<Form<'_>>

The form id names as read reads it, one level down: its own refs still refs.

fn growth(&self, id: NodeId, at: &Body, k: IndexId) -> Option<IndexGrowth>

How the form id names grows in k, read at a time k moves.