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 #