annotate parse.ur @ 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 8eaaca74a64c
children
rev   line source
adam@9 1 (** Datatypes for describing parse results *)
adam@9 2
adam@9 3 datatype parse a =
adam@9 4 Success of a
adam@9 5 | Failure of string