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

Implementations on Foreign Types

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

fn premise(self, from: (R1, R2)) -> bool

(open, inline)

self.0.premise(from.0) && self.1.premise(from.1)

fn update(self, from: (R1, R2), ch: (U1::Choice, U2::Choice)) -> (R1, R2)

(open, inline)

(self.0.update(from.0, ch.0), self.1.update(from.1, ch.1))

requires

self.premise(from)

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

requires

self.premise(from)

requires

from.op(frame) != None

ensures

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

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

impl<R: RA> Update<R> for ()

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

(open, inline)

true

fn update(self, from: R, _: ()) -> R

(open, inline)

from

fn frame_preserving(self, from: R, frame: R)

requires

from.op(frame) != None

ensures

from.op(frame) != None

type Choice = ()

Implementors

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 = ()