interpreter/types.ml

   1
   2 type index = int;;
   3
   4 type time = int;;
   5
   6 type basic = N of int
   7            | R of float
   8            | Vec of vector
   9            | Zero
  10            | Error
  11 and vector = < size : int; nth : (index -> basic) >;;
  12
  13 class type vector_type =
  14         object
  15           method size : int
  16           method nth : index -> basic
  17         end;;
  18
  19 class type value_type =
  20   object
  21     method get : basic
  22     method to_int : int
  23     method to_float : float
  24     method to_float_array : float array
  25     method of_float_array : float array -> value_type
  26     method to_string : string
  27     method normalize : unit
  28     method add : value_type -> value_type
  29     method neg : value_type
  30     method sub : value_type -> value_type
  31     method mul : value_type -> value_type
  32     method recip : value_type
  33     method div : value_type -> value_type
  34     method power : value_type -> value_type
  35     method _and : value_type -> value_type
  36     method _or : value_type -> value_type
  37     method _xor : value_type -> value_type
  38     method zero : value_type
  39     method floor : value_type
  40     method ceil : value_type
  41     method rint : value_type
  42     method int : value_type
  43     method float : value_type
  44     method sin : value_type
  45     method asin : value_type
  46     method cos : value_type
  47     method acos : value_type
  48     method tan : value_type
  49     method atan : value_type
  50     method atan2 : value_type -> value_type
  51     method exp : value_type
  52     method sqrt : value_type
  53     method ln : value_type
  54     method lg : value_type
  55     method abs : value_type
  56     method fmod : value_type -> value_type
  57     method _mod : value_type -> value_type
  58     method remainder : value_type -> value_type
  59     method gt : value_type -> value_type
  60     method lt : value_type -> value_type
  61     method geq : value_type -> value_type
  62     method leq : value_type -> value_type
  63     method eq : value_type -> value_type
  64     method neq : value_type -> value_type
  65     method shl : value_type -> value_type
  66     method shr : value_type -> value_type
  67     method max : value_type -> value_type
  68     method min : value_type -> value_type
  69   end;;
  70
  71
  72 type symbol = Add
  73             | Sub
  74             | Mul
  75             | Div
  76             | Power
  77             | Pass
  78             | Stop
  79             | And
  80             | Or
  81             | Xor
  82             | Mem
  83             | Delay
  84             | Floor
  85             | Ceil
  86             | Rint
  87             | Int
  88             | Float
  89             | Sin
  90             | Asin
  91             | Cos
  92             | Acos
  93             | Tan
  94             | Atan
  95             | Atan2
  96             | Exp
  97             | Sqrt
  98             | Ln
  99             | Lg
 100             | Abs
 101             | Fmod
 102             | Mod
 103             | Remainder
 104             | Vectorize
 105             | Vconcat
 106             | Vpick
 107             | Serialize
 108             | Gt
 109             | Lt
 110             | Geq
 111             | Leq
 112             | Eq
 113             | Neq
 114             | Shl
 115             | Shr
 116             | Max
 117             | Min
 118             | Prefix
 119             | Select2
 120             | Select3
 121             | Rdtable
 122             | Rwtable
 123             | Button
 124             | Checkbox
 125             | Vslider
 126             | Hslider
 127             | Vgroup
 128             | Hgroup
 129             | Tgroup
 130             | Hbargraph
 131             | Vbargraph
 132             | Nentry
 133             | Attach
 134
 135 type faust_exp =
 136          Const of basic
 137        | Ident of symbol
 138        | Par   of faust_exp * faust_exp
 139        | Seq   of faust_exp * faust_exp
 140        | Rec   of faust_exp * faust_exp
 141        | Split of faust_exp * faust_exp
 142        | Merge of faust_exp * faust_exp
 143
 144
 145 class type rate_type =
 146   object
 147     method to_int : int
 148     method to_float : float
 149     method to_string : string
 150     method num : int
 151     method denom : int
 152     method equal : rate_type -> bool
 153     method mul : int -> rate_type
 154     method div : int -> rate_type
 155   end
 156
 157 class type signal_type =
 158     object
 159       method frequency : rate_type
 160       method at : time -> value_type
 161       method add_memory : int -> unit
 162       method add : signal_type -> signal_type
 163       method neg : signal_type
 164       method sub : signal_type -> signal_type
 165       method mul : signal_type -> signal_type
 166       method div : signal_type -> signal_type
 167       method power : signal_type -> signal_type
 168       method _and : signal_type -> signal_type
 169       method _or : signal_type -> signal_type
 170       method _xor : signal_type -> signal_type
 171       method delay : signal_type -> signal_type
 172       method mem : signal_type
 173       method vectorize : signal_type -> signal_type
 174       method serialize : signal_type
 175       method vconcat : signal_type -> signal_type
 176       method vpick : signal_type -> signal_type
 177       method floor : signal_type
 178       method ceil : signal_type
 179       method rint : signal_type
 180       method int : signal_type
 181       method float : signal_type
 182       method sin : signal_type
 183       method asin : signal_type
 184       method cos : signal_type
 185       method acos : signal_type
 186       method tan : signal_type
 187       method atan : signal_type
 188       method atan2 : signal_type -> signal_type
 189       method exp : signal_type
 190       method sqrt : signal_type
 191       method ln : signal_type
 192       method lg : signal_type
 193       method abs : signal_type
 194       method fmod : signal_type -> signal_type
 195       method _mod : signal_type -> signal_type
 196       method remainder : signal_type -> signal_type
 197       method gt : signal_type -> signal_type
 198       method lt : signal_type -> signal_type
 199       method geq : signal_type -> signal_type
 200       method leq : signal_type -> signal_type
 201       method eq : signal_type -> signal_type
 202       method neq : signal_type -> signal_type
 203       method shl : signal_type -> signal_type
 204       method shr : signal_type -> signal_type
 205       method max : signal_type -> signal_type
 206       method min : signal_type -> signal_type
 207       method rdtable : signal_type -> signal_type -> signal_type
 208       method rwtable : signal_type -> signal_type ->
 209         signal_type -> signal_type -> signal_type
 210       method select2 : signal_type -> signal_type -> signal_type
 211       method select3 : signal_type -> signal_type -> signal_type -> signal_type
 212       method prefix : signal_type -> signal_type
 213     end;;
 214
 215 type matrix = float array array;;
 216
 217 type data = float array array array;;
 218
 219 class type beam_type =
 220     object
 221       method get : signal_type array
 222       method width : int
 223       method sub : int -> int -> beam_type
 224       method cut : int -> beam_type * beam_type
 225       method append : beam_type -> beam_type
 226       method matching : int -> beam_type
 227       method at : time -> value_type array
 228       method output : int -> data
 229       method frequency : rate_type array
 230     end;;
 231
 232
 233 class type dimension_type =
 234   object
 235     method input : int
 236     method output : int
 237     method par : dimension_type -> dimension_type
 238     method seq : dimension_type -> dimension_type
 239     method split : dimension_type -> dimension_type
 240     method merge : dimension_type -> dimension_type
 241     method _rec : dimension_type -> dimension_type
 242   end;;
 243
 244
 245 class type process_type =
 246     object
 247       method exp : faust_exp
 248       method dim : dimension_type
 249       method delay : int
 250       method eval : beam_type -> beam_type
 251     end;;
 252
 253
 254 class type io_type =
 255     object
 256       method set : string -> string -> string -> unit
 257       method read : string array -> beam_type
 258       method write : rate_type array -> data -> string array
 259     end;;