voidlizard
/
hbs2
mirror of https://github.com/voidlizard/hbs2
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

lens for disclosed keys

This commit is contained in:
Dmitry Zuikov 2024-04-15 06:53:48 +03:00
parent ceeb498505
commit 803ec90ebc
1 changed files with 20 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
hbs2-peer/lib/HBS2/Peer/Proto/RefChan/Types.hs
View File

@ -144,12 +144,13 @@ instance Expires (EventKey e (RefChanNotify e)) where
type ForRefChans e = ( Serialise (PubKey 'Sign (Encryption e)) type ForRefChans e = ( Serialise (PubKey 'Sign (Encryption e))
, Serialise (PrivKey 'Sign (Encryption e)) , Serialise (PrivKey 'Sign (Encryption e))
, Serialise (Signature (Encryption e))
, Serialise (PubKey 'Encrypt (Encryption e))
, Serialise (PrivKey 'Encrypt (Encryption e))
, Pretty (AsBase58 (PubKey 'Sign (Encryption e))) , Pretty (AsBase58 (PubKey 'Sign (Encryption e)))
, FromStringMaybe (PubKey 'Sign (Encryption e)) , FromStringMaybe (PubKey 'Sign (Encryption e))
, FromStringMaybe (PubKey 'Encrypt (Encryption e)) , FromStringMaybe (PubKey 'Encrypt (Encryption e))
, Signatures (Encryption e) , Signatures (Encryption e)
, Serialise (Signature (Encryption e))
, Serialise (PubKey 'Encrypt (Encryption e))
, Hashable (PubKey 'Encrypt (Encryption e)) , Hashable (PubKey 'Encrypt (Encryption e))
, Hashable (PubKey 'Sign (Encryption e)) , Hashable (PubKey 'Sign (Encryption e))
) )
@ -186,6 +187,23 @@ refChanHeadNotifiers = lens g s
s v@(RefChanHeadBlock2{}) x = v { _refChanHeadNotifiers' = x } s v@(RefChanHeadBlock2{}) x = v { _refChanHeadNotifiers' = x }
s x _ = x s x _ = x
refChanHeadDisclosed :: forall e . ForRefChans e
=> SimpleGetter (RefChanHeadBlock e) [RefChanDisclosedCredentials e]
refChanHeadDisclosed = to getDisclosed
where
getDisclosed :: ForRefChans e => RefChanHeadBlock e -> [RefChanDisclosedCredentials e]
getDisclosed blk = case blk of
RefChanHeadBlockSmall{} -> []
RefChanHeadBlock1{} -> []
RefChanHeadBlock2{..} -> extractDisclosed _refChanHeadExt
extractDisclosed :: ByteString -> [RefChanDisclosedCredentials e]
extractDisclosed ext = case deserialiseOrFail @(RefChanHeadExt e) (LBS.fromStrict ext) of
Right (RefChanHeadExt exts) -> rights $ map (deserialiseOrFail @(RefChanDisclosedCredentials e)) exts
Left _ -> []
instance ForRefChans e => Serialise (RefChanHeadBlock e) instance ForRefChans e => Serialise (RefChanHeadBlock e)
type instance SessionData e (RefChanHeadBlock e) = RefChanHeadBlock e type instance SessionData e (RefChanHeadBlock e) = RefChanHeadBlock e