From 7dce45ea2a8ba271881b2bfc103eb3c6609da121 Mon Sep 17 00:00:00 2001 From: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com> Date: Sat, 9 May 2020 13:28:05 +0100 Subject: [PATCH] add comment --- definitions/src/Simplex/Messaging/Protocol.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/definitions/src/Simplex/Messaging/Protocol.hs b/definitions/src/Simplex/Messaging/Protocol.hs index 1a9de076ed..d486c0cd20 100644 --- a/definitions/src/Simplex/Messaging/Protocol.hs +++ b/definitions/src/Simplex/Messaging/Protocol.hs @@ -97,9 +97,7 @@ data instance (<==|) (rs <==> bs) ss :: Type where -> Sing ss -> rs <==> bs <==| ss -st1 :: 'New <==> 'New -st1 = SNew :<==> SNew - +-- recipient <==> broker <==| sender st2 :: 'Pending <==> 'New <==| 'Confirmed st2 = SPending :<==> SNew :<==| SConfirmed