History

Vincent Ambo 0d0b43ed88 fix(users/tazjin): rustfmt code with non-default settings rustfmt only sometimes detects path-based nested config files (probably some kind of race?), so my users folder uses a separate formatting check for rustfmt to avoid flaky CI. Enough flakes around already ... Change-Id: Ifd862f9974f071b3a256643dd8e56c019116156a Reviewed-on: https://cl.tvl.fyi/c/depot/+/5242 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI		2022-02-07 16:58:59 +00:00
..
finito-core	fix(users/tazjin): rustfmt code with non-default settings	2022-02-07 16:58:59 +00:00
finito-door	fix(users/tazjin): rustfmt code with non-default settings	2022-02-07 16:58:59 +00:00
finito-postgres	fix(users/tazjin): rustfmt code with non-default settings	2022-02-07 16:58:59 +00:00
.gitignore	chore(tazjin/finito): Add build configuration	2020-06-30 04:14:27 +00:00
Cargo.lock	chore(tazjin/finito): Add build configuration	2020-06-30 04:14:27 +00:00
Cargo.toml	feat(tazjin/finito): Check in my old Rust state-machine library	2020-06-30 04:35:58 +01:00
default.nix	chore(tazjin/finito): Add build configuration	2020-06-30 04:14:27 +00:00
README.md	feat(tazjin/finito): Check in my old Rust state-machine library	2020-06-30 04:35:58 +01:00

README.md

Finito

This is a Rust port of the Haskell state-machine library Finito. It is slightly less featureful because it loses the ability to ensure that side-effects are contained and because of a slight reduction in expressivity, which makes it a bit more restrictive.

However, it still implements the FSM model well enough.

Components

Finito is split up into multiple independent components (note: not all of these exist yet), separating functionality related to FSM persistence from other things.

finito: Core abstraction implemented by Finito
finito-door: Example implementation of a simple, lockable door
finito-postgres: Persistent state-machines using Postgres

Note: The finito core library does not contain any tests. Its coverage is instead provided by the finito-door library, which actually implements an example FSM.

These are split out because the documentation for finito-door is interesting regardless and because other Finito packages also need an example implementation.