diff options
Diffstat (limited to 'scTypes.mli')
| -rw-r--r--[-rwxr-xr-x] | scTypes.mli | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/scTypes.mli b/scTypes.mli index 17b51eb..5e5b378 100755..100644 --- a/scTypes.mli +++ b/scTypes.mli @@ -11,13 +11,13 @@ type 'a number_format = (float -> 'a, Format.formatter, unit) format type 'a dataFormat =
| Date: DataType.Num.t dataFormat (* A date in julian day *)
| Number: DataType.Num.t dataFormat (* Number *)
- | String: DataType.String.t dataFormat (* String result, there is only one representation *)
- | Bool: DataType.Bool.t dataFormat (* Boolean result *)
+ | String: DataType.String.t dataFormat (* String *)
+ | Bool: DataType.Bool.t dataFormat (* Boolean *)
type 'a returnType =
| Num : DataType.Num.t dataFormat option -> DataType.Num.t returnType (** A number *)
- | Str : DataType.String.t returnType (** A string *)
- | Bool : DataType.Bool.t returnType (** A boolean *)
+ | Str : DataType.String.t returnType (** A string *)
+ | Bool : DataType.Bool.t returnType (** A boolean *)
type numericType =
| Date
@@ -25,10 +25,15 @@ type numericType = val get_numeric_type: DataType.Num.t dataFormat -> numericType
-type 'a types =
+type 'a types = private
| Num : DataType.Num.t dataFormat * DataType.Num.t -> DataType.Num.t types (** A number *)
- | Str : DataType.String.t -> DataType.String.t types (** A string *)
- | Bool : DataType.Bool.t -> DataType.Bool.t types (** A boolean *)
+ | Str : DataType.String.t -> DataType.String.t types (** A string *)
+ | Bool : DataType.Bool.t -> DataType.Bool.t types (** A boolean *)
+
+val number: DataType.Num.t -> DataType.Num.t types
+val string: DataType.String.t -> DataType.String.t types
+val boolean: DataType.Bool.t -> DataType.Bool.t types
+val date: DataType.Num.t -> DataType.Num.t types
type typeContainer =
| Value: 'a types -> typeContainer
|