Idris2Doc : TyTTP.HTTP.Producer

TyTTP.HTTP.Producer

(source)

Definitions

sendText : Applicativem=>String->Contextmeuvh1sStringHeadersab->m (Contextmeuvh1sStringHeadersa (PublisherIOeBuffer))
Visibility: export
status : Applicativem=>Status->Contextmeuvh1sh2ab->m (Contextmeuvh1Statush2ab)
Visibility: export