Struct Addition 

pub struct Addition<VStore>
where
    VStore: VStoreConcept,
    VStore::Item: Collection,
{ /* private fields */ }

Implementations

impl<VStore, Domain, Bound> Addition<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Collection<Item = Bound>,

pub fn new(x: Var<VStore>, v: Bound) -> Self

Trait Implementations

impl<VStore, Domain, Bound> Clone for Addition<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Collection<Item = Bound>, Bound: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<VStore, Domain, Bound> Debug for Addition<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Collection<Item = Bound>, Bound: Debug,

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

Formats the value using the given formatter.

impl<VStore, Domain, Bound> DisplayStateful<Model> for Addition<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Collection<Item = Bound>, Bound: Debug,

fn display(&self, model: &Model)

impl<VStore, Domain, Bound> StoreMonotonicUpdate<VStore> for Addition<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Collection<Item = Bound> + Sub<Bound, Output = Domain>, Bound: Clone,

fn update(&mut self, store: &mut VStore, value: Domain) -> bool

impl<VStore, Domain, Bound> StoreRead<VStore> for Addition<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Collection<Item = Bound> + Add<Bound, Output = Domain>, Bound: Clone,

fn read(&self, store: &VStore) -> VStore::Item

impl<VStore> ViewDependencies<FDEvent> for Addition<VStore>

where VStore: VStoreConcept, VStore::Item: Collection,

fn dependencies(&self, event: FDEvent) -> Vec<(usize, FDEvent)>