2b07f80828
all parties have resource state of the same kind
2020-07-12 09:45:55 +01:00
b5a04ad178
Control.Protocol ( #35 )
...
* polysemy effects
* exctract Protocol abstraction
* refactor: use Control.Protocol
* better type errors
2020-07-11 20:27:23 +01:00
b19b5be50e
refactor: group Command parameters, do syntax in scenarios
2020-07-10 12:36:14 +01:00
d74c109328
use ExceptT
2020-05-31 22:37:08 +01:00
cc55bf3e6b
Different approach to commands ( #34 )
...
* different approach to command types (WIP)
* PartyProtocol class and other commands
* pretty-print scenarion
* remove old files
* remove unused prf/predicate templates
* remove NoImplicitePrelude from doctest (although there are no doctests atm)
2020-05-31 21:51:15 +01:00
bdec751725
Instance template ( #33 )
...
* protocol instance template [WIP]
* protocol instances template
* add methods to check correctness of participant types in protocol TH
* PushConfirm and and PushMsg implementation types
* check Command type + doctest
2020-05-14 21:30:37 +01:00
aa2ac80cf9
simplify predicate template
2020-05-13 11:47:24 +01:00
a9565a5754
predicate template to add Auto instances
2020-05-12 19:27:08 +01:00
223931bc93
Subscribe recipient command stub
2020-05-11 20:51:08 +01:00
6eb75a5bdb
type classes to ensure consistency of implementation types with command types
2020-05-11 20:45:17 +01:00
f07f99c94f
instance PrfCommand for CreateConn command [WIP - not working yet]
2020-05-11 08:27:34 +01:00
f52ce87a89
type classes to ensure consistency of implementation types with the protocol
2020-05-10 20:51:03 +01:00
Evgeny Poberezkin