Mercurial > meta
annotate json.urs @ 23:9d6b931fbd13
Implement JSON type class for recursive datatypes, using Mu combinator.
| author | Edward Z. Yang <ezyang@mit.edu> |
|---|---|
| date | Wed, 02 May 2012 11:47:37 -0400 |
| parents | 8de201d70b91 |
| children |
| rev | line source |
|---|---|
| adam@5 | 1 (** The JSON text-based serialization format *) |
| adam@5 | 2 |
| adam@0 | 3 class json |
| adam@0 | 4 |
| adam@0 | 5 val toJson : a ::: Type -> json a -> a -> string |
| adam@0 | 6 val fromJson : a ::: Type -> json a -> string -> a |
| ezyang@23 | 7 val fromJson' : a ::: Type -> json a -> string -> a * string |
| adam@0 | 8 |
| adam@0 | 9 val mkJson : a ::: Type -> {ToJson : a -> string, |
| adam@0 | 10 FromJson : string -> a * string} -> json a |
| adam@0 | 11 |
| adam@0 | 12 val json_string : json string |
| adam@0 | 13 val json_int : json int |
| adam@0 | 14 val json_float : json float |
| adam@0 | 15 val json_bool : json bool |
| adam@4 | 16 val json_option : a ::: Type -> json a -> json (option a) |
| adam@0 | 17 val json_list : a ::: Type -> json a -> json (list a) |
| adam@1 | 18 |
| adam@1 | 19 val json_record : ts ::: {Type} -> folder ts -> $(map json ts) -> $(map (fn _ => string) ts) -> json $ts |
| ezyang@22 | 20 val json_variant : ts ::: {Type} -> folder ts -> $(map json ts) -> $(map (fn _ => string) ts) -> json (variant ts) |
| ezyang@22 | 21 |
| ezyang@22 | 22 val json_unit : json unit |
| ezyang@23 | 23 |
| ezyang@23 | 24 functor Recursive (M : sig |
| ezyang@23 | 25 con t :: Type -> Type |
| ezyang@23 | 26 val json_t : a ::: Type -> json a -> json (t a) |
| ezyang@23 | 27 end) : sig |
| ezyang@23 | 28 datatype r = Rec of M.t r |
| ezyang@23 | 29 |
| ezyang@23 | 30 val json_r : json r |
| ezyang@23 | 31 end |