git.iko.soy/typeable/servant
on master help sign in
Use GHC.TypeLits rather than TypeNats
ff9da1cNathan van Doorn
servant/src/Servant/API/Status.hs+1−1
compare with master
unifiedsplit
@@ -4,7 +4,7 @@
4module Servant.API.Status where
4module Servant.API.Status where
5
5
6import Network.HTTP.Types.Status
6import Network.HTTP.Types.Status
7−import GHC.TypeNats
7+import GHC.TypeLits
8
8
9-- | Witness that a type-level natural number corresponds to a HTTP status code
9-- | Witness that a type-level natural number corresponds to a HTTP status code
10class KnownNat n => KnownStatus n where
10class KnownNat n => KnownStatus n where