Idris2Doc : TyTTP.HTTP

TyTTP.HTTP

(source)

Reexports

importpublic TyTTP
importpublic TyTTP.HTTP.Consumer
importpublic TyTTP.HTTP.Producer
importpublic TyTTP.HTTP.Protocol
importpublic TyTTP.HTTP.Routing