Mercurial > meta

comparison json.urs @ 0:63697ef80a2c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
JSON, minus records and nulls
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Dec 2010 11:10:57 -0500
parents
children 4d103b4450ee
comparison
equal deleted inserted replaced
-1:000000000000 0:63697ef80a2c
1 class json
2
3 val toJson : a ::: Type -> json a -> a -> string
4 val fromJson : a ::: Type -> json a -> string -> a
5
6 val mkJson : a ::: Type -> {ToJson : a -> string,
7 FromJson : string -> a * string} -> json a
8
9 val json_string : json string
10 val json_int : json int
11 val json_float : json float
12 val json_bool : json bool
13 val json_list : a ::: Type -> json a -> json (list a)