From bc5c7d3fdee091b550af838e670d19d9ee4fe5e8 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Sat, 27 May 2023 15:56:28 +0200 Subject: [PATCH] Grooming. --- src/App/Messages/AuthenticationDaemon.purs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/App/Messages/AuthenticationDaemon.purs b/src/App/Messages/AuthenticationDaemon.purs index a40e0e9..acab044 100644 --- a/src/App/Messages/AuthenticationDaemon.purs +++ b/src/App/Messages/AuthenticationDaemon.purs @@ -100,9 +100,9 @@ codecGotPermissionCheck = CA.object "PermissionCheck" (CAR.record { user: CA.int , permission: PermissionLevel.codec }) codecGotPermissionSet :: CA.JsonCodec PermissionSet codecGotPermissionSet = CA.object "PermissionSet" (CAR.record { user: CA.int - , service: CA.string - , resource: CA.string - , permission: PermissionLevel.codec }) + , service: CA.string + , resource: CA.string + , permission: PermissionLevel.codec }) codecGotContacts ∷ CA.JsonCodec Contacts codecGotContacts = CA.object "Contacts" (CAR.record { user: CA.int , email: CAR.optional Email.codec