[−][src]Struct polyhorn_core::Memory
Implementations
impl<P: ?Sized> Memory<P> where
P: Platform,
[src]
P: Platform,
pub fn new(element: Element<P>) -> Memory<P>
[src]
pub fn element(&self) -> &Element<P>
[src]
pub fn update(&mut self, element: Element<P>) -> Element<P>
[src]
pub fn state<F>(&mut self, key: Key, initializer: F) -> &Rc<dyn Any> where
F: FnOnce() -> Rc<dyn Any>,
[src]
F: FnOnce() -> Rc<dyn Any>,
pub fn reference<F>(&mut self, key: Key, initializer: F) -> &Rc<dyn Any> where
F: FnOnce() -> Rc<dyn Any>,
[src]
F: FnOnce() -> Rc<dyn Any>,
pub fn effect(&mut self, key: Key, conditions: Key) -> bool
[src]
pub fn future<F>(&mut self, key: Key, initializer: F) where
F: FnOnce() -> Disposable,
[src]
F: FnOnce() -> Disposable,
pub fn keys(&self) -> HashSet<Key>
[src]
pub fn edge(&self, key: &Key) -> Option<&Rc<Instance<P>>>
[src]
pub fn edges(&self) -> impl Iterator<Item = &Rc<Instance<P>>>
[src]
pub fn add_edge(&mut self, key: Key, instance: Rc<Instance<P>>)
[src]
pub fn remove_edge(&mut self, key: &Key) -> Option<Rc<Instance<P>>>
[src]
Auto Trait Implementations
impl<P> !RefUnwindSafe for Memory<P>
impl<P> !Send for Memory<P>
impl<P> !Sync for Memory<P>
impl<P: ?Sized> Unpin for Memory<P> where
<P as Platform>::Component: Unpin,
<P as Platform>::Component: Unpin,
impl<P> !UnwindSafe for Memory<P>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,