SCM Repository
| [smlnj] / MLRISC / releases / release-110.84 / library / fixed-point.sig |
Diff of /MLRISC/releases/release-110.84/library/fixed-point.sig
Parent Directory
| 
Revision Log
| 
Patch
| revision 245, Sat Apr 17 18:47:12 1999 UTC | revision 411, Fri Sep 3 00:25:03 1999 UTC | |
|---|---|---|
| # | Line 1 | Line 1 |
| 1 | (* | |
| 2 | * A simple fixed point datatype | |
| 3 | * | |
| 4 | * -- Allen | |
| 5 | *) | |
| 6 | ||
| 7 | signature FIXED_POINT = | signature FIXED_POINT = |
| 8 | sig | sig |
| 9 | eqtype fixed_point | type fixed_point = Word31.word |
| 10 | ||
| 11 | val fixed_point : int * int -> fixed_point | val fixed_point : int * int -> fixed_point |
| 12 | ||
| 13 | val zero : fixed_point | val zero : fixed_point |
| 14 | val one : fixed_point | val one : fixed_point |
| 15 | ||
| val < : fixed_point * fixed_point -> bool | ||
| val > : fixed_point * fixed_point -> bool | ||
| val >= : fixed_point * fixed_point -> bool | ||
| val <= : fixed_point * fixed_point -> bool | ||
| val != : fixed_point * fixed_point -> bool | ||
| val == : fixed_point * fixed_point -> bool | ||
| 16 | val compare : fixed_point * fixed_point -> order | val compare : fixed_point * fixed_point -> order |
| 17 | ||
| val + : fixed_point * fixed_point -> fixed_point | ||
| val - : fixed_point * fixed_point -> fixed_point | ||
| 18 | val * : fixed_point * fixed_point -> fixed_point | val * : fixed_point * fixed_point -> fixed_point |
| 19 | val / : fixed_point * fixed_point -> fixed_point | val / : fixed_point * fixed_point -> fixed_point |
| 20 | val scale : fixed_point * int -> fixed_point | val scale : fixed_point * int -> fixed_point |
| # | Line 31 | Line 29 |
| 29 | val fromInt : int -> fixed_point | val fromInt : int -> fixed_point |
| 30 | end | end |
| 31 | ||
| (* | ||
| * $Log$ | ||
| *) |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
