Mercurial > urweb
comparison lib/ur/basis.urs @ 1831:36428d853c97
Standard library additions: Option.unsafeGet, Basis.exp
author | Austin Seipp <mad.one@gmail.com> |
---|---|
date | Wed, 28 Nov 2012 11:41:54 -0500 |
parents | b8558b613abd |
children | 373e2c3f03b2 |
comparison
equal
deleted
inserted
replaced
1830:d636d33fd8a2 | 1831:36428d853c97 |
---|---|
40 val plus : t ::: Type -> num t -> t -> t -> t | 40 val plus : t ::: Type -> num t -> t -> t -> t |
41 val minus : t ::: Type -> num t -> t -> t -> t | 41 val minus : t ::: Type -> num t -> t -> t -> t |
42 val times : t ::: Type -> num t -> t -> t -> t | 42 val times : t ::: Type -> num t -> t -> t -> t |
43 val divide : t ::: Type -> num t -> t -> t -> t | 43 val divide : t ::: Type -> num t -> t -> t -> t |
44 val mod : t ::: Type -> num t -> t -> t -> t | 44 val mod : t ::: Type -> num t -> t -> t -> t |
45 val exp : t ::: Type -> num t -> t -> t -> t | |
45 val num_int : num int | 46 val num_int : num int |
46 val num_float : num float | 47 val num_float : num float |
47 | 48 |
48 class ord | 49 class ord |
49 val lt : t ::: Type -> ord t -> t -> t -> bool | 50 val lt : t ::: Type -> ord t -> t -> t -> bool |