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