0 | module TyTTP.HTTP.Consumer.JSON
2 | import Data.Buffer.Ext
4 | import TyTTP.HTTP.Consumer
6 | %hide JSON.Parser.JSON
9 | data JSON : Type where
12 | implementation Accept JSON where
13 | contentType _ = [ "application/json" ]
16 | implementation FromJSON a => Consumer a JSON where
17 | consumeRaw _ ct raw =
18 | mapFst show $
decode $
show raw