Idris2Doc : TyTTP.HTTP.Consumer.JSON

TyTTP.HTTP.Consumer.JSON

(source)

Definitions

data JSON : Type
Totality: total
Visibility: export
Hints:
Accept JSON
FromJSON a => Consumer a JSON