Commit graph

  • 063b7286e2 refactor: make Protocol a freer parameterized monad Evgeny Poberezkin 2020-07-10 11:54:09 +01:00
  • cffb8bd11a refactor: make Protocol closer to parameterized monad Evgeny Poberezkin 2020-07-10 11:13:01 +01:00
  • d74c109328 use ExceptT Evgeny Poberezkin 2020-05-31 22:37:08 +01:00
  • cc55bf3e6b
    Different approach to commands (#34) Evgeny Poberezkin 2020-05-31 21:51:15 +01:00
  • ecfa816e8a remove NoImplicitePrelude from doctest (although there are no doctests atm) #34 Evgeny Poberezkin 2020-05-31 21:50:41 +01:00
  • 8e9c37284d remove unused prf/predicate templates Evgeny Poberezkin 2020-05-31 21:46:24 +01:00
  • 22690bf0ef remove old files Evgeny Poberezkin 2020-05-31 21:44:03 +01:00
  • c8646ed659 pretty-print scenarion Evgeny Poberezkin 2020-05-31 21:43:34 +01:00
  • 6b18f5fb16 PartyProtocol class and other commands Evgeny Poberezkin 2020-05-26 21:45:11 +01:00
  • 9ca21724d1 different approach to command types (WIP) Evgeny Poberezkin 2020-05-25 22:45:42 +01:00
  • dc7835992c remove Drained state Evgeny Poberezkin 2020-05-25 09:20:22 +01:00
  • bdec751725
    Instance template (#33) Evgeny Poberezkin 2020-05-14 21:30:37 +01:00
  • 6c327e1d57 check Command type + doctest #33 Evgeny Poberezkin 2020-05-14 21:17:49 +01:00
  • 1234d12043 PushConfirm and and PushMsg implementation types Evgeny Poberezkin 2020-05-14 20:31:52 +01:00
  • d9c957f3c2 add methods to check correctness of participant types in protocol TH Evgeny Poberezkin 2020-05-14 19:54:10 +01:00
  • d2f5846f68 protocol instances template Evgeny Poberezkin 2020-05-14 19:14:41 +01:00
  • d84257ceb0 protocol instance template [WIP] Evgeny Poberezkin 2020-05-13 22:26:23 +01:00
  • aa2ac80cf9 simplify predicate template Evgeny Poberezkin 2020-05-13 11:47:24 +01:00
  • a9565a5754 predicate template to add Auto instances Evgeny Poberezkin 2020-05-12 19:27:08 +01:00
  • 223931bc93 Subscribe recipient command stub Evgeny Poberezkin 2020-05-11 20:51:08 +01:00
  • 6eb75a5bdb type classes to ensure consistency of implementation types with command types Evgeny Poberezkin 2020-05-11 20:45:17 +01:00
  • f07f99c94f instance PrfCommand for CreateConn command [WIP - not working yet] Evgeny Poberezkin 2020-05-11 08:27:34 +01:00
  • f52ce87a89 type classes to ensure consistency of implementation types with the protocol Evgeny Poberezkin 2020-05-10 20:51:03 +01:00
  • eb5e99710f change scenario syntax Evgeny Poberezkin 2020-05-10 14:16:37 +01:00
  • 08274c9b52 track connection message count in type, remove ticks from promoted constructors Evgeny Poberezkin 2020-05-10 12:13:24 +01:00
  • fbafaa8ac5 add recipient/broker subscription state to protocol command type Evgeny Poberezkin 2020-05-10 11:10:34 +01:00
  • f3f39e760a refine definition of Subscribe to prevent subscription in None and Disabled states Evgeny Poberezkin 2020-05-10 09:50:09 +01:00
  • 7520c681da establishConnection protocol flow Evgeny Poberezkin 2020-05-09 23:23:18 +01:00
  • f9e75aebeb protocol commands Evgeny Poberezkin 2020-05-09 21:30:39 +01:00
  • 53055dcae6 Show and Eq instances Evgeny Poberezkin 2020-05-09 14:15:04 +01:00
  • 3923de9b49 change data familiy to type family Evgeny Poberezkin 2020-05-09 13:40:32 +01:00
  • 7dce45ea2a add comment Evgeny Poberezkin 2020-05-09 13:28:05 +01:00
  • a796215de2 move extensions to code Evgeny Poberezkin 2020-05-09 13:24:08 +01:00
  • 17aabcde04 gitignore Evgeny Poberezkin 2020-05-09 12:41:04 +01:00
  • 7ee44a6d41 connection states in haskell protocol definition Evgeny Poberezkin 2020-05-09 12:38:07 +01:00
  • b16b5c5948 remove participants "list" Evgeny Poberezkin 2020-05-08 17:40:48 +01:00
  • bbb763655e participants list (to be removed) Evgeny Poberezkin 2020-05-08 17:36:04 +01:00
  • 4a3e76cea1 change operator Evgeny Poberezkin 2020-05-08 13:35:01 +01:00
  • b64a2e615d add type-verified command actor (from) Evgeny Poberezkin 2020-05-08 13:33:54 +01:00
  • 222051fc5d make message count second in tuple Evgeny Poberezkin 2020-05-08 13:20:49 +01:00
  • 23d07cc350 add connection message count to command type Evgeny Poberezkin 2020-05-08 13:15:41 +01:00
  • 77fb8b9ce0 scenario using deterministic command resulting state Evgeny Poberezkin 2020-05-08 11:30:06 +01:00
  • df0552ef6b move to subfolder Evgeny Poberezkin 2020-05-08 10:17:20 +01:00
  • 5689cd9064 change used connection state proofs Evgeny Poberezkin 2020-05-08 10:12:51 +01:00
  • 947d7676a2 fix types Evgeny Poberezkin 2020-05-08 10:03:47 +01:00
  • bcd58117a2 connection states for all participants stored in one type (r <==> b <==| s) Evgeny Poberezkin 2020-05-08 09:58:27 +01:00
  • a6d963035e protocol command type - establishing connection Evgeny Poberezkin 2020-05-07 21:24:18 +01:00
  • ece63ea894 protocol command type [WIP] Evgeny Poberezkin 2020-05-07 18:45:19 +01:00
  • 22e14c821c correction Evgeny Poberezkin 2020-05-07 18:05:05 +01:00
  • e7550f026c improve connection data structures Evgeny Poberezkin 2020-05-07 17:58:42 +01:00
  • f4c4dde30f unify connection states Evgeny Poberezkin 2020-05-07 17:19:17 +01:00
  • de706b9d23 connection states and data (in idris) Evgeny Poberezkin 2020-05-07 13:43:09 +01:00
  • 5643c6e270 lint Evgeny Poberezkin 2020-04-10 18:33:50 +01:00
  • 3f7be07d53 classy-prelude Evgeny Poberezkin 2020-04-10 18:32:36 +01:00
  • ddfda96523 type names Evgeny Poberezkin 2020-03-21 19:15:59 +00:00
  • c34ba79f0b executable name Evgeny Poberezkin 2020-03-21 18:27:20 +00:00
  • b8991a4fbf src folder Evgeny Poberezkin 2020-03-21 18:19:57 +00:00
  • a6700c1633 definitions Evgeny Poberezkin 2020-03-21 18:16:25 +00:00
  • bee8366e51 expose modules Evgeny Poberezkin 2020-03-21 18:08:24 +00:00
  • cb39727088
    simplex messaging api types and docs generation (#32) Evgeny Poberezkin 2020-03-21 18:00:25 +00:00
  • 0be2d4cb1f refactor #32 Evgeny Poberezkin 2020-03-21 17:58:37 +00:00
  • f7978404f5 endpoint titles Evgeny Poberezkin 2020-03-21 16:26:56 +00:00
  • 7664bd3576 api endpoints annotations Evgeny Poberezkin 2020-03-21 15:34:59 +00:00
  • 1b5a794529 simplex messaging api types and docs generation Evgeny Poberezkin 2020-03-15 20:55:37 +00:00
  • 22f2e318af
    apply minor corrections (#26) Efim Poberezkin 2020-02-01 16:21:13 +04:00
  • 7b6e829d18
    resolve merge conflicts #26 Efim Poberezkin 2020-02-01 15:08:29 +04:00
  • 2fa21836ba
    docs: websocket API, changed failed REST response codes, #23 (#25) Evgeny Poberezkin 2020-02-01 10:23:12 +00:00
  • d2b6e02a06
    apply minor corrections Efim Poberezkin 2020-01-31 18:47:48 +04:00
  • 02d70d97e7 docs: websocket API, changed failed REST response codes, #23 #25 Evgeny Poberezkin 2020-01-30 21:38:14 +00:00
  • 3e07161121
    Remove connection ID and alternative flow (#22) Evgeny Poberezkin 2020-01-26 21:34:14 +00:00
  • cc04a5cc6e
    Simplify API, remove connection ID, add single message API (#19) Evgeny Poberezkin 2020-01-26 21:30:27 +00:00
  • 250de129ee fix typo #19 Efim Poberezkin 2020-01-27 00:56:54 +04:00
  • bed13b8cbb dos: correct protocol implementation spec Evgeny Poberezkin 2020-01-26 11:22:58 +00:00
  • 5074d5baaa
    docs: AGPL v3 license, closes #17 (#21) Evgeny Poberezkin 2020-01-26 10:37:10 +00:00
  • 7a2fa5471d docs: update duplex connection diagram to remove connection ID, closes #8 #22 Evgeny Poberezkin 2020-01-25 20:05:49 +00:00
  • dfc4cc89b2 docs: remove connection ID from graph-chat Evgeny Poberezkin 2020-01-25 20:02:54 +00:00
  • 8c7ce62ebc docs: update simplex diagrams to remove connection ID Evgeny Poberezkin 2020-01-25 19:58:33 +00:00
  • f6a4da0337 docs: remove alternative flow in simplex-messaging, #20 Evgeny Poberezkin 2020-01-25 19:42:15 +00:00
  • a8c29fa099 docs: remove connection ID from simplex-messaging.md, #8 Evgeny Poberezkin 2020-01-25 19:40:15 +00:00
  • 6360e13a24 docs: AGPL v3 license, closes #17 #21 Evgeny Poberezkin 2020-01-25 17:53:03 +00:00
  • d3718f7382 docs: simplify API, remove connection ID, add single message API, closes #12 Evgeny Poberezkin 2020-01-25 17:34:58 +00:00
  • 9b5ac493d5
    docs: comparison with P2P, closes #14 (#18) Evgeny Poberezkin 2020-01-25 12:54:13 +00:00
  • 4fdc68931e docs: comparison with P2P, closes #14 #18 Evgeny Poberezkin 2020-01-25 10:06:16 +00:00
  • a78dd33848
    Rename edge-messaging to simplex messaging (#15) Efim Poberezkin 2020-01-25 13:19:34 +04:00
  • b607cd5f23 adjust wordings for simplex connections #15 Efim Poberezkin 2020-01-25 12:30:33 +04:00
  • 8831482233 rename edge-messaging protocol to simplex messaging protocol Efim Poberezkin 2020-01-24 14:32:45 +04:00
  • 535c22d122 rename edge-messaging protocol related files Efim Poberezkin 2020-01-24 13:45:39 +04:00
  • 983f9af714 Connection URIs (#11) Evgeny Poberezkin 2020-01-22 15:09:07 +00:00
  • 51198cca17 docs: minor spelling errors (#13) Gajus Kuizinas 2020-01-22 23:03:40 +09:00
  • 1fadb9e175
    docs: minor spelling errors #13 Gajus Kuizinas 2020-01-22 19:14:22 +09:00
  • 4a50c25e2e remove api allowing connection URIs change #11 Evgeny Poberezkin 2020-01-21 21:41:37 +00:00
  • 356f50be06 simplex connection: why RU and SU should be different, closes #5 Evgeny Poberezkin 2020-01-21 21:36:46 +00:00
  • bc460f0e31
    Split to edge-messaging and graph-chat (#1) Evgeny Poberezkin 2020-01-21 21:01:48 +00:00
  • 531043e0ba clarify duplex diagram #1 Evgeny Poberezkin 2020-01-21 20:56:32 +00:00
  • cb28ef5cac graph-chat: comment on user profile visibility Evgeny Poberezkin 2020-01-21 20:51:22 +00:00
  • 1c3b5abca9 graph-chat: added duplex connection types Evgeny Poberezkin 2020-01-21 20:47:52 +00:00
  • 1d3d8f5ff2
    update readme (#4) Evgeny Poberezkin 2020-01-21 20:38:42 +00:00
  • f6184b8d1e correct readme #4 Evgeny Poberezkin 2020-01-21 20:38:04 +00:00
  • 522b45631a apply minor fixes Efim Poberezkin 2020-01-21 19:53:27 +04:00
  • bf54cef0e5 remove old diagrams Evgeny Poberezkin 2020-01-19 19:53:57 +00:00