From 20b3a5aeb27c032f06ba3cf1708bb93a60f2bfc0 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Sat, 27 May 2023 13:01:23 +0200 Subject: [PATCH] Grooming for the PermissionLevel module. --- src/App/PermissionLevel.purs | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/src/App/PermissionLevel.purs b/src/App/PermissionLevel.purs index eb55ee4..77407c7 100644 --- a/src/App/PermissionLevel.purs +++ b/src/App/PermissionLevel.purs @@ -1,10 +1,7 @@ --- | TODO: Phone module should include at least some sort of smart --- | constructors, rejecting invalid phone numbers. module App.PermissionLevel where import Prelude -import Data.Codec.Argonaut (JsonCodec) import Data.Codec.Argonaut as CA import Data.Codec.Argonaut.Variant as CAV import Data.Variant as V @@ -23,10 +20,10 @@ codec = dimap toVariant fromVariant $ CAV.variantMatch { permission: Right CA.string } where toVariant = case _ of - None → V.inj (Proxy ∷ _ "permission") "none" - Read → V.inj (Proxy ∷ _ "permission") "read" - Edit → V.inj (Proxy ∷ _ "permission") "edit" - Admin → V.inj (Proxy ∷ _ "permission") "admin" + None → V.inj (Proxy ∷ _ "permission") "none" + Read → V.inj (Proxy ∷ _ "permission") "read" + Edit → V.inj (Proxy ∷ _ "permission") "edit" + Admin → V.inj (Proxy ∷ _ "permission") "admin" fromVariant = V.match { permission: