Move hostIsLocal from Vervis.ActivityPub to Yesod.ActivityPub

src/Vervis/ActivityPub.hs

@@ -15,8 +15,6 @@
 
 module Vervis.ActivityPub
     ( NoteContext (..)
-    , hostIsLocal
-    , verifyHostLocal
     , parseContext
     , parseParent
     , getLocalParentMessageId
@@ -137,16 +135,6 @@ data NoteContext
     | NoteContextRepoPatch ShrIdent RpIdent LocalTicketId
     deriving Eq
 
-hostIsLocal :: (MonadSite m, SiteEnv m ~ App) => Host -> m Bool
-hostIsLocal h = asksSite $ (== h) . appInstanceHost . appSettings
-
-verifyHostLocal
-    :: (MonadSite m, SiteEnv m ~ App)
-    => Host -> Text -> ExceptT Text m ()
-verifyHostLocal h t = do
-    local <- hostIsLocal h
-    unless local $ throwE t
-
 parseContext
     :: (MonadSite m, SiteEnv m ~ App)
     => FedURI

src/Vervis/Handler/Client.hs

@@ -63,6 +63,7 @@ import qualified Database.Esqueleto as E
 import Database.Persist.JSON
 import Network.FedURI
 import Web.ActivityPub hiding (Ticket)
+import Yesod.ActivityPub
 import Yesod.Auth.Unverified
 import Yesod.FedURI
 import Yesod.Hashids

src/Yesod/ActivityPub.hs

@@ -24,11 +24,15 @@ module Yesod.ActivityPub
     , provideHtmlAndAP'
     , provideHtmlAndAP''
     , provideHtmlFeedAndAP
+    , hostIsLocal
+    , verifyHostLocal
     )
 where
 
 import Control.Exception
+import Control.Monad
 import Control.Monad.Logger.CallStack
+import Control.Monad.Trans.Except
 import Control.Monad.Trans.Writer
 import Data.Aeson
 import Data.Aeson.Encode.Pretty
@@ -292,3 +296,15 @@ provideHtmlFeedAndAP object feed widget = do
         (Doc host object)
         widget
         (Just feed)
+
+hostIsLocal
+    :: (MonadSite m, SiteEnv m ~ site, YesodActivityPub site)
+    => Authority (SiteFedURIMode site) -> m Bool
+hostIsLocal h = asksSite $ (== h) . siteInstanceHost
+
+verifyHostLocal
+    :: (MonadSite m, SiteEnv m ~ site, YesodActivityPub site)
+    => Authority (SiteFedURIMode site) -> Text -> ExceptT Text m ()
+verifyHostLocal h t = do
+    local <- hostIsLocal h
+    unless local $ throwE t