diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:22:24 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:23:38 +0100 |
| commit | a6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch) | |
| tree | ff577395c1a5951a61a7234322f927f6ead5ee29 /dataType.mli | |
| parent | ecb6fd62c275af03a07d892313ab3914d81cd40e (diff) | |
Moved all the code to src directory
Diffstat (limited to 'dataType.mli')
| -rwxr-xr-x | dataType.mli | 99 |
1 files changed, 0 insertions, 99 deletions
diff --git a/dataType.mli b/dataType.mli deleted file mode 100755 index 5c89c98..0000000 --- a/dataType.mli +++ /dev/null @@ -1,99 +0,0 @@ -module type COMPARABLE = sig
- type t
- val eq: t -> t -> bool
- val neq: t -> t -> bool
- val lt: t -> t -> bool
- val le: t -> t -> bool
- val gt: t -> t -> bool
- val ge: t -> t -> bool
-end
-
-module Num: sig
-
- type t
-
- val one: t
- val zero: t
-
- val of_int: int -> t
- val to_int: t -> int
-
- val to_float: t -> float
- val of_float: float -> t
-
- val neg: t -> t
-
- val eq: t -> t -> bool
- val neq: t -> t -> bool
- val lt: t -> t -> bool
- val le: t -> t -> bool
- val gt: t -> t -> bool
- val ge: t -> t -> bool
-
- val add: t -> t -> t
- val sub: t -> t -> t
- val mult: t -> t -> t
- val div: t -> t -> t
- val pow: t -> t -> t
-
- val rnd: unit -> t
-
- val max: t -> t -> t
- val min: t -> t -> t
-
- val abs: t -> t
-
- val round: t -> t
- val floor: t -> t
- val round_down: t -> t
-
- val gcd: t -> t -> t
- val lcm: t -> t -> t
-
- val is_integer: t -> bool
-
-end
-
-module Bool: sig
- type t = bool
-
- val true_ : bool
- val false_: bool
-
- val eq: t -> t -> bool
- val neq: t -> t -> bool
- val lt: t -> t -> bool
- val le: t -> t -> bool
- val gt: t -> t -> bool
- val ge: t -> t -> bool
-
- val not: t -> t
- val and_: t -> t -> t
- val or_: t -> t -> t
-end
-
-module String: sig
- type t = UTF8.t
- val eq: t -> t -> bool
- val neq: t -> t -> bool
- val lt: t -> t -> bool
- val le: t -> t -> bool
- val gt: t -> t -> bool
- val ge: t -> t -> bool
-end
-
-module Date: sig
-
- (** Create a date from a year month day *)
- val get_julian_day : int -> int -> int -> Num.t
-
- (** Return the year, month and day from a date *)
- val date_from_julian_day : Num.t -> int * int * int
-
- val time_from_julian_day : Num.t -> int * int * Num.t
-
- val from_string: string -> Num.t
-
- (** Print out the date *)
- val to_string: Num.t -> string
-end
|