refactor types (#1551)

This commit is contained in:
Evgeny
2025-05-27 22:31:02 +01:00
committed by GitHub
parent f80ed32a06
commit 53b72469b6
17 changed files with 87 additions and 72 deletions
+2 -2
View File
@@ -168,8 +168,8 @@ data RCCtrlPairing = RCCtrlPairing
}
data RCHostKeys = RCHostKeys
{ sessKeys :: C.KeyPair 'C.Ed25519,
dhKeys :: C.KeyPair 'C.X25519
{ sessKeys :: C.KeyPairEd25519,
dhKeys :: C.KeyPairX25519
}
-- Connected session with Host