wip, lost parts

This commit is contained in:
Dmitry Zuikov 2024-08-27 07:07:23 +03:00
parent de4c83da9d
commit cd694def6d
1 changed files with 11 additions and 0 deletions

View File

@ -124,6 +124,17 @@ deriving instance
)
=> Eq (GroupKey 'Symm s)
getGroupKeyIdScheme :: GroupKey 'Symm s -> Maybe GroupKeyIdScheme
getGroupKeyIdScheme = \case
GroupKeySymmPlain{} -> Nothing
GroupKeySymmFancy{..} -> groupKeyIdScheme
getGroupKeyId :: GroupKey 'Symm s -> Maybe GroupKeyId
getGroupKeyId = \case
GroupKeySymmPlain{} -> Nothing
GroupKeySymmFancy{..} -> groupKeyId
getGroupKeyTimestamp :: GroupKey 'Symm s -> Maybe Word64
getGroupKeyTimestamp = \case
GroupKeySymmPlain{} -> Nothing