| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Servant.API.Status
Synopsis
- statusFromNat :: forall a proxy. KnownNat a => proxy a -> Status
- class KnownNat n => KnownStatus n where
Documentation
statusFromNat :: forall a proxy. KnownNat a => proxy a -> Status Source #
Retrieve a known or unknown Status from a KnownNat
class KnownNat n => KnownStatus n where Source #
Witness that a type-level natural number corresponds to a HTTP status code