add instance Traversable UrlMap'

yesodweb · Oct 10, 2024 · 4f31305 · 4f31305
1 parent ec5e017
commit 4f31305
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 1 deletion.
diff --git a/wai-extra/ChangeLog.md b/wai-extra/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for wai-extra
 
+## 3.1.16
+
+* Added instances `Foldable` and `Traversable` for `UrlMap'` [#992](https://github.com/yesodweb/wai/pull/992)
+
 ## 3.1.15
 
 * Added `validateHeadersMiddleware` for validating response headers set by the application [#990](https://github.com/yesodweb/wai/pull/990).

diff --git a/wai-extra/Network/Wai/UrlMap.hs b/wai-extra/Network/Wai/UrlMap.hs
@@ -52,6 +52,14 @@ instance Alternative UrlMap' where
     empty = UrlMap' empty
     (UrlMap' xs) <|> (UrlMap' ys) = UrlMap' (xs <|> ys)
 
+-- | @since 3.1.16
+instance Foldable UrlMap' where
+    foldr f z (UrlMap' xs) = foldr (f . snd) z xs
+
+-- | @since 3.1.16
+instance Traversable UrlMap' where
+    traverse f (UrlMap' xs) = UrlMap' <$> traverse (traverse f) xs
+
 type UrlMap = UrlMap' Application
 
 -- | Mount an application under a given path. The ToApplication typeclass gives

diff --git a/wai-extra/wai-extra.cabal b/wai-extra/wai-extra.cabal
@@ -1,5 +1,5 @@
 Name:                wai-extra
-Version:             3.1.15
+Version:             3.1.16
 Synopsis:            Provides some basic WAI handlers and middleware.
 description:
   Provides basic WAI handler and middleware functionality: