Mercurial > urweb

comparison lib/ur/basis.urs @ 1571:f403e129c276

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Primitive int/float functions: ceil, float, round, trunc
author Adam Chlipala <adam@chlipala.net>
date Sat, 08 Oct 2011 17:23:58 -0400
parents 5691ec310618
children 5530a8075b62
comparison
equal deleted inserted replaced
1570:c7d0328ba777 1571:f403e129c276
141 141
142 con signal :: Type -> Type 142 con signal :: Type -> Type
143 val signal_monad : monad signal 143 val signal_monad : monad signal
144 val signal : t ::: Type -> source t -> signal t 144 val signal : t ::: Type -> source t -> signal t
145 val current : t ::: Type -> signal t -> transaction t 145 val current : t ::: Type -> signal t -> transaction t
146
147
148 (** * Floats *)
149
150 val float : int -> float
151 val ceil : float -> int
152 val trunc : float -> int
153 val round : float -> int
146 154
147 155
148 (** * Time *) 156 (** * Time *)
149 157
150 val now : transaction time 158 val now : transaction time