1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
(*
* A simple fixed point datatype
*
* -- Allen
*)
signature FIXED_POINT =
sig
type fixed_point = Word31.word
val fixed_point : int * int -> fixed_point
val zero : fixed_point
val one : fixed_point
val compare : fixed_point * fixed_point -> order
val * : fixed_point * fixed_point -> fixed_point
val / : fixed_point * fixed_point -> fixed_point
val scale : fixed_point * int -> fixed_point
val div : fixed_point * int -> fixed_point
val min : fixed_point * fixed_point -> fixed_point
val max : fixed_point * fixed_point -> fixed_point
val toString : fixed_point -> string
val toReal : fixed_point -> real
val toWord : fixed_point -> word
val fromReal : real -> fixed_point
val fromInt : int -> fixed_point
end
|
