mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
30 commits 5 branches 0 tags 172 MiB
CSS 33%
Nix 26.8%
Rust 19.3%
Haskell 5.8%
Emacs Lisp 4.5%
Other 10.1%
Find a file
Vincent Ambo b748117225 feat(postgres): Introduce database connection pool 
Adds an r2d2 database connection pool to the backend type. This makes
it possible for separate FSMs to run at the same time through the same
backend, by retrieving separate connections.
2018-12-13 16:53:54 +01:00
finito-core fix(core): Ensure FSM state can be created from backend state ref 2018-12-13 13:39:16 +01:00
finito-door fix(door): Ensure compatibility with updated FSM trait 2018-12-13 15:08:26 +01:00
finito-postgres feat(postgres): Introduce database connection pool 2018-12-13 16:53:54 +01:00
.gitignore feat(postgres): Add initial table schema for Finito tables 2018-09-26 18:19:10 +02:00
Cargo.toml feat(postgres): Bootstrap Postgres persistence implementation 2018-09-26 16:54:06 +02:00
README.md docs: Add initial README 2018-09-26 11:34:08 +02: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.