From b2927dff66ee4c7596e476dbb555ce5ad102af1b Mon Sep 17 00:00:00 2001 From: Anton Kholomiov Date: Mon, 20 Nov 2023 23:39:48 +0300 Subject: [PATCH] Add to url instance for pairs --- mig/src/Mig/Core/Class/Url.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/mig/src/Mig/Core/Class/Url.hs b/mig/src/Mig/Core/Class/Url.hs index e11c86e..bd661ec 100644 --- 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