Merge pull request #77 from anton-k/safe-url

Add to url instance for pairs
anton-k · Nov 20, 2023 · cab0309 · cab0309
2 parents e8a1cc2 + b2927df
commit cab0309
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