Use GHC.TypeLits rather than TypeNats
commitff9da1cde499d41fe20fcf167b8c3cee87278979
authorNathan van Doorn <nvd1234@gmail.com>
dateSat 13 Jun 2020, 15:50 (6 years ago)
parent6889d05
servant/src/Servant/API/Status.hs+1−1
@@ -4,7 +4,7 @@
44module Servant.API.Status where
55
66import Network.HTTP.Types.Status
7−import GHC.TypeNats
7+import GHC.TypeLits
88
99-- | Witness that a type-level natural number corresponds to a HTTP status code
1010class KnownNat n => KnownStatus n where