Evgeny Poberezkin
a9565a5754
predicate template to add Auto instances
2020-05-12 19:27:08 +01:00
Evgeny Poberezkin
223931bc93
Subscribe recipient command stub
2020-05-11 20:51:08 +01:00
Evgeny Poberezkin
6eb75a5bdb
type classes to ensure consistency of implementation types with command types
2020-05-11 20:45:17 +01:00
Evgeny Poberezkin
f07f99c94f
instance PrfCommand for CreateConn command [WIP - not working yet]
2020-05-11 08:27:34 +01:00
Evgeny Poberezkin
f52ce87a89
type classes to ensure consistency of implementation types with the protocol
2020-05-10 20:51:03 +01:00
Evgeny Poberezkin
eb5e99710f
change scenario syntax
2020-05-10 14:16:37 +01:00
Evgeny Poberezkin
08274c9b52
track connection message count in type, remove ticks from promoted constructors
2020-05-10 12:13:24 +01:00
Evgeny Poberezkin
fbafaa8ac5
add recipient/broker subscription state to protocol command type
2020-05-10 11:10:34 +01:00
Evgeny Poberezkin
f3f39e760a
refine definition of Subscribe to prevent subscription in None and Disabled states
2020-05-10 09:50:09 +01:00
Evgeny Poberezkin
7520c681da
establishConnection protocol flow
2020-05-09 23:23:18 +01:00
Evgeny Poberezkin
f9e75aebeb
protocol commands
2020-05-09 21:30:39 +01:00
Evgeny Poberezkin
53055dcae6
Show and Eq instances
2020-05-09 14:15:04 +01:00
Evgeny Poberezkin
3923de9b49
change data familiy to type family
2020-05-09 13:40:32 +01:00
Evgeny Poberezkin
7dce45ea2a
add comment
2020-05-09 13:28:05 +01:00
Evgeny Poberezkin
a796215de2
move extensions to code
2020-05-09 13:24:08 +01:00
Evgeny Poberezkin
17aabcde04
gitignore
2020-05-09 12:41:04 +01:00
Evgeny Poberezkin
7ee44a6d41
connection states in haskell protocol definition
2020-05-09 12:38:07 +01:00
Evgeny Poberezkin
b16b5c5948
remove participants "list"
2020-05-08 17:40:48 +01:00
Evgeny Poberezkin
bbb763655e
participants list (to be removed)
2020-05-08 17:36:04 +01:00
Evgeny Poberezkin
4a3e76cea1
change operator
2020-05-08 13:35:01 +01:00
Evgeny Poberezkin
b64a2e615d
add type-verified command actor (from)
2020-05-08 13:33:54 +01:00
Evgeny Poberezkin
222051fc5d
make message count second in tuple
2020-05-08 13:20:49 +01:00
Evgeny Poberezkin
23d07cc350
add connection message count to command type
2020-05-08 13:15:41 +01:00
Evgeny Poberezkin
77fb8b9ce0
scenario using deterministic command resulting state
2020-05-08 11:30:06 +01:00
Evgeny Poberezkin
df0552ef6b
move to subfolder
2020-05-08 10:17:20 +01:00
Evgeny Poberezkin
5689cd9064
change used connection state proofs
2020-05-08 10:12:51 +01:00
Evgeny Poberezkin
947d7676a2
fix types
2020-05-08 10:03:47 +01:00
Evgeny Poberezkin
bcd58117a2
connection states for all participants stored in one type (r <==> b <==| s)
2020-05-08 09:58:27 +01:00
Evgeny Poberezkin
a6d963035e
protocol command type - establishing connection
2020-05-07 21:24:18 +01:00
Evgeny Poberezkin
ece63ea894
protocol command type [WIP]
2020-05-07 18:45:19 +01:00
Evgeny Poberezkin
22e14c821c
correction
2020-05-07 18:05:05 +01:00
Evgeny Poberezkin
e7550f026c
improve connection data structures
2020-05-07 17:58:42 +01:00
Evgeny Poberezkin
f4c4dde30f
unify connection states
2020-05-07 17:19:17 +01:00
Evgeny Poberezkin
de706b9d23
connection states and data (in idris)
2020-05-07 13:43:09 +01:00
Evgeny Poberezkin
5643c6e270
lint
2020-04-10 18:33:50 +01:00
Evgeny Poberezkin
3f7be07d53
classy-prelude
2020-04-10 18:32:36 +01:00
Evgeny Poberezkin
ddfda96523
type names
2020-03-21 19:15:59 +00:00
Evgeny Poberezkin
c34ba79f0b
executable name
2020-03-21 18:27:20 +00:00
Evgeny Poberezkin
b8991a4fbf
src folder
2020-03-21 18:19:57 +00:00
Evgeny Poberezkin
a6700c1633
definitions
2020-03-21 18:16:25 +00:00
Evgeny Poberezkin
bee8366e51
expose modules
2020-03-21 18:08:24 +00:00
Evgeny Poberezkin
cb39727088
simplex messaging api types and docs generation ( #32 )
...
* simplex messaging api types and docs generation
* api endpoints annotations
* endpoint titles
* refactor
2020-03-21 18:00:25 +00:00
Efim Poberezkin
22f2e318af
apply minor corrections ( #26 )
...
* docs: websocket API, changed failed REST response codes, #23
* apply minor corrections
Co-authored-by: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com>
2020-02-01 16:21:12 +04:00
Evgeny Poberezkin
2fa21836ba
docs: websocket API, changed failed REST response codes, #23 ( #25 )
2020-02-01 10:23:12 +00:00
Evgeny Poberezkin
3e07161121
Remove connection ID and alternative flow ( #22 )
...
* docs: remove connection ID from simplex-messaging.md, #8
* docs: remove alternative flow in simplex-messaging, #20
* docs: update simplex diagrams to remove connection ID
* docs: remove connection ID from graph-chat
* docs: update duplex connection diagram to remove connection ID, closes #8
2020-01-26 21:34:14 +00:00
Evgeny Poberezkin
cc04a5cc6e
Simplify API, remove connection ID, add single message API ( #19 )
...
* docs: simplify API, remove connection ID, add single message API, closes #12
* dos: correct protocol implementation spec
* fix typo
Co-authored-by: Efim Poberezkin <efim.poberezkin@gmail.com>
2020-01-26 21:30:27 +00:00
Evgeny Poberezkin
5074d5baaa
docs: AGPL v3 license, closes #17 ( #21 )
2020-01-26 10:37:10 +00:00
Evgeny Poberezkin
9b5ac493d5
docs: comparison with P2P, closes #14 ( #18 )
2020-01-25 12:54:13 +00:00
Efim Poberezkin
a78dd33848
Rename edge-messaging to simplex messaging ( #15 )
...
* rename edge-messaging protocol related files
* rename edge-messaging protocol to simplex messaging protocol
* adjust wordings for simplex connections
2020-01-25 13:19:34 +04:00
Evgeny Poberezkin
983f9af714
Connection URIs ( #11 )
...
* simplex connection: why RU and SU should be different, closes #5
* remove api allowing connection URIs change
2020-01-22 19:09:07 +04:00
