/
Status.agda
16 lines (15 loc) · 879 Bytes
/
Status.agda
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
module Lemmachine.Response.Status where
{-# IMPORT Lemmachine.FFI #-}
open import Data.Nat
data Status : Set where
-- 1xx: Informational - Request received, continuing process
-- 2xx: Success - The action was successfully received, understood, and accepted
OK Created Accepted NoContent : Status
-- 3xx: Redirection - Further action must be taken in order to complete the request
MultipleChoices MovedPermanently SeeOther NotModified MovedTemporarily : Status
-- 4xx: Client Error - The request contains bad syntax or cannot be fulfilled
BadRequest Unauthorized Forbidden NotFound MethodNotAllowed : Status
NotAcceptable Conflict Gone PreconditionFailed : Status
RequestEntityTooLarge RequestURItooLong UnsupportedMediaType : Status
-- 5xx: Server Error - The server failed to fulfill an apparently valid request
NotImplemented ServiceUnavailable : Status