mirror of
https://code.sup39.dev/repos/Wqawg
synced 2025-01-03 04:34:50 +09:00
c0965a4c47
* Repo collab now supports basic default roles developer/user/guest like project collab does * User/Anon collab for repos and projects are now stored as fields instead of in dedicated tables, there was never a need for dedicated tables but I didn't see that before * Repo push op is now part of `ProjectOperation` * `RepoRole` and related code has been entirely removed, only project roles remain and they're used for both repos and projects * This is the first not-totally-trivial DB migration in Vervis, it's automatic but please be careful and report errors
61 lines
2 KiB
Haskell
61 lines
2 KiB
Haskell
{- This file is part of Vervis.
|
|
-
|
|
- Written in 2016, 2019 by fr33domlover <fr33domlover@riseup.net>.
|
|
-
|
|
- ♡ Copying is an act of love. Please copy, reuse and share.
|
|
-
|
|
- The author(s) have dedicated all copyright and related and neighboring
|
|
- rights to this software to the public domain worldwide. This software is
|
|
- distributed without any warranty.
|
|
-
|
|
- You should have received a copy of the CC0 Public Domain Dedication along
|
|
- with this software. If not, see
|
|
- <http://creativecommons.org/publicdomain/zero/1.0/>.
|
|
-}
|
|
|
|
module Vervis.Role
|
|
( getProjectRoleGraph
|
|
)
|
|
where
|
|
|
|
import Prelude
|
|
|
|
import Control.Arrow (second, (&&&), (***))
|
|
import Data.Graph.Inductive.Graph (mkGraph)
|
|
import Data.Graph.Inductive.PatriciaTree (Gr)
|
|
import Data.Tuple (swap)
|
|
import Database.Esqueleto
|
|
import Yesod.Persist.Core (runDB)
|
|
|
|
import qualified Data.HashMap.Lazy as M (fromList, lookup)
|
|
import qualified Database.Persist as P
|
|
|
|
import Vervis.Foundation
|
|
import Vervis.Model
|
|
import Vervis.Model.Ident
|
|
|
|
getProjectRoleGraph :: SharerId -> AppDB (Gr RlIdent ())
|
|
getProjectRoleGraph sid = do
|
|
(roles, inhs) <- do
|
|
prs <- P.selectList [ProjectRoleSharer P.==. sid] []
|
|
prhs <- select $ from $ \ (pr `InnerJoin` prh) -> do
|
|
on $ pr ^. ProjectRoleId ==. prh ^. ProjectRoleInheritParent
|
|
where_ $ pr ^. ProjectRoleSharer ==. val sid
|
|
return prh
|
|
return (prs, prhs)
|
|
let numbered = zip [1..] roles
|
|
nodes = map (second $ projectRoleIdent . entityVal) numbered
|
|
nodeMap = M.fromList $ map (swap . second entityKey) numbered
|
|
pridToNode prid =
|
|
case M.lookup prid nodeMap of
|
|
Nothing -> error "Role graph: Node not found in node map"
|
|
Just n -> n
|
|
edges =
|
|
map
|
|
( (\ (c, p) -> (c, p, ()))
|
|
. (pridToNode *** pridToNode)
|
|
. (projectRoleInheritChild &&& projectRoleInheritParent)
|
|
. entityVal
|
|
)
|
|
inhs
|
|
return $ mkGraph nodes edges
|