mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
26 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 43f71ae82f refactor(postgres): Implement FSMBackend trait for FinitoPostgres 
Implements the new backend trait for the FinitoPostgres type which
now represents instances of the Postgres backend.

This refactoring is not yet fully complete, as some restructuring of
the code is in order.
2018-12-13 13:40: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): Update trait impl with State type 2018-11-22 16:59:42 +01:00
finito-postgres refactor(postgres): Implement FSMBackend trait for FinitoPostgres 2018-12-13 13:40: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.