Mercurial > urweb
comparison lib/ur/basis.urs @ 777:87a7702d681d
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 |