Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class KnownNat n => KnownStatus n where
Documentation
class KnownNat n => KnownStatus n where Source #
Witness that a type-level natural number corresponds to a HTTP status code
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
class KnownNat n => KnownStatus n where Source #
Witness that a type-level natural number corresponds to a HTTP status code