Struct chalk_solve::display::WriterState

pub struct WriterState<I, DB, P = DB>
where
    DB: RustIrDatabase<I> + ?Sized,
    P: Borrow<DB>,
    I: Interner,
{
    pub(super) db: P,
    id_aliases: Arc<Mutex<IdAliases<I>>>,
    _phantom: PhantomData<DB>,
}

Writer state which persists across multiple writes.

Currently, this means keeping track of what IDs have been given what names, including deduplication information.

This data is stored using interior mutability - clones will point to the same underlying data.

Uses a separate type, P, for the database stored inside to account for Arc or wrapping other storage mediums.

Fields

db: P

id_aliases: Arc<Mutex<IdAliases<I>>>

_phantom: PhantomData<DB>

Implementations

impl<I, DB, P> WriterState<I, DB, P>

where DB: RustIrDatabase<I> + ?Sized, P: Borrow<DB>, I: Interner,

pub fn new(db: P) -> Self

pub(super) fn wrap_db_ref<'a, DB2, P2, F>( &'a self, f: F, ) -> WriterState<I, DB2, P2>

where DB2: RustIrDatabase<I> + ?Sized, P2: Borrow<DB2>, F: FnOnce(&'a P) -> P2,

Returns a new version of self containing a wrapped database which references the outer data.

f will be run on the internal database, and the returned result will wrap the result from f. For consistency, f should always contain the given database, and must keep the same ID<->item relationships.

pub(crate) fn db(&self) -> &DB

Trait Implementations

impl<I, DB, P> Clone for WriterState<I, DB, P>

where DB: RustIrDatabase<I> + ?Sized, P: Borrow<DB> + Clone, I: Interner,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I, DB, P> Debug for WriterState<I, DB, P>

where DB: RustIrDatabase<I> + Debug + ?Sized, P: Borrow<DB> + Debug, I: Interner + Debug,

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

Formats the value using the given formatter.