[WPB-17534] user groups: getGroups, getGroupsForUser

[fisx]

https://wearezeta.atlassian.net/browse/WPB-17534

Checklist

• Add a new entry in an appropriate subdirectory of changelog.d
• Read and follow the PR guidelines

[fisx]

forgot to add this:

    describe "GetGroups :: UserId -> Maybe Int -> Maybe UUID -> UserGroupSubsystem m UserGroupPage" $ do
      let nugs = [1 .. 15] <&> \(i :: Int) -> NewUserGroup (either (error . show) id $ userGroupNameFromText $ cs $ show i) mempty

          check :: UserGroupPage -> [UserGroupId] -> Bool -> Property
          check have wantPage wantHasMore = (have.page <&> (.id_)) === wantPage .&&. have.hasMore === wantHasMore

          lastKeyOf :: UserGroupPage -> UserGroupId
          lastKeyOf = Id . toUUID . (.id_) . last . (.page)

      prop "pagination (static case): eventually gives you the entire data set (nothing gets removed or duplicated)" $
        \team ->
          expectRight
            . runDependencies (allUsers team) (galleyTeam team)
            . interpretUserGroupSubsystem
            $ do
              let owner = qUnqualified (fst team.owner).userQualifiedId
              gids <- (sort . ((.id_) <$>)) <$> createGroup owner `mapM` nugs
              allOfThem <- getGroups owner Nothing Nothing
              first3 <- getGroups owner (Just 3) Nothing
              next4 <- getGroups owner (Just 4) (Just $ lastKeyOf first3)

              pure $
                check allOfThem gids False
                  .&&. check first3 (take 3 gids) True
                  .&&. check next4 (take 4 (drop 3 gids)) True

      prop "paginates well under updates" $ do
        \team ->
          expectRight
            . runDependencies (allUsers team) (galleyTeam team)
            . interpretUserGroupSubsystem
            $ do
              let owner = qUnqualified (fst team.owner).userQualifiedId
              gids <- (sort . ((.id_) <$>)) <$> createGroup owner `mapM` nugs

              -- read first page
              beforeNewCreate <- getGroups owner (Just 8) Nothing
              -- mess with database
              newGroup <- createGroup owner (NewUserGroup (either (error . show) id $ userGroupNameFromText "the new one") mempty)
              -- read second page
              afterNewCreate <- getGroups owner Nothing (Just $ lastKeyOf beforeNewCreate)

              pure $
                check beforeNewCreate (take 8 gids) True
                  .&&. let afterGids = drop 8 (sort (newGroup.id_ : gids))
                        in check afterNewCreate afterGids False