Mercurial > urweb

comparison lib/ur/basis.urs @ 777:87a7702d681d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
outer demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 14:57:33 -0400
parents a8bdd5a0d9b0
children 2c463eee89fa
comparison
equal deleted inserted replaced
776:9f2555f06901 777:87a7702d681d
68 val read_int : read int 68 val read_int : read int
69 val read_float : read float 69 val read_float : read float
70 val read_string : read string 70 val read_string : read string
71 val read_bool : read bool 71 val read_bool : read bool
72 val read_time : read time 72 val read_time : read time
73 val mkRead : t ::: Type -> (string -> t) -> (string -> option t) -> read t
73 74
74 75
75 (** * Monads *) 76 (** * Monads *)
76 77
77 class monad :: (Type -> Type) -> Type 78 class monad :: (Type -> Type) -> Type