Idris2Doc : TyTTP.HTTP.Producer.JSON

TyTTP.HTTP.Producer.JSON

(source)

Definitions

sendJSON : Applicativem=>ToJSONj=>j->Contextmeuvh1sStringHeadersab-> (Contextmeuvh1sStringHeadersa (PublisherIOeBuffer) `m`)
Visibility: export