Switch Audience from Vector to list and fix Public bug

* No good reason to use Vector, let's use list, it's just easier
* The Public URI recognizing code wasn't being used; now it is

src/Vervis/Federation.hs

@@ -79,12 +79,12 @@ parseAudience :: Monad m => Audience -> Text -> ExceptT Text m FedURI
 parseAudience (Audience to bto cc bcc aud) t =
     case toSingleton to of
         Just fu
-            | V.null bto && V.null cc && V.null bcc && V.null aud ->
+            | null bto && null cc && null bcc && null aud ->
                 return fu
         _ -> throwE t
     where
     toSingleton v =
-        case V.toList v of
+        case v of
             [x] -> Just x
             _   -> Nothing
 

src/Web/ActivityPub.hs

@@ -318,20 +318,20 @@ instance ActivityPub Actor where
         <> "publicKey"         `pair` encodePublicKeySet host pkeys
 
 data Audience = Audience
-    { audienceTo      :: Vector FedURI
+    { audienceTo      :: [FedURI]
-    , audienceBto     :: Vector FedURI
+    , audienceBto     :: [FedURI]
-    , audienceCc      :: Vector FedURI
+    , audienceCc      :: [FedURI]
-    , audienceBcc     :: Vector FedURI
+    , audienceBcc     :: [FedURI]
-    , audienceGeneral :: Vector FedURI
+    , audienceGeneral :: [FedURI]
     }
 
 deliverTo :: FedURI -> Audience
 deliverTo to = Audience
-    { audienceTo      = V.singleton to
+    { audienceTo      = [to]
-    , audienceBto     = V.empty
+    , audienceBto     = []
-    , audienceCc      = V.empty
+    , audienceCc      = []
-    , audienceBcc     = V.empty
+    , audienceBcc     = []
-    , audienceGeneral = V.empty
+    , audienceGeneral = []
     }
 
 newtype AdaptAudience = AdaptAudience
@@ -351,15 +351,15 @@ instance FromJSON AdaptAudience where
 parseAudience :: Object -> Parser Audience
 parseAudience o =
     Audience
-        <$> o .:? "to"       .!= V.empty
+        <$> o .:& "to"
-        <*> o .:? "bto"      .!= V.empty
+        <*> o .:& "bto"
-        <*> o .:? "cc"       .!= V.empty
+        <*> o .:& "cc"
-        <*> o .:? "bcc"      .!= V.empty
+        <*> o .:& "bcc"
-        <*> o .:? "audience" .!= V.empty
+        <*> o .:& "audience"
     where
     obj .:& key = do
-        vec <- obj .:? key .!= V.empty
+        l <- obj .:? key .!= []
-        return $ unAdapt <$> vec
+        return $ map unAdapt l
 
 encodeAudience :: Audience -> Series
 encodeAudience (Audience to bto cc bcc aud)
@@ -370,7 +370,7 @@ encodeAudience (Audience to bto cc bcc aud)
     <> "audience" .=% aud
     where
     t .=% v =
-        if V.null v
+        if null v
             then mempty
             else t .= v