coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-09-11 14:17:30 +03:00
Code Issues Projects Releases Wiki Activity
da9d9a2018
free-category/examples
History
Marcin Szamotulski 13bc4de0dc Added README
2019-09-29 20:46:19 +01:00
..
src Modify example 2019-09-29 20:46:19 +01:00
CHANGELOG.md Lifting (#2) 2018-12-10 19:59:39 +01:00
examples.cabal LoginStateMachine example 2018-12-16 23:12:15 +01:00
LICENSE Lifting (#2) 2018-12-10 19:59:39 +01:00
README.md Added README 2019-09-29 20:46:19 +01:00
Setup.hs Lifting (#2) 2018-12-10 19:59:39 +01:00

README.md

Example State Machine using 'EffCat'

The example state machine is inspired by State Machines All The Way Down by Edwin Bradly, 2017 https://www.youtube.com/watch?v=xq7ZuSRgCR4

It allows to login, access a secret token and logout. The secret token can only be accessed upon successful login. The implementation type checks this requirement.

Run quickcheck tests and an example program:

cabal run examples
+++ OK, passed 100 tests.

Provide a password:
123456
Provide a password:
password
secret: Hello saylor!