Skip to content
This repository has been archived by the owner on Jan 17, 2020. It is now read-only.

Commit

Permalink
rename printGroupPath to runGroupPath add printGroupPath and printUserId
Browse files Browse the repository at this point in the history
  • Loading branch information
safareli committed Mar 19, 2018
1 parent 5c99c8d commit 9f2cd69
Showing 1 changed file with 12 additions and 6 deletions.
18 changes: 12 additions & 6 deletions src/Quasar/Advanced/Types.purs
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,11 @@ derive instance eqGroupPath ∷ Eq GroupPath
derive instance ordGroupPathOrd GroupPath
derive instance newtypeGroupPathNewtype.Newtype GroupPath _

printGroupPath GroupPath NonEmptyString
printGroupPath gp =
printGroupPath GroupPath String
printGroupPath = NES.toString <<< runGroupPath

runGroupPath GroupPath NonEmptyString
runGroupPath gp =
let
dir = Newtype.un GroupPath gp
in
Expand Down Expand Up @@ -98,7 +101,7 @@ derive instance ordQResource ∷ Ord QResource
instance encodeJsonQResourceEncodeJson QResource where
encodeJson (File pt) = encodeJson $ "data:" <> printQPath pt
encodeJson (Dir pt) = encodeJson $ "data:" <> printQPath pt
encodeJson (Group gpt) = encodeJson $ "group:" <> NES.toString (printGroupPath gpt)
encodeJson (Group gpt) = encodeJson $ "group:" <> printGroupPath gpt

instance decodeJsonQResourceDecodeJson QResource where
decodeJson js = do
Expand Down Expand Up @@ -161,6 +164,9 @@ newtype UserId = UserId NonEmptyString
runUserId UserId NonEmptyString
runUserId (UserId s) = s

printUserId UserId String
printUserId = NES.toString <<< runUserId

derive instance eqUserIdEq UserId
derive instance ordUserIdOrd UserId

Expand Down Expand Up @@ -218,7 +224,7 @@ derive instance ordGrantedTo ∷ Ord GrantedTo

instance encodeJsonGrantedToEncodeJson GrantedTo where
encodeJson (UserGranted uid) = encodeJson uid
encodeJson (GroupGranted gpt) = encodeJson $ NES.toString (printGroupPath gpt)
encodeJson (GroupGranted gpt) = encodeJson $ printGroupPath gpt
encodeJson (TokenGranted tk) = encodeJson tk

instance decodeJsonGrantedToDecodeJson GrantedTo where
Expand Down Expand Up @@ -337,7 +343,7 @@ instance encodeJsonShareableSubject ∷ EncodeJson ShareableSubject where
encodeJson (UserSubject (UserId uid)) =
encodeJson $ "user:" <> NES.toString uid
encodeJson (GroupSubject gpt) =
encodeJson $ NES.toString (printGroupPath gpt)
encodeJson $ printGroupPath gpt


type ShareRequestR =
Expand All @@ -354,7 +360,7 @@ runShareRequest (ShareRequest r) = r
instance encodeJsonShareRequestEncodeJson ShareRequest where
encodeJson (ShareRequest obj) =
"subjects" := ((map (append "user:" <<< NES.toString <<< runUserId) obj.users)
<> map (append "group:" <<< NES.toString <<< printGroupPath) obj.groups)
<> map (append "group:" <<< printGroupPath) obj.groups)
~> "actions" := (map Action $ obj.actions)
~> jsonEmptyObject

Expand Down

0 comments on commit 9f2cd69

Please sign in to comment.