DB: Permit: Use Resource instead of Actor in extension resource

src/Vervis/Actor/Person.hs

@@ -900,9 +900,10 @@ personGrant now recipPersonID (Verse authorIdMsig body) grant = do
                     AP.RXRole r -> pure r
                     AP.RXDelegator -> throwE "I've been delegated a Grant with role being delegate"
             resourceDB <- bitraverse
-                (\ la ->
+                (\ la -> do
-                    withDBExcept $ localActorID <$>
+                    lr <- fromMaybeE (actorToResource la) "Got an extension-Grant with resource being a local Person"
-                        getLocalActorEntityE la "Extension-Grant resource not found in DB"
+                    withDBExcept $ localResourceID <$>
+                        getLocalResourceEntityE lr "Extension-Grant resource not found in DB"
                 )
                 (\ (ObjURI h lu) -> do
                     manager <- asksEnv envHttpManager
@@ -1057,7 +1058,7 @@ personGrant now recipPersonID (Verse authorIdMsig body) grant = do
                                 return extendID
                             _ -> error "personGrant impossible 2"
                         lift $ case resourceDB of
-                            Left actorID -> insert_ $ PermitTopicExtendResourceLocal extendID actorID
+                            Left resourceID -> insert_ $ PermitTopicExtendResourceLocal extendID resourceID
                             Right actorID -> insert_ $ PermitTopicExtendResourceRemote extendID actorID
                     )
 

src/Vervis/Application.hs

@@ -495,13 +495,13 @@ fillPermitRecords = do
                     (_doc, g) <- getGrantActivityBody ext
                     return $ AP.grantContext g
                 result <- runExceptT $ do
-                    a <- parseActorURI uResource
+                    a <- parseResourceURI uResource
                     case a of
-                        Left la -> runSiteDBExcept $ do
+                        Left lr -> runSiteDBExcept $ do
-                            actorID <-
+                            resourceID <-
-                                localActorID <$>
+                                localResourceID <$>
-                                    getLocalActorEntityE la "Extension-Grant resource not found in DB"
+                                    getLocalResourceEntityE lr "Extension-Grant resource not found in DB"
-                            lift $ insert_ $ PermitTopicExtendResourceLocal extendID actorID
+                            lift $ insert_ $ PermitTopicExtendResourceLocal extendID resourceID
                         Right (ObjURI h lu) -> do
                             actorID <- do
                                 manager <- asksSite appHttpManager

src/Vervis/Handler/Deck.hs

@@ -261,7 +261,7 @@ getDeckTicketsR deckHash = selectRep $ do
             mp <- maybeAuthId
             case mp of
                 Nothing -> pure []
-                Just personID -> runDB $ getPermitsForResource personID (Left $ deckActor deck)
+                Just personID -> runDB $ getPermitsForResource personID (Left $ deckResource deck)
         case mpage of
             Nothing -> redirectFirstPage here
             Just (rows, navModel) ->

src/Vervis/Handler/Group.hs

@@ -170,7 +170,7 @@ getGroupR groupHash = do
         permits <-
             case mp of
                 Nothing -> pure []
-                Just personID -> getPermitsForResource personID (Left aid)
+                Just personID -> getPermitsForResource personID (Left $ groupResource g)
         return (g, a, sigKeys, permits)
 
     encodeRouteLocal <- getEncodeRouteLocal

src/Vervis/Handler/Loom.hs

@@ -215,7 +215,7 @@ getLoomClothsR loomHash = selectRep $ do
             mp <- maybeAuthId
             case mp of
                 Nothing -> pure []
-                Just personID -> runDB $ getPermitsForResource personID (Left $ loomActor loom)
+                Just personID -> runDB $ getPermitsForResource personID (Left $ loomResource loom)
         case mpage of
             Nothing -> redirectFirstPage here
             Just (rows, navModel) ->

src/Vervis/Handler/Project.hs

@@ -134,7 +134,7 @@ getProjectR projectHash = do
         permits <-
             case mp of
                 Nothing -> pure []
-                Just personID -> getPermitsForResource personID (Left aid)
+                Just personID -> getPermitsForResource personID (Left $ projectResource d)
         return (d, a, sigKeys, permits)
 
     encodeRouteLocal <- getEncodeRouteLocal

src/Vervis/Migration.hs

@@ -3464,7 +3464,6 @@ changes hLocal ctx =
         "resource"
         "Resource"
       -- 609
-    {-
     , addFieldRefRequired''
         "PermitTopicExtendResourceLocal"
         (do inboxID <- insert Inbox604
@@ -3488,7 +3487,8 @@ changes hLocal ctx =
         )
         "resource"
         "Resource"
-    -}
+      -- 610
+    , removeField "PermitTopicExtendResourceLocal" "actor"
     ]
 
 migrateDB

src/Vervis/Persist/Collab.hs

@@ -1067,7 +1067,7 @@ getGrantActivityBody k = do
 getPermitsForResource
     :: MonadIO m
     => PersonId
-    -> Either ActorId RemoteActorId
+    -> Either ResourceId RemoteActorId
     -> ReaderT SqlBackend m
         [ ( Either (LocalActorBy Key, OutboxItemId) FedURI
           , AP.Role
@@ -1079,7 +1079,7 @@ getPermitsForResource
 getPermitsForResource personID actor = do
     exts <-
         case actor of
-            Left actorID ->
+            Left resourceID ->
                 E.select $ E.from $ \ (permit `E.InnerJoin` gesture `E.InnerJoin` send `E.InnerJoin` extend `E.InnerJoin` resource) -> do
                     E.on $ extend E.^. PermitTopicExtendId E.==. resource E.^. PermitTopicExtendResourceLocalPermit
                     E.on $ send E.^. PermitPersonSendDelegatorId E.==. extend E.^. PermitTopicExtendPermit
@@ -1087,7 +1087,7 @@ getPermitsForResource personID actor = do
                     E.on $ permit E.^. PermitId E.==. gesture E.^. PermitPersonGesturePermit
                     E.where_ $
                         permit E.^. PermitPerson E.==. E.val personID E.&&.
-                        resource E.^. PermitTopicExtendResourceLocalActor E.==. E.val actorID
+                        resource E.^. PermitTopicExtendResourceLocalResource E.==. E.val resourceID
                     return
                         ( permit E.^. PermitId
                         , extend E.^. PermitTopicExtendId

src/Vervis/Web/Darcs.hs

@@ -101,7 +101,7 @@ getDarcsRepoSource repository actor repo dir loomIDs = do
                 mp <- maybeAuthId
                 case mp of
                     Nothing -> pure []
-                    Just personID -> runDB $ getPermitsForResource personID (Left $ repoActor repository)
+                    Just personID -> runDB $ getPermitsForResource personID (Left $ repoResource repository)
             defaultLayout $ do
                 hashLoom <- getEncodeKeyHashid
                 host <- asksSite siteInstanceHost

src/Vervis/Web/Git.hs

@@ -116,7 +116,7 @@ getGitRepoSource repository actor repo ref dir loomIDs = do
                 mp <- maybeAuthId
                 case mp of
                     Nothing -> pure []
-                    Just personID -> runDB $ getPermitsForResource personID (Left $ repoActor repository)
+                    Just personID -> runDB $ getPermitsForResource personID (Left $ repoResource repository)
             defaultLayout $ do
                 hashLoom <- getEncodeKeyHashid
                 host <- asksSite siteInstanceHost

th/models

@@ -947,8 +947,7 @@ PermitTopicExtendRemote
 
 PermitTopicExtendResourceLocal
     permit   PermitTopicExtendId
-    actor    ActorId
+    resource ResourceId
-    --resource ResourceId
 
     UniquePermitTopicExtendResourceLocal permit