diff options
author | Vincent Ambo <mail@tazj.in> | 2018-12-13T11·08+0100 |
---|---|---|
committer | Vincent Ambo <mail@tazj.in> | 2018-12-13T11·24+0100 |
commit | 1a90856ba45a26dccfd9e68d3a9b036d7ceeff82 (patch) | |
tree | 7549a59309ed6347cf210a241da1f164ceb30d70 /finito-core | |
parent | 536793dbbb6eba468cf7bf98d1798a28d196cd6f (diff) |
feat(core): Add serde trait bounds to FSM types
These are required by multiple backend implementations, and any attempt at making them optional will result in less appreciable APIs.
Diffstat (limited to 'finito-core')
-rw-r--r-- | finito-core/Cargo.toml | 1 | ||||
-rw-r--r-- | finito-core/src/lib.rs | 29 |
2 files changed, 20 insertions, 10 deletions
diff --git a/finito-core/Cargo.toml b/finito-core/Cargo.toml index c3a377dd2417..1d7bdb8b01fe 100644 --- a/finito-core/Cargo.toml +++ b/finito-core/Cargo.toml @@ -4,3 +4,4 @@ version = "0.1.0" authors = ["Vincent Ambo <mail@tazj.in>"] [dependencies] +serde = "1.0" diff --git a/finito-core/src/lib.rs b/finito-core/src/lib.rs index 0ce17cc28d13..0dda30ae9a52 100644 --- a/finito-core/src/lib.rs +++ b/finito-core/src/lib.rs @@ -108,6 +108,10 @@ //! //! Please reach out! I want to know why! +extern crate serde; + +use serde::Serialize; +use serde::de::DeserializeOwned; use std::fmt::Debug; use std::mem; @@ -199,13 +203,12 @@ pub fn advance<S: FSM>(state: S, event: S::Event) -> (S, Vec<S::Action>) { /// /// See the `finito-postgres` and `finito-in-mem` crates for example /// implementations of this trait. -pub trait FSMBackend { - /// Custom state type that is made available to action handlers by - /// the backend. - /// - /// TODO: Something something `Into<FSM::State> for State`. - type State; - +/// +/// Backends must be parameterised over an additional (user-supplied) +/// state type which can be used to track application state that must +/// be made available to action handlers, for example to pass along +/// database connections. +pub trait FSMBackend<S> { /// Key type used to identify individual state machines in this /// backend. /// @@ -219,10 +222,12 @@ pub trait FSMBackend { /// Insert a new state-machine into the backend's storage and /// return its newly allocated key. - fn insert_machine<S: FSM>(&self, initial: S) -> Result<Self::Key, Self::Error>; + fn insert_machine<F>(&self, initial: F) -> Result<Self::Key, Self::Error> + where F: FSM + Serialize + DeserializeOwned; /// Retrieve the current state of an FSM by its key. - fn get_machine<S: FSM>(&self, key: Self::Key) -> Result<S, Self::Error>; + fn get_machine<F: FSM>(&self, key: Self::Key) -> Result<F, Self::Error> + where F: FSM + Serialize + DeserializeOwned; /// Advance a state machine by applying an event and persisting it /// as well as any resulting actions. @@ -230,5 +235,9 @@ pub trait FSMBackend { /// **Note**: Whether actions are automatically executed depends /// on the backend used. Please consult the backend's /// documentation for details. - fn advance<S: FSM>(&self, key: Self::Key, event: S::Event) -> Result<S, Self::Error>; + fn advance<F: FSM>(&self, key: Self::Key, event: F::Event) -> Result<F, Self::Error> + where F: FSM + Serialize + DeserializeOwned, + F::State: From<S>, + F::Event: Serialize + DeserializeOwned, + F::Action: Serialize + DeserializeOwned; } |