eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Use GHC.TypeLits rather than TypeNats

Browse source
This commit is contained in:
Nathan van Doorn 2020-06-13 15:50:12 +01:00
parent 6889d053c7
commit ff9da1cde4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
servant/src/Servant/API/Status.hs
View file

@ -4,7 +4,7 @@
module Servant.API.Status where module Servant.API.Status where
import Network.HTTP.Types.Status import Network.HTTP.Types.Status
import GHC.TypeNats import GHC.TypeLits
-- | Witness that a type-level natural number corresponds to a HTTP status code -- | Witness that a type-level natural number corresponds to a HTTP status code
class KnownNat n => KnownStatus n where class KnownNat n => KnownStatus n where