[−][src]Enum cqrs_core::Precondition
A precondition that must be upheld for a command to be executed or for events to be persisted.
Variants
New
Requires that the target aggregate must not have had any events previously applied to it.
Exists
Requires that the target event at least exist, whether as a snapshot, or as having had at least one event applied.
ExpectedVersion(Version)
Requires that the target aggregate have the exact version specified.
Methods
impl Precondition
[src]
pub fn verify(self, current_version: Option<Version>) -> Result<(), Self>
[src]
Verifies that the precondition holds, given the current_version
. If the precondition is violated, an error is
returned with the precondition.
Trait Implementations
impl Eq for Precondition
[src]
impl Clone for Precondition
[src]
fn clone(&self) -> Precondition
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl PartialEq<Precondition> for Precondition
[src]
fn eq(&self, other: &Precondition) -> bool
[src]
fn ne(&self, other: &Precondition) -> bool
[src]
impl From<Version> for Precondition
[src]
impl Copy for Precondition
[src]
impl Hash for Precondition
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl Debug for Precondition
[src]
impl Display for Precondition
[src]
Auto Trait Implementations
impl Unpin for Precondition
impl Sync for Precondition
impl Send for Precondition
impl UnwindSafe for Precondition
impl RefUnwindSafe for Precondition
Blanket Implementations
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
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>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
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> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,