Http2Responder

Definitions

data FrameType : Type

Totality: total
Visibility: public export
Constructors:

Data : FrameType

Headers : FrameType

Priority : FrameType

RstStream : FrameType

Settings : FrameType

PushPromise : FrameType

Ping : FrameType

GoAway : FrameType

WindowUpdate : FrameType

Continuation : FrameType

Hints:

Eq FrameType

Show FrameType

parseType : Bits8 -> Maybe FrameType

Visibility: public export

encodeFrameType : FrameType -> Bits8

Visibility: public export

data Payload : Type

Totality: total
Visibility: public export
Constructor: 

MkPayload : List Bits8 -> Payload

data Flags : Type

Totality: total
Visibility: public export
Constructor: 

MkFlags : Bits8 -> Flags

record Frame : Type

Totality: total
Visibility: public export
Constructor: 

MkFrame : FrameType -> Flags -> Bits32 -> Payload -> Frame

Projections:

.flags : Frame -> Flags

.frameType : Frame -> FrameType

.payload : Frame -> Payload

.streamIdent : Frame -> Bits32

.frameType : Frame -> FrameType

Visibility: public export

frameType : Frame -> FrameType

Visibility: public export

.flags : Frame -> Flags

Visibility: public export

flags : Frame -> Flags

Visibility: public export

.streamIdent : Frame -> Bits32

Visibility: public export

streamIdent : Frame -> Bits32

Visibility: public export

.payload : Frame -> Payload

Visibility: public export

payload : Frame -> Payload

Visibility: public export

data Header : Type

Totality: total
Visibility: public export
Constructors:

MethodGet : Header

MethodPost : Header

PathSlash : Header

SchemeHttp : Header

SchemeHttps : Header

ContentLength : Header

ProxyAuthenticate : Header

UserAgent : Header

Literal : Bits8 -> String -> Header

LiteralStr : String -> String -> Header

StatusOk : Header

Hints:

Eq Header

Show Header

InnerCont : Type -> Type

Visibility: public export

record Request : Type

Totality: total
Visibility: public export
Constructor: 

MkRequest : Bits32 -> String -> List Bits8 -> List Header -> Request

Projections:

.body : Request -> List Bits8

.headers : Request -> List Header

.path : Request -> String

.streamIdent : Request -> Bits32

.streamIdent : Request -> Bits32

Visibility: public export

streamIdent : Request -> Bits32

Visibility: public export

.path : Request -> String

Visibility: public export

path : Request -> String

Visibility: public export

.body : Request -> List Bits8

Visibility: public export

body : Request -> List Bits8

Visibility: public export

.headers : Request -> List Header

Visibility: public export

headers : Request -> List Header

Visibility: public export