Struct StaticChunk 

pub struct StaticChunk { /* private fields */ }

One compile, flat and immutable: see the module documentation.

Implementations

impl StaticChunk

pub fn name(&self) -> &Text

The chunk’s name.

pub fn top(&self) -> ModId

The top module, the chunk’s first.

pub fn node(&self, id: NodeId) -> Node

pub fn pat(&self, id: PatId) -> Pat

pub fn lambda(&self, id: LambdaId) -> &Lambda

pub fn module(&self, id: ModId) -> &Module

pub fn members(&self, module: &Module) -> &[Member]

A module’s member index space (see Module::members).

pub fn frame_names(&self, module: &Module) -> &[Sym]

A module’s frame slot names.

pub fn imports(&self, module: &Module) -> &[ImportSpec]

A module’s import specs.

pub fn captures(&self, plan: IdRange<CaptureId>) -> &[Capture]

A lambda’s frame plan.

pub fn int(&self, id: IntId) -> &BigInt

pub fn str(&self, id: StrId) -> &Text

pub fn nodes(&self, run: Run, first: NodeId, len: u32) -> &[Node]

The len nodes of a run of kind run, starting at first.

pub fn pats(&self, run: Run, first: PatId, len: u32) -> &[Pat]

The len patterns of a run of kind run, starting at first.

pub fn module_ids(&self) -> impl Iterator<Item = ModId> + Clone

The ids of the chunk’s modules, the top module first.

pub fn member(&self, m: ModId, index: u32) -> Option<Member>

The item or local at index of module m’s member space, or None past them, where the iotas are.

pub fn member_len(&self, m: ModId) -> u32

How many items and locals module m has: the size of its id block, and where its iotas start.

pub fn iota(&self, m: ModId, index: u32) -> Option<Sym>

The name of iota index of module m, counted from its first iota.

pub fn index_of(&self, m: ModId, name: Sym) -> Option<u32>

The index of module m’s item name, searched by Sym. Locals are not searched: they are private.

pub fn item_names(&self, m: ModId) -> impl Iterator<Item = Sym> + '_

Module m’s item names, sorted by Sym: its public listing.

pub fn local_names(&self, m: ModId) -> impl Iterator<Item = Sym> + '_

Module m’s local names, sorted by Sym. Locals are unreachable as M.name from outside; this is for host introspection.

pub fn iota_names(&self, m: ModId) -> impl Iterator<Item = Sym> + '_

Module m’s iota names, sorted by Sym.

impl StaticChunk

pub fn to_sexp(&self, id: NodeId, ctx: &Ctx) -> String

The s-expression of node id, e.g. (app (name f) (name x)).

impl StaticChunk

pub fn to_json(&self, id: NodeId, ctx: &Ctx) -> String

The tagged JSON of node id, e.g. {"app":[{"name":"f"},{"name":"x"}]}.

impl StaticChunk

pub fn documents(&self) -> &[Doc]

The documents this chunk was parsed from, in order. The prelude chunk has none.

pub fn node_ids(&self) -> impl Iterator<Item = NodeId>

The ids of the chunk’s nodes, in table order, debug barriers included.

pub fn pat_ids(&self) -> impl Iterator<Item = PatId>

The ids of the chunk’s patterns, as node_ids.

pub fn lambda_ids(&self) -> impl Iterator<Item = LambdaId>

The ids of the chunk’s lambdas, in table order.

pub fn node_span(&self, id: NodeId) -> Option<ChunkSpan>

The span of node id, if it was parsed.

pub fn pat_span(&self, id: PatId) -> Option<ChunkSpan>

The span of pattern id, if it was parsed.

pub fn lambda_span(&self, id: LambdaId) -> Option<ChunkSpan>

The span of lambda id: its whole &, with the parameters.

pub fn member_span(&self, m: ModId, index: u32) -> Option<ChunkSpan>

The span of member index of module m, counted over its items, locals and iotas: a declaration’s name = body, or an iota’s name.

Trait Implementations

impl Debug for StaticChunk

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

Formats the value using the given formatter.