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->ListFrame
Visibility: export
mkInitialHttp2Iter : (Request->InnerCont (ListFrame)) ->DIterator (ListBits8) (ListBits8) PgRowsPgInputVoid
Visibility: export