Mercurial > meta

comparison json.urs @ 1:4d103b4450ee

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Converted a record to JSON
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Dec 2010 11:35:01 -0500
parents 63697ef80a2c
children 8f7396495045
comparison
equal deleted inserted replaced
0:63697ef80a2c 1:4d103b4450ee
9 val json_string : json string 9 val json_string : json string
10 val json_int : json int 10 val json_int : json int
11 val json_float : json float 11 val json_float : json float
12 val json_bool : json bool 12 val json_bool : json bool
13 val json_list : a ::: Type -> json a -> json (list a) 13 val json_list : a ::: Type -> json a -> json (list a)
14
15 val json_record : ts ::: {Type} -> folder ts -> $(map json ts) -> $(map (fn _ => string) ts) -> json $ts