Mercurial > urweb

comparison lib/basis.urs @ 452:222cbc1da232

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix some type-class detection
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 17:19:12 -0400
parents f45f23ae20ed
children 1a4fa157fedd
comparison
equal deleted inserted replaced
451:1bd575eb2d1e 452:222cbc1da232
54 val show_int : show int 54 val show_int : show int
55 val show_float : show float 55 val show_float : show float
56 val show_string : show string 56 val show_string : show string
57 val show_bool : show bool 57 val show_bool : show bool
58 val show_time : show time 58 val show_time : show time
59 val mkShow : t ::: Type -> (t -> string) -> show t
59 60
60 class read 61 class read
61 val read : t ::: Type -> read t -> string -> option t 62 val read : t ::: Type -> read t -> string -> option t
62 val readError : t ::: Type -> read t -> string -> t 63 val readError : t ::: Type -> read t -> string -> t
63 (* [readError] calls [error] if the input is malformed. *) 64 (* [readError] calls [error] if the input is malformed. *)