Idris2Doc : TyTTP.HTTP.Producer.JSON

TyTTP.HTTP.Producer.JSON

(source)

Definitions

sendJSON : Applicative m => ToJSON j => j -> Context me u v h1 s StringHeaders a b -> (Context me u v h1 s StringHeaders a (Publisher IO e Buffer) `m`)
Visibility: export