Idris2Doc : TyTTP.HTTP.Consumer.JSON

TyTTP.HTTP.Consumer.JSON

(source)

Definitions

dataJSON : Type
Totality: total
Visibility: export
Hints:
AcceptJSON
FromJSONa=>ConsumeraJSON