dandri/simplex-chat
1
0 Fork 0
mirror of https://github.com/simplex-chat/simplex-chat.git synced 2026-10-23 08:33:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

stricter Enabled

Browse Source
This commit is contained in:
Evgeny Poberezkin committed 2020-07-10 14:50:52 +01:00
1 parent b19b5be50e
commit 283eacd9a5
2 files changed
+7 -5
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

definitions/src/Simplex/Messaging/Protocol.hs
+6 -5
View File
@@ -45,7 +45,7 @@ $( singletons
)
type family HasState (p :: Party) (s :: ConnState) :: Constraint where
HasState Recipient s = ()
HasState Recipient _ = ()
HasState Broker None = ()
HasState Broker New = ()
HasState Broker Secured = ()
@@ -55,10 +55,11 @@ type family HasState (p :: Party) (s :: ConnState) :: Constraint where
HasState Sender Confirmed = ()
HasState Sender Secured = ()
type Enabled rs bs =
( (rs == New || rs == Pending || rs == Confirmed || rs == Secured) ~ True,
(bs == New || bs == Secured) ~ True
)
type family Enabled (rs :: ConnState) (bs :: ConnState) :: Constraint where
Enabled New New = ()
Enabled Pending New = ()
Enabled Confirmed New = ()
Enabled Secured Secured = ()
type PartyCmd = (Party, ConnState, ConnState)