servant-0.20.2: A family of combinators for defining webservices APIs

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
  - statusVal :: proxy n -> Status

# 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

Methods

statusVal :: proxy n -> Status Source #

#### Instances

Instances details

KnownStatus 100 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 100 -> Status Source #
KnownStatus 101 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 101 -> Status Source #
KnownStatus 200 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 200 -> Status Source #
KnownStatus 201 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 201 -> Status Source #
KnownStatus 202 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 202 -> Status Source #
KnownStatus 203 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 203 -> Status Source #
KnownStatus 204 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 204 -> Status Source #
KnownStatus 205 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 205 -> Status Source #
KnownStatus 206 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 206 -> Status Source #
KnownStatus 300 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 300 -> Status Source #
KnownStatus 301 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 301 -> Status Source #
KnownStatus 302 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 302 -> Status Source #
KnownStatus 303 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 303 -> Status Source #
KnownStatus 304 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 304 -> Status Source #
KnownStatus 305 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 305 -> Status Source #
KnownStatus 307 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 307 -> Status Source #
KnownStatus 308 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 308 -> Status Source #
KnownStatus 400 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 400 -> Status Source #
KnownStatus 401 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 401 -> Status Source #
KnownStatus 402 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 402 -> Status Source #
KnownStatus 403 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 403 -> Status Source #
KnownStatus 404 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 404 -> Status Source #
KnownStatus 405 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 405 -> Status Source #
KnownStatus 406 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 406 -> Status Source #
KnownStatus 407 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 407 -> Status Source #
KnownStatus 408 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 408 -> Status Source #
KnownStatus 409 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 409 -> Status Source #
KnownStatus 410 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 410 -> Status Source #
KnownStatus 411 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 411 -> Status Source #
KnownStatus 412 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 412 -> Status Source #
KnownStatus 413 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 413 -> Status Source #
KnownStatus 414 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 414 -> Status Source #
KnownStatus 415 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 415 -> Status Source #
KnownStatus 416 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 416 -> Status Source #
KnownStatus 417 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 417 -> Status Source #
KnownStatus 418 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 418 -> Status Source #
KnownStatus 422 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 422 -> Status Source #
KnownStatus 426 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 426 -> Status Source #
KnownStatus 428 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 428 -> Status Source #
KnownStatus 429 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 429 -> Status Source #
KnownStatus 431 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 431 -> Status Source #
KnownStatus 500 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 500 -> Status Source #
KnownStatus 501 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 501 -> Status Source #
KnownStatus 502 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 502 -> Status Source #
KnownStatus 503 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 503 -> Status Source #
KnownStatus 504 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 504 -> Status Source #
KnownStatus 505 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 505 -> Status Source #
KnownStatus 511 Source # |
Instance details Defined in Servant.API.Status Methods statusVal :: proxy 511 -> Status Source #