mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
13 commits 5 branches 0 tags 172 MiB
Commit graph

13 commits

This branch
This branch
All branches
Author SHA1 Message Date
Vincent Ambo
6e35c083bf refactor(postgres): Minor changes to match actual table schema 2018-09-26 18:20:04 +02:00
Vincent Ambo
cbb58fa6c2 feat(postgres): Add initial table schema for Finito tables 2018-09-26 18:19:10 +02:00
Vincent Ambo
fe97c712cc docs: Add rustdoc header lines as expected by the format 
These are rendered in the rustdoc crate overview sidebar.
 2018-09-26 18:04:28 +02:00
Vincent Ambo
965574913e docs(core): Fix rustdoc syntax in several places 2018-09-26 18:02:55 +02:00
Vincent Ambo
401486d124 docs(door): Port over documentation from finito-hs 2018-09-26 18:00:41 +02:00
Vincent Ambo
40caa5ffa2 feat(postgres): Implement Postgres-backed 'advance' function 
Transactionally updates a state machine with an incoming event. Note
that this does not yet interpret actions.
 2018-09-26 17:28:45 +02:00
Vincent Ambo
b1e00ff026 feat(postgres): Bootstrap Postgres persistence implementation 
Adds the initial finito-postgres crate with type definitions for the
tables and initial functions to interact with persisted FSMs.

This is far from feature complete at this commit.
 2018-09-26 16:54:06 +02:00
Vincent Ambo
c03e14758f fix(core): Add missing 'FSM_NAME' associated constant 
This one got lost while moving from the prototype code to the proper
library.
 2018-09-26 16:54:06 +02:00
Vincent Ambo
60824a06f1 feat(door): Check in example door implementation 
Checks in my classic, lockable door example implemented in Finito.

This does not yet contain the documentation of the door in the Haskell
version of Finito.
 2018-09-26 16:54:03 +02:00
Vincent Ambo
da66599696 feat(core): Check in Finito core library 
The implementation of this library is closely modeled after the core
abstraction in the Haskell library. This does not at all concern
itself with persistence, interpretation of effects and so on.
 2018-09-26 16:54:00 +02:00
Vincent Ambo
6d11928efe docs: Add initial README 2018-09-26 11:34:08 +02:00
Vincent Ambo
bc873b9666 chore: Add Rust-specific .gitignore file 2018-09-26 11:33:52 +02:00
Vincent Ambo
f8ae63c2da chore: Initial commit 2018-09-26 11:29:48 +02:00