Mercurial > meta
comparison json.ur @ 29:7530b2b54353
Update for Ur/Web's new type class handling
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Jul 2012 12:27:36 -0400 |
parents | 9d6b931fbd13 |
children | 4e673b535434 |
comparison
equal
deleted
inserted
replaced
28:f55f66c6fdee | 29:7530b2b54353 |
---|---|
1 class json a = {ToJson : a -> string, | 1 con json a = {ToJson : a -> string, |
2 FromJson : string -> a * string} | 2 FromJson : string -> a * string} |
3 | 3 |
4 fun mkJson [a] (x : {ToJson : a -> string, | 4 fun mkJson [a] (x : {ToJson : a -> string, |
5 FromJson : string -> a * string}) = x | 5 FromJson : string -> a * string}) = x |
6 | 6 |
7 fun skipSpaces s = | 7 fun skipSpaces s = |