Trait MarkResolver 

pub trait MarkResolver {
    // Required method
    fn mark(&self, name: char) -> Option<Position>;
}

VM.3e: the mark table 'x / `x read, so they can be motions. The host owns the marks (m writes them); the grammar only asks where one is. None means the mark isn’t set, which fails the motion with E20.

Required Methods

fn mark(&self, name: char) -> Option<Position>

Where mark name is set, or None when it is not.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl MarkResolver for HashMap<char, Position>

The host’s table is a plain map, so it is its own resolver: a read-only buffer borrows it as is, and the actor path carries an Arc of a clone.

fn mark(&self, name: char) -> Option<Position>

Implementors