Mercurial > urweb

comparison lib/ur/basis.urs @ 846:0d30e6338c65

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some standard library reorgs and additions; handle mutual datatypes better in Specialize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Jun 2009 18:11:59 -0400
parents 74a1e3bdf430
children 0f7e2cca6d9b
comparison
equal deleted inserted replaced
845:6725d73c3c31 846:0d30e6338c65
23 val eq_float : eq float 23 val eq_float : eq float
24 val eq_string : eq string 24 val eq_string : eq string
25 val eq_char : eq char 25 val eq_char : eq char
26 val eq_bool : eq bool 26 val eq_bool : eq bool
27 val eq_time : eq time 27 val eq_time : eq time
28 val eq_option : t ::: Type -> eq t -> eq (option t)
29 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t 28 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t
30 29
31 class num 30 class num
32 val zero : t ::: Type -> num t -> t 31 val zero : t ::: Type -> num t -> t
33 val neg : t ::: Type -> num t -> t -> t 32 val neg : t ::: Type -> num t -> t -> t