Struct Saga

Source
pub struct Saga<'a, AR: 'a, A: 'a> {
    pub react: ReactFunction<'a, AR, A>,
}
Expand description

Saga is a datatype that represents the central point of control, deciding what to execute next (A), based on the action result (AR). It has two generic parameters AR/Action Result, A/Action , representing the type of the values that Saga may contain or use. 'a is used as a lifetime parameter, indicating that all references contained within the struct (e.g., references within the function closures) must have a lifetime that is at least as long as ’a.

It is common to consider Event as Action Result, and Command as Action, but it is not mandatory. For example, Action Result can be a request response from a remote service.

§Example

use fmodel_rust::saga::Saga;

fn saga<'a>() -> Saga<'a, OrderEvent, ShipmentCommand> {
    Saga {
        react: Box::new(|event| match event {
            OrderEvent::Created(created_event) => {
                vec![ShipmentCommand::Create(CreateShipmentCommand {
                    shipment_id: created_event.order_id,
                    order_id: created_event.order_id,
                    customer_name: created_event.customer_name.to_owned(),
                    items: created_event.items.to_owned(),
                })]
            }
            OrderEvent::Updated(_updated_event) => {
                vec![]
            }
            OrderEvent::Cancelled(_cancelled_event) => {
                vec![]
            }
        }),
    }
}

#[derive(Debug, PartialEq)]
#[allow(dead_code)]
pub enum ShipmentCommand {
    Create(CreateShipmentCommand),
}

#[derive(Debug, PartialEq)]
pub struct CreateShipmentCommand {
    pub shipment_id: u32,
    pub order_id: u32,
    pub customer_name: String,
    pub items: Vec<String>,
}

#[derive(Debug)]
pub enum OrderEvent {
    Created(OrderCreatedEvent),
    Updated(OrderUpdatedEvent),
    Cancelled(OrderCancelledEvent),
}

#[derive(Debug)]
pub struct OrderCreatedEvent {
    pub order_id: u32,
    pub customer_name: String,
    pub items: Vec<String>,
}

#[derive(Debug)]
pub struct OrderUpdatedEvent {
    pub order_id: u32,
    pub updated_items: Vec<String>,
}

#[derive(Debug)]
pub struct OrderCancelledEvent {
    pub order_id: u32,
}

let saga: Saga<OrderEvent, ShipmentCommand> = saga();
let order_created_event = OrderEvent::Created(OrderCreatedEvent {
        order_id: 1,
        customer_name: "John Doe".to_string(),
        items: vec!["Item 1".to_string(), "Item 2".to_string()],
    });

let commands = (saga.react)(&order_created_event);

Fields§

§react: ReactFunction<'a, AR, A>

The react function is driving the next action based on the action result.

Implementations§

Source§

impl<'a, AR, A> Saga<'a, AR, A>

Source

pub fn map_action<A2, F>(self, f: &'a F) -> Saga<'a, AR, A2>
where F: Fn(&A) -> A2 + Send + Sync,

Maps the Saga over the A/Action type parameter. Creates a new instance of Saga<AR, A2>.

Source

pub fn map_action_result<AR2, F>(self, f: &'a F) -> Saga<'a, AR2, A>
where F: Fn(&AR2) -> AR + Send + Sync,

Maps the Saga over the AR/ActionResult type parameter. Creates a new instance of Saga<AR2, A>.

Source

pub fn combine<AR2, A2>( self, saga2: Saga<'a, AR2, A2>, ) -> Saga<'a, Sum<AR, AR2>, Sum<A2, A>>

Combines two sagas into one. Creates a new instance of a Saga by combining two sagas of type AR, A and AR2, A2 into a new saga of type Sum<AR, AR2>, Sum<A2, A>

Trait Implementations§

Source§

impl<'a, AR, A> ActionComputation<AR, A> for Saga<'a, AR, A>

Source§

fn compute_new_actions(&self, event: &AR) -> Vec<A>

Computes new commands/actions based on the event/action_result.

Auto Trait Implementations§

§

impl<'a, AR, A> Freeze for Saga<'a, AR, A>

§

impl<'a, AR, A> !RefUnwindSafe for Saga<'a, AR, A>

§

impl<'a, AR, A> Send for Saga<'a, AR, A>

§

impl<'a, AR, A> Sync for Saga<'a, AR, A>

§

impl<'a, AR, A> Unpin for Saga<'a, AR, A>

§

impl<'a, AR, A> !UnwindSafe for Saga<'a, AR, A>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.