Safe Haskell	None
Language	GHC2024

Okapi.HTTP.Response.Status

Documentation

data KnownStatus (s :: Nat) where Source #

Constructors

S200 :: KnownStatus 200
S201 :: KnownStatus 201
S204 :: KnownStatus 204
S404 :: KnownStatus 404
S500 :: KnownStatus 500

Instances

Instances details

Num (KnownStatus 200) Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods (+) :: KnownStatus 200 -> KnownStatus 200 -> KnownStatus 200 # (-) :: KnownStatus 200 -> KnownStatus 200 -> KnownStatus 200 # (*) :: KnownStatus 200 -> KnownStatus 200 -> KnownStatus 200 # negate :: KnownStatus 200 -> KnownStatus 200 # abs :: KnownStatus 200 -> KnownStatus 200 # signum :: KnownStatus 200 -> KnownStatus 200 # fromInteger :: Integer -> KnownStatus 200 #
Num (KnownStatus 201) Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods (+) :: KnownStatus 201 -> KnownStatus 201 -> KnownStatus 201 # (-) :: KnownStatus 201 -> KnownStatus 201 -> KnownStatus 201 # (*) :: KnownStatus 201 -> KnownStatus 201 -> KnownStatus 201 # negate :: KnownStatus 201 -> KnownStatus 201 # abs :: KnownStatus 201 -> KnownStatus 201 # signum :: KnownStatus 201 -> KnownStatus 201 # fromInteger :: Integer -> KnownStatus 201 #
Num (KnownStatus 204) Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods (+) :: KnownStatus 204 -> KnownStatus 204 -> KnownStatus 204 # (-) :: KnownStatus 204 -> KnownStatus 204 -> KnownStatus 204 # (*) :: KnownStatus 204 -> KnownStatus 204 -> KnownStatus 204 # negate :: KnownStatus 204 -> KnownStatus 204 # abs :: KnownStatus 204 -> KnownStatus 204 # signum :: KnownStatus 204 -> KnownStatus 204 # fromInteger :: Integer -> KnownStatus 204 #
Num (KnownStatus 404) Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods (+) :: KnownStatus 404 -> KnownStatus 404 -> KnownStatus 404 # (-) :: KnownStatus 404 -> KnownStatus 404 -> KnownStatus 404 # (*) :: KnownStatus 404 -> KnownStatus 404 -> KnownStatus 404 # negate :: KnownStatus 404 -> KnownStatus 404 # abs :: KnownStatus 404 -> KnownStatus 404 # signum :: KnownStatus 404 -> KnownStatus 404 # fromInteger :: Integer -> KnownStatus 404 #
Num (KnownStatus 500) Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods (+) :: KnownStatus 500 -> KnownStatus 500 -> KnownStatus 500 # (-) :: KnownStatus 500 -> KnownStatus 500 -> KnownStatus 500 # (*) :: KnownStatus 500 -> KnownStatus 500 -> KnownStatus 500 # negate :: KnownStatus 500 -> KnownStatus 500 # abs :: KnownStatus 500 -> KnownStatus 500 # signum :: KnownStatus 500 -> KnownStatus 500 # fromInteger :: Integer -> KnownStatus 500 #
Show (KnownStatus s) Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods showsPrec :: Int -> KnownStatus s -> ShowS # show :: KnownStatus s -> String # showList :: [KnownStatus s] -> ShowS #
Eq (KnownStatus s) Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods (==) :: KnownStatus s -> KnownStatus s -> Bool # (/=) :: KnownStatus s -> KnownStatus s -> Bool #

data Status a where Source #

Constructors

Raw :: Status Status
Status :: forall (s :: Nat). KnownStatus s -> Status (KnownStatus s)

Instances

Instances details

type Context Status Source #
Instance details Defined in Okapi.HTTP.Response.Status type Context Status = Status
type Failure Status Source #
Instance details Defined in Okapi.HTTP.Response.Status type Failure Status = ParseError

data ParseError Source #

Constructors

ParseError

Instances

Instances details

Show ParseError Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods showsPrec :: Int -> ParseError -> ShowS # show :: ParseError -> String # showList :: [ParseError] -> ShowS #
Eq ParseError Source #
Instance details Defined in Okapi.HTTP.Response.Status Methods (==) :: ParseError -> ParseError -> Bool # (/=) :: ParseError -> ParseError -> Bool #

parse :: Status status -> Status -> Either ParseError status Source #

print :: Status status -> status -> Status Source #

raw :: Status Status Source #

status :: forall (s :: Nat). KnownStatus s -> Status (KnownStatus s) Source #

knownStatusToHTTP :: forall (s :: Nat). KnownStatus s -> Status Source #

extractStatus :: forall (s :: Nat). Status (KnownStatus s) -> Status Source #

type S200 = KnownStatus 200 Source #

type S201 = KnownStatus 201 Source #

type S204 = KnownStatus 204 Source #

type S404 = KnownStatus 404 Source #

type S500 = KnownStatus 500 Source #