Trait Update 

pub trait Update<R: RA> {
    type Choice;

    // Required methods
    fn premise(self, from: R) -> bool;
    fn update(self, from: R, ch: Self::Choice) -> R;
    fn frame_preserving(self, from: R, frame: R) -> Self::Choice;
}

Required Associated Types

type Choice

Required Methods

fn premise(self, from: R) -> bool

fn update(self, from: R, ch: Self::Choice) -> R

requires

self.premise(from)

fn frame_preserving(self, from: R, frame: R) -> Self::Choice

requires

self.premise(from)

requires

from.op(frame) != None

ensures

self.update(from, result).op(frame) != None

Implementors

impl<R1: RA, R2: RA, U1: Update<R1>, U2: Update<R2>> Update<(R1, R2)> for ProdUpdate<U1, U2>

type Choice = (<U1 as Update<R1>>::Choice, <U2 as Update<R2>>::Choice)

impl<R1: RA, R2: RA, U: Update<R1>> Update<Sum<R1, R2>> for SumUpdateL<U>

type Choice = <U as Update<R1>>::Choice

impl<R: RA> Update<R> for Snapshot<R>

type Choice = ()

impl<R: RA, Choice> Update<R> for Snapshot<Mapping<Choice, R>>

type Choice = Choice

impl<R: RA, U: Update<R>> Update<Option<R>> for OptionUpdate<U>

type Choice = <U as Update<R>>::Choice

impl<R: RA, U: Update<R>, V: RA> Update<Sum<V, R>> for SumUpdateR<U>

type Choice = <U as Update<R>>::Choice

impl<R: UnitRA, U: LocalUpdate<R>> Update<View<AuthViewRel<R>>> for AuthUpdate<U>

type Choice = ()

impl<R: ViewRel> Update<View<R>> for ViewUpdateInsert<R>

type Choice = ()

impl<R: ViewRel> Update<View<R>> for ViewUpdateRemove<R>

type Choice = ()

impl<R: ViewRel, Choice> Update<View<R>> for ViewUpdate<R, Choice>

type Choice = Choice

impl<T> Update<Excl<T>> for ExclUpdate<T>

type Choice = ()