Struct Data

pub struct Data(UnsafeCell<AHashMap<Value, MaybeReady<&'static Expr>>>);

A Term Dispatcher for Equal

Tuple Fields

0: UnsafeCell<AHashMap<Value, MaybeReady<&'static Expr>>>

Implementations

impl Data

pub fn new() -> Self

Creates and returns a new instance of the data structure by initializing it with an empty hash map.

pub fn count(&self) -> usize

Return the number of entries stored in the underlying container.

pub fn set(&self, v: Value, e: Expr) -> Option<&'static Expr>

Updates the mapping by setting an associated expression for a given value and returns the updated expression when modifications are made.

pub fn set_ref(&self, v: Value, e: &'static Expr)

Sets the internal mapping for a given key with a new static expression value, and if necessary, triggers a notification to propagate the update.

pub async fn acquire(&self, v: Value) -> &'static Expr

Acquires asynchronously an expression for a given value, waiting for its readiness if necessary.

pub fn is_pending(&self, v: Value) -> bool

Checks whether the synthesis term associated with the provided value is still pending.

pub fn contains(&self, v: Value) -> bool

Checks whether the underlying data structure contains the specified key.

pub fn at(&self, index: Value) -> Option<&'static Expr>

Retrieves an expression reference from the underlying data structure based on a given index.

pub fn get(&self, index: Value) -> &'static Expr

Retrieves a static expression reference corresponding to the provided value by performing an internal lookup.

Methods from Deref<Target = UnsafeCell<HashMap<Value, MaybeReady<&'static Expr>>>>

pub unsafe fn replace(&self, value: T) -> T

🔬This is a nightly-only experimental API. (unsafe_cell_access)

Replace the value in this UnsafeCell and return the old value.

Safety

The caller must take care to avoid aliasing and data races.

• It is Undefined Behavior to allow calls to race with any other access to the wrapped value.
• It is Undefined Behavior to call this while any other reference(s) to the wrapped value are alive.

Examples

#![feature(unsafe_cell_access)]
use std::cell::UnsafeCell;

let uc = UnsafeCell::new(5);

let old = unsafe { uc.replace(10) };
assert_eq!(old, 5);

pub fn get(&self) -> *mut T

Gets a mutable pointer to the wrapped value.

This can be cast to a pointer of any kind. Ensure that the access is unique (no active references, mutable or not) when casting to &mut T, and ensure that there are no mutations or mutable aliases going on when casting to &T

Examples

use std::cell::UnsafeCell;

let uc = UnsafeCell::new(5);

let five = uc.get();

pub unsafe fn as_ref_unchecked(&self) -> &T

🔬This is a nightly-only experimental API. (unsafe_cell_access)

Get a shared reference to the value within the UnsafeCell.

Safety

• It is Undefined Behavior to call this while any mutable reference to the wrapped value is alive.
• Mutating the wrapped value while the returned reference is alive is Undefined Behavior.

Examples

#![feature(unsafe_cell_access)]
use std::cell::UnsafeCell;

let uc = UnsafeCell::new(5);

let val = unsafe { uc.as_ref_unchecked() };
assert_eq!(val, &5);

pub unsafe fn as_mut_unchecked(&self) -> &mut T

🔬This is a nightly-only experimental API. (unsafe_cell_access)

Get an exclusive reference to the value within the UnsafeCell.

Safety

• It is Undefined Behavior to call this while any other reference(s) to the wrapped value are alive.
• Mutating the wrapped value through other means while the returned reference is alive is Undefined Behavior.

Examples

#![feature(unsafe_cell_access)]
use std::cell::UnsafeCell;

let uc = UnsafeCell::new(5);

unsafe { *uc.as_mut_unchecked() += 1; }
assert_eq!(uc.into_inner(), 6);

Trait Implementations

impl Default for Data

fn default() -> Self

Creates a new instance using the default initialization, which internally delegates to the new method.

impl From<UnsafeCell<AHashMap<Value, MaybeReady<&'static Expr>>>> for Data

fn from(original: UnsafeCell<HashMap<Value, MaybeReady<&'static Expr>>>) -> Data

Converts to this type from the input type.

impl Deref for Data

type Target = UnsafeCell<AHashMap<Value, MaybeReady<&'static Expr>>>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.