karchnu
/
halogen-websocket-ipc-playzone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Grooming.

master
Philippe Pittoli 2023-05-27 15:56:28 +02:00
parent f66aba1c41
commit bc5c7d3fde
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/App/Messages/AuthenticationDaemon.purs
View File

@ -100,9 +100,9 @@ codecGotPermissionCheck = CA.object "PermissionCheck" (CAR.record { user: CA.int
, permission: PermissionLevel.codec }) , permission: PermissionLevel.codec })
codecGotPermissionSet :: CA.JsonCodec PermissionSet codecGotPermissionSet :: CA.JsonCodec PermissionSet
codecGotPermissionSet = CA.object "PermissionSet" (CAR.record { user: CA.int codecGotPermissionSet = CA.object "PermissionSet" (CAR.record { user: CA.int
, service: CA.string , service: CA.string
, resource: CA.string , resource: CA.string
, permission: PermissionLevel.codec }) , permission: PermissionLevel.codec })
codecGotContacts ∷ CA.JsonCodec Contacts codecGotContacts ∷ CA.JsonCodec Contacts
codecGotContacts = CA.object "Contacts" (CAR.record { user: CA.int codecGotContacts = CA.object "Contacts" (CAR.record { user: CA.int
, email: CAR.optional Email.codec , email: CAR.optional Email.codec