Network.HTTP.Message

Definitions

RawHeaders : Type

Visibility: public export

record RawHttpMessage : Type

Totality: total
Visibility: public export
Constructor: 

MkRawHttpMessage : Method -> String -> RawHeaders -> RawHttpMessage

Projections:

.headers : RawHttpMessage -> RawHeaders

.method : RawHttpMessage -> Method

.path : RawHttpMessage -> String

Hint: 

Show RawHttpMessage

.method : RawHttpMessage -> Method

Visibility: public export

method : RawHttpMessage -> Method

Visibility: public export

.path : RawHttpMessage -> String

Visibility: public export

path : RawHttpMessage -> String

Visibility: public export

.headers : RawHttpMessage -> RawHeaders

Visibility: public export

headers : RawHttpMessage -> RawHeaders

Visibility: public export

record HttpResponse : Type

Totality: total
Visibility: public export
Constructor: 

MkHttpResponse : DPair Nat StatusCode -> String -> RawHeaders -> HttpResponse

Projections:

.headers : HttpResponse -> RawHeaders

.status_code : HttpResponse -> DPair Nat StatusCode

.status_name : HttpResponse -> String

Hint: 

Show HttpResponse

.status_code : HttpResponse -> DPair Nat StatusCode

Visibility: public export

status_code : HttpResponse -> DPair Nat StatusCode

Visibility: public export

.status_name : HttpResponse -> String

Visibility: public export

status_name : HttpResponse -> String

Visibility: public export

.headers : HttpResponse -> RawHeaders

Visibility: public export

headers : HttpResponse -> RawHeaders

Visibility: public export

serialize_http_message : RawHttpMessage -> String

Visibility: export

serialize_http_response : HttpResponse -> String

Visibility: export

http_message_praser : Parser RawHttpMessage

Visibility: export

deserialize_http_message : String -> Either String RawHttpMessage

Visibility: export

http_message_response : Parser HttpResponse

Visibility: export

deserialize_http_response : String -> Either String HttpResponse

Visibility: export