
  0 | module HTTP.Status
  1 | 
  2 | import Data.ByteString
  3 | 
  4 | %default total
  5 | 
  6 | public export
  7 | record Status where
  8 |   constructor MkStatus
  9 |   code    : Bits16
 10 |   message : String
 11 | 
 12 | export %inline
 13 | Interpolation Status where
 14 |   interpolate (MkStatus c m) = "\{show c} \{m}"
 15 | 
 16 | export %inline
 17 | Cast Status ByteString where
 18 |   cast = fromString . interpolate
 19 | 
 20 | export
 21 | ok200 : Status
 22 | ok200 = MkStatus 200 "OK"
 23 | 
 24 | export
 25 | created201 : Status
 26 | created201 = MkStatus 201 "Created"
 27 | 
 28 | export
 29 | accepted202 : Status
 30 | accepted202 = MkStatus 202 "Accepted"
 31 | 
 32 | export
 33 | noContent204 : Status
 34 | noContent204 = MkStatus 204 "No Content"
 35 | 
 36 | export
 37 | badRequest400 : Status
 38 | badRequest400 = MkStatus 400 "Bad Request"
 39 | 
 40 | export
 41 | unauthorized401 : Status
 42 | unauthorized401 = MkStatus 401 "Unauthorized"
 43 | 
 44 | export
 45 | forbidden403 : Status
 46 | forbidden403 = MkStatus 403 "Forbidden"
 47 | 
 48 | export
 49 | notFound404 : Status
 50 | notFound404 = MkStatus 404 "Not Found"
 51 | 
 52 | export
 53 | methodNotAllowed405 : Status
 54 | methodNotAllowed405 = MkStatus 405 "Method Not Allowed"
 55 | 
 56 | export
 57 | notAcceptable406 : Status
 58 | notAcceptable406 = MkStatus 406 "Not Acceptable"
 59 | 
 60 | export
 61 | conflict409 : Status
 62 | conflict409 = MkStatus 409 "Conflict"
 63 | 
 64 | export
 65 | contentTooLarge413 : Status
 66 | contentTooLarge413 = MkStatus 413 "Content Too Large"
 67 | 
 68 | export
 69 | unsupportedMediaType415 : Status
 70 | unsupportedMediaType415 = MkStatus 415 "Unsupported Media Type"
 71 | 
 72 | export
 73 | requestHeaderFieldsTooLarge431 : Status
 74 | requestHeaderFieldsTooLarge431 = MkStatus 431 "Request Header Fields Too Large"
 75 | 
 76 | export
 77 | internalServerError500 : Status
 78 | internalServerError500 = MkStatus 500 "Internal Server Error"
 79 | 
 80 | export
 81 | notImplemented501 : Status
 82 | notImplemented501 = MkStatus 501 "Not Implemented"
 83 | 
 84 | export
 85 | insufficientStorage507 : Status
 86 | insufficientStorage507 = MkStatus 507 "Insufficient Storage"
 87 | 
 88 | export
 89 | networkAuthenticationRequired511 : Status
 90 | networkAuthenticationRequired511 = MkStatus 511 "Network Authentication Required"
 91 |