Mercurial > meta

comparison json.urs @ 4:8f7396495045

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
JSON nulls
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Dec 2010 12:27:30 -0500
parents 4d103b4450ee
children 943410267fad
comparison
equal deleted inserted replaced
3:189245a3c075 4:8f7396495045
8 8
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_option : a ::: Type -> json a -> json (option a)
13 val json_list : a ::: Type -> json a -> json (list a) 14 val json_list : a ::: Type -> json a -> json (list a)
14 15
15 val json_record : ts ::: {Type} -> folder ts -> $(map json ts) -> $(map (fn _ => string) ts) -> json $ts 16 val json_record : ts ::: {Type} -> folder ts -> $(map json ts) -> $(map (fn _ => string) ts) -> json $ts