Idris2Doc : Http2

Http2

(source)

Definitions

PRIORITY : Bits8
Visibility: public export
PADDED : Bits8
Visibility: public export
END_STREAM : Bits8
Visibility: public export
END_HEADERS : Bits8
Visibility: public export
headerFramesForHTML : Bits32 -> List Frame
Visibility: export
mkInitialHttp2Iter : (Request -> InnerCont (List Frame)) -> DIterator (List Bits8) (List Bits8) PgRows PgInput Void
Visibility: export