From ff9da1cde499d41fe20fcf167b8c3cee87278979 Mon Sep 17 00:00:00 2001 From: Nathan van Doorn Date: Sat, 13 Jun 2020 15:50:12 +0100 Subject: [PATCH] Use GHC.TypeLits rather than TypeNats --- servant/src/Servant/API/Status.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/servant/src/Servant/API/Status.hs b/servant/src/Servant/API/Status.hs index 17a60766..ee334fcd 100644 --- a/servant/src/Servant/API/Status.hs +++ b/servant/src/Servant/API/Status.hs @@ -4,7 +4,7 @@ module Servant.API.Status where import Network.HTTP.Types.Status -import GHC.TypeNats +import GHC.TypeLits -- | Witness that a type-level natural number corresponds to a HTTP status code class KnownNat n => KnownStatus n where