cleanup in Info.hs

make-pages/Info.hs

@@ -206,7 +206,7 @@ instance FromYAML Info where
   parseYAML = YAML.withMap "info" \m ->
     Info <$>  m .:  "date"
          <*>  m .:? "sort"         .!= ""
-         <*>  (maybe [] getUL <$> m .:? "updates")
+         <*> (m .:? "updates" >>= updateList)
          <*>  m .:? "show-updated" .!= True
          <*>  m .:  "title"
          <*>  m .:? "artist"
@@ -239,30 +239,31 @@ imageList y = pure <$> unlabelledImage y <|> parseYAML y
 
 instance FromYAML Image where
   parseYAML y = unlabelledImage y <|> labelled y where
-    labelled y' = do
+    labelled = withPairM \label -> unlabelledImage' (Just label)
-      Pair label rest <- parseYAML y'
-      i <- unlabelledImage rest
-      pure $ i {label}
 
 unlabelledImage :: YAML.Node YAML.Pos -> YAML.Parser Image
-unlabelledImage y = asStr y <|> asObj y
+unlabelledImage = unlabelledImage' Nothing
+
+unlabelledImage' :: Maybe Text ->  YAML.Node YAML.Pos -> YAML.Parser Image
+unlabelledImage' label' y = asStr y <|> asObj y
  where
   asStr = YAML.withStr "path" \(Text.unpack -> path) ->
-    pure $ Image {label = pathToLabel path, path, download = Nothing,
+    let label = fromMaybe (pathToLabel path) label' in
+    pure $ Image {label, path, download = Nothing,
                   nsfw = False, warning = Nothing}
   asObj = YAML.withMap "image info" \m -> do
     path     <- m .:  "path"
     download <- m .:? "download"
     nsfw     <- m .:? "nsfw" .!= False
     warning  <- m .:? "warning"
-    pure $ Image {label = pathToLabel path, path, download, nsfw, warning}
+    let label = fromMaybe (pathToLabel path) label'
+    pure $ Image {label, path, download, nsfw, warning}
   pathToLabel = Text.pack . dashToSpace . takeBaseName
   dashToSpace = map \case '-' -> ' '; c -> c
 
 instance FromYAML Link where
-  parseYAML y = do
+  parseYAML =
-    Pair title rest <- parseYAML y
+    withPairM \title rest -> asStr title rest <|> asObj title rest
-    asStr title rest <|> asObj title rest
    where
     asStr title = YAML.withStr "url" \url ->
       pure $ Link {title, url, nsfw = False}
@@ -271,12 +272,10 @@ instance FromYAML Link where
       nsfw <- m .:? "nsfw" .!= False
       pure $ Link {title, url, nsfw}
 
-newtype UpdateList = UL {getUL :: [Update]}
 
-instance FromYAML UpdateList where
+updateList :: Maybe (YAML.Node YAML.Pos) -> YAML.Parser [Update]
-  parseYAML y = do
+updateList =
-    pairs <- YAML.withMap "updates" (pure . Map.toList) y
+  maybe (pure []) $ YAML.withMap "updates" $ traverse asEither . Map.toList
-    UL <$> traverse asEither pairs
  where
   asEither (date', rest) = do
     date <- parseYAML date'
@@ -399,6 +398,11 @@ instance (FromYAML a, FromYAML b) => FromYAML (Pair a b) where
       [(a, b)] -> Pair <$> parseYAML a <*> parseYAML b
       _        -> fail "expected exactly one pair"
 
+withPairM :: (FromYAML a, FromYAML b)
+          => (a -> b -> YAML.Parser c)
+          -> (YAML.Node YAML.Pos -> YAML.Parser c)
+withPairM k y = parseYAML y >>= \(Pair a b) -> k a b
+
 withPair :: (FromYAML a, FromYAML b)
          => (a -> b -> c)
          -> (YAML.Node YAML.Pos -> YAML.Parser c)