Add to url instance for pairs

anton-k · Nov 20, 2023 · b2927df · b2927df
1 parent c2fcd8e
commit b2927df
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mig/src/Mig/Core/Class/Url.hs b/mig/src/Mig/Core/Class/Url.hs
@@ -62,6 +62,7 @@ type family UrlOf a :: Type where
   UrlOf (a, b, c, d) = (UrlOf a, UrlOf b, UrlOf c, UrlOf d)
   UrlOf (a, b, c, d, e) = (UrlOf a, UrlOf b, UrlOf c, UrlOf d, UrlOf e)
   UrlOf (a, b, c, d, e, f) = (UrlOf a, UrlOf b, UrlOf c, UrlOf d, UrlOf e, UrlOf f)
+  UrlOf (a :| b) = UrlOf a :| UrlOf b
 
 {-| Converts server to safe url. We can use it to generate
 safe URL constructors to be used in HTML templates