aboutsummaryrefslogtreecommitdiff
path: root/evaluator.mli
blob: d695b684d057776611f2830ff94288b1dec2f98f (plain)
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
val repr: (ScTypes.refs -> ScTypes.types option ScTypes.Refs.range) -> ScTypes.expression -> ScTypes.types

(** Type definitions *)

type 'a typ 
val t_bool: DataType.Bool.t typ
val t_int:  DataType.Num.t  typ
val t_string: UTF8.t typ
val t_list: 'a typ -> 'a list typ

(** Result formats *)

type 'a result

(** Numeric (any format) *)
val f_num: DataType.Num.t result

(** Date *)
val f_date: DataType.Num.t result

(** Number *)
val f_number: DataType.Num.t result

(** Boolean result *)
val f_bool: DataType.Bool.t result

(** String *)
val f_string: DataType.String.t result

(** Catalog *)

val register0: 
  string ->           (* The function name *)
  'a result ->        (* The return type *)
  (unit -> 'a)        (* The function to call *)
  -> unit

val register1: 
  string ->           (* The function name *)
  'a typ ->           (* The signature *)
  'b result ->        (* The return type *)
  ('a -> 'b)          (* The function to call *)
  -> unit

val register2: 
  string ->           (* The function name *)
  ('a typ * 'b typ) ->(* The signature *)
  'c result ->        (* The return type *)
  ( 'a -> 'b -> 'c)   (* The function to call*)
  -> unit

val register3: 
  string ->           (* The function name *)
  ('a typ * 'b typ * 'c typ) ->(* The signature *)
  'd result ->           (* The return type *)
  ( 'a -> 'b -> 'c -> 'd)   (* The function to call*)
  -> unit


(** [wrap f] run [f] inside a context where there is no functions *)
val wrap: (unit -> 'a) -> 'a