@tellahq/rescript 10.1.0-alpha.2 → 10.1.4-republish-2

package/lib/ocaml/js_typed_array.cppo.ml

@@ -1,429 +0,0 @@
-(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Lesser General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * In addition to the permissions granted to you by the LGPL, you may combine
- * or link a "work that uses the Library" with a publicly distributed version
- * of this file to produce a combined library or application, then distribute
- * that combined work under the terms of your choosing, with no requirement
- * to comply with the obligations normally placed on you by section 4 of the
- * LGPL version 3 (or the corresponding section of a later version of the LGPL
- * should you choose to use a later version).
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU Lesser General Public License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
-
-(**
-  JavaScript Typed Array API
-
-  **see** [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypedArray)
-*)
-
-[@@@warning "-103"]
-
-type array_buffer = Js_typed_array2.array_buffer
-type 'a array_like = 'a Js_typed_array2.array_like
-
-module type Type = sig
-  type t
-end
-module ArrayBuffer = struct
-  (**
-    The underlying buffer that the typed arrays provide views of
-
-    **see** [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/ArrayBuffer)
-  *)
-
-  type t = array_buffer
-
-  external make : int -> t = "ArrayBuffer" [@@bs.new]
-  (** takes length. initializes elements to 0 *)
-
-  (* ArrayBuffer.isView: seems pointless with a type system *)
-  (* experimental
-  external transfer : array_buffer -> t = "ArrayBuffer.transfer" [@@bs.val]
-  external transferWithLength : array_buffer -> int -> t = "ArrayBuffer.transfer" [@@bs.val]
-  *)
-
-  external byteLength : t -> int = "byteLength" [@@bs.get]
-
-  external slice : start:int -> end_:int -> array_buffer = "slice" [@@bs.send.pipe: t] (*FIXME*)
-  external sliceFrom : int -> array_buffer = "slice" [@@bs.send.pipe: t]
-end
-module type S =  sig
-  (** Implements functionality common to all the typed arrays *)
-
-  type elt
-  type 'a typed_array
-  type t = elt typed_array
-
-  external unsafe_get : t -> int -> elt  = "" [@@bs.get_index]
-  external unsafe_set : t -> int -> elt -> unit = "" [@@bs.set_index]
-
-  external buffer : t -> array_buffer = "buffer" [@@bs.get]
-  external byteLength : t -> int = "byteLength" [@@bs.get]
-  external byteOffset : t -> int = "byteOffset" [@@bs.get]
-
-  external setArray : elt array -> unit = "set" [@@bs.send.pipe: t]
-  external setArrayOffset : elt array -> int -> unit = "set" [@@bs.send.pipe: t]
-  (* There's also an overload for typed arrays, but don't know how to model that without subtyping *)
-
-  (* Array interface(-ish)
-  * ---
-  *)
-  external length : t -> int = "length" [@@bs.get]
-
-  (* Mutator functions
-  *)
-  external copyWithin : to_:int -> t = "copyWithin" [@@bs.send.pipe: t]
-  external copyWithinFrom : to_:int -> from:int -> t = "copyWithin" [@@bs.send.pipe: t]
-  external copyWithinFromRange : to_:int -> start:int -> end_:int -> t = "copyWithin" [@@bs.send.pipe: t]
-
-  external fillInPlace : elt -> t = "fill" [@@bs.send.pipe: t]
-  external fillFromInPlace : elt -> from:int -> t = "fill" [@@bs.send.pipe: t]
-  external fillRangeInPlace : elt -> start:int -> end_:int -> t = "fill" [@@bs.send.pipe: t]
-
-  external reverseInPlace : t = "reverse" [@@bs.send.pipe: t]
-
-  external sortInPlace : t = "sort" [@@bs.send.pipe: t]
-  external sortInPlaceWith : (elt -> elt -> int [@bs]) -> t = "sort" [@@bs.send.pipe: t]
-
-  (* Accessor functions
-  *)
-  external includes : elt -> bool = "includes" [@@bs.send.pipe: t] (** ES2016 *)
-
-  external indexOf : elt  -> int = "indexOf" [@@bs.send.pipe: t]
-  external indexOfFrom : elt -> from:int -> int = "indexOf" [@@bs.send.pipe: t]
-
-  external join : string = "join" [@@bs.send.pipe: t]
-  external joinWith : string -> string = "join" [@@bs.send.pipe: t]
-
-  external lastIndexOf : elt -> int = "lastIndexOf" [@@bs.send.pipe: t]
-  external lastIndexOfFrom : elt -> from:int -> int = "lastIndexOf" [@@bs.send.pipe: t]
-
-  external slice : start:int -> end_:int -> t = "slice" [@@bs.send.pipe: t]
-  external copy : t = "slice" [@@bs.send.pipe: t]
-  external sliceFrom : int -> t = "slice" [@@bs.send.pipe: t]
-
-  external subarray : start:int -> end_:int -> t = "subarray" [@@bs.send.pipe: t]
-  external subarrayFrom : int -> t = "subarray" [@@bs.send.pipe: t]
-
-  external toString : string = "toString" [@@bs.send.pipe: t]
-  external toLocaleString : string = "toLocaleString" [@@bs.send.pipe: t]
-
-
-  (* Iteration functions
-  *)
-  (* commented out until bs has a plan for iterators
-  external entries : (int * elt) array_iter = "" [@@bs.send.pipe: t]
-  *)
-
-  external every : (elt  -> bool [@bs]) -> bool = "every" [@@bs.send.pipe: t]
-  external everyi : (elt -> int -> bool [@bs]) -> bool = "every" [@@bs.send.pipe: t]
-
-  (** should we use `bool` or `boolean` seems they are intechangeable here *)
-  external filter : (elt -> bool [@bs]) -> t = "filter" [@@bs.send.pipe: t]
-  external filteri : (elt -> int  -> bool [@bs]) -> t = "filter" [@@bs.send.pipe: t]
-
-  external find : (elt -> bool [@bs]) -> elt Js.undefined = "find" [@@bs.send.pipe: t]
-  external findi : (elt -> int -> bool [@bs]) -> elt Js.undefined  = "find" [@@bs.send.pipe: t]
-
-  external findIndex : (elt -> bool [@bs]) -> int = "findIndex" [@@bs.send.pipe: t]
-  external findIndexi : (elt -> int -> bool [@bs]) -> int = "findIndex" [@@bs.send.pipe: t]
-
-  external forEach : (elt -> unit [@bs]) -> unit = "forEach" [@@bs.send.pipe: t]
-  external forEachi : (elt -> int -> unit [@bs]) -> unit  = "forEach" [@@bs.send.pipe: t]
-
-  (* commented out until bs has a plan for iterators
-  external keys : int array_iter = "" [@@bs.send.pipe: t]
-  *)
-
-  external map : (elt  -> 'b [@bs]) -> 'b typed_array = "map" [@@bs.send.pipe: t]
-  external mapi : (elt -> int ->  'b [@bs]) -> 'b typed_array = "map" [@@bs.send.pipe: t]
-
-  external reduce :  ('b -> elt  -> 'b [@bs]) -> 'b -> 'b = "reduce" [@@bs.send.pipe: t]
-  external reducei : ('b -> elt -> int -> 'b [@bs]) -> 'b -> 'b = "reduce" [@@bs.send.pipe: t]
-
-  external reduceRight :  ('b -> elt  -> 'b [@bs]) -> 'b -> 'b = "reduceRight" [@@bs.send.pipe: t]
-  external reduceRighti : ('b -> elt -> int -> 'b [@bs]) -> 'b -> 'b = "reduceRight" [@@bs.send.pipe: t]
-
-  external some : (elt  -> bool [@bs]) -> bool = "some" [@@bs.send.pipe: t]
-  external somei : (elt  -> int -> bool [@bs]) -> bool = "some" [@@bs.send.pipe: t]
-
-  (* commented out until bs has a plan for iterators
-  external values : elt array_iter = "" [@@bs.send.pipe: t]
-  *)
-end
-
-#define COMMON_EXTERNALS(moduleName, eltType)\
-  (** *)\
-  type elt = eltType\
-  type 'a typed_array = 'a Js_typed_array2.moduleName.typed_array\
-  type t = elt typed_array\
-  \
-  external unsafe_get : t -> int -> elt  = "" [@@bs.get_index]\
-  external unsafe_set : t -> int -> elt -> unit = "" [@@bs.set_index]\
-  \
-  external buffer : t -> array_buffer = "buffer" [@@bs.get]\
-  external byteLength : t -> int = "byteLength" [@@bs.get]\
-  external byteOffset : t -> int = "byteOffset" [@@bs.get]\
-  \
-  external setArray : elt array -> unit = "set" [@@bs.send.pipe: t]\
-  external setArrayOffset : elt array -> int -> unit = "set" [@@bs.send.pipe: t]\
-  (* There's also an overload for typed arrays, but don't know how to model that without subtyping *)\
-  \
-  (* Array interface(-ish) *)\
-  external length : t -> int = "length" [@@bs.get]\
-  \
-  (* Mutator functions *)\
-  external copyWithin : to_:int -> t = "copyWithin" [@@bs.send.pipe: t]\
-  external copyWithinFrom : to_:int -> from:int -> t = "copyWithin" [@@bs.send.pipe: t]\
-  external copyWithinFromRange : to_:int -> start:int -> end_:int -> t = "copyWithin" [@@bs.send.pipe: t]\
-  \
-  external fillInPlace : elt -> t = "fill" [@@bs.send.pipe: t]\
-  external fillFromInPlace : elt -> from:int -> t = "fill" [@@bs.send.pipe: t]\
-  external fillRangeInPlace : elt -> start:int -> end_:int -> t = "fill" [@@bs.send.pipe: t]\
-  \
-  external reverseInPlace : t = "reverse" [@@bs.send.pipe: t]\
-  \
-  external sortInPlace : t = "sort" [@@bs.send.pipe: t]\
-  external sortInPlaceWith : (elt -> elt -> int [@bs]) -> t = "sort" [@@bs.send.pipe: t]\
-  \
-  (* Accessor functions *)\
-  external includes : elt -> bool = "includes" [@@bs.send.pipe: t] (* ES2016 *)\
-  \
-  external indexOf : elt  -> int = "indexOf" [@@bs.send.pipe: t]\
-  external indexOfFrom : elt -> from:int -> int = "indexOf" [@@bs.send.pipe: t]\
-  \
-  external join : string = "join" [@@bs.send.pipe: t]\
-  external joinWith : string -> string = "join" [@@bs.send.pipe: t]\
-  \
-  external lastIndexOf : elt -> int = "lastIndexOf" [@@bs.send.pipe: t]\
-  external lastIndexOfFrom : elt -> from:int -> int = "lastIndexOf" [@@bs.send.pipe: t]\
-  \
-  external slice : start:int -> end_:int -> t = "slice" [@@bs.send.pipe: t]\
-  (** `start` is inclusive, `end_` exclusive *)\
-  \
-  external copy : t = "slice" [@@bs.send.pipe: t]\
-  external sliceFrom : int -> t = "slice" [@@bs.send.pipe: t]\
-  \
-  external subarray : start:int -> end_:int -> t = "subarray" [@@bs.send.pipe: t]\
-  (** `start` is inclusive, `end_` exclusive *)\
-  \
-  external subarrayFrom : int -> t = "subarray" [@@bs.send.pipe: t]\
-  \
-  external toString : string = "toString" [@@bs.send.pipe: t]\
-  external toLocaleString : string = "toLocaleString" [@@bs.send.pipe: t]\
-  \
-  (* Iteration functions *)\
-  (* commented out until bs has a plan for iterators
-  external entries : (int * elt) array_iter = "" [@@bs.send.pipe: t]
-  *)\
-  external every : (elt  -> bool [@bs]) -> bool = "every" [@@bs.send.pipe: t]\
-  external everyi : (elt -> int -> bool [@bs]) -> bool = "every" [@@bs.send.pipe: t]\
-  \
-  \
-  external filter : (elt -> bool [@bs]) -> t = "filter" [@@bs.send.pipe: t]\
-  external filteri : (elt -> int  -> bool [@bs]) -> t = "filter" [@@bs.send.pipe: t]\
-  \
-  external find : (elt -> bool [@bs]) -> elt Js.undefined = "find" [@@bs.send.pipe: t]\
-  external findi : (elt -> int -> bool [@bs]) -> elt Js.undefined  = "find" [@@bs.send.pipe: t]\
-  \
-  external findIndex : (elt -> bool [@bs]) -> int = "findIndex" [@@bs.send.pipe: t]\
-  external findIndexi : (elt -> int -> bool [@bs]) -> int = "findIndex" [@@bs.send.pipe: t]\
-  \
-  external forEach : (elt -> unit [@bs]) -> unit = "forEach" [@@bs.send.pipe: t]\
-  external forEachi : (elt -> int -> unit [@bs]) -> unit  = "forEach" [@@bs.send.pipe: t]\
-  \
-  (* commented out until bs has a plan for iterators
-  external keys : int array_iter = "" [@@bs.send.pipe: t]
-  *)\
-  \
-  external map : (elt  -> 'b [@bs]) -> 'b typed_array = "map" [@@bs.send.pipe: t]\
-  external mapi : (elt -> int ->  'b [@bs]) -> 'b typed_array = "map" [@@bs.send.pipe: t]\
-  \
-  external reduce :  ('b -> elt  -> 'b [@bs]) -> 'b -> 'b = "reduce" [@@bs.send.pipe: t]\
-  external reducei : ('b -> elt -> int -> 'b [@bs]) -> 'b -> 'b = "reduce" [@@bs.send.pipe: t]\
-  \
-  external reduceRight :  ('b -> elt  -> 'b [@bs]) -> 'b -> 'b = "reduceRight" [@@bs.send.pipe: t]\
-  external reduceRighti : ('b -> elt -> int -> 'b [@bs]) -> 'b -> 'b = "reduceRight" [@@bs.send.pipe: t]\
-  \
-  external some : (elt  -> bool [@bs]) -> bool = "some" [@@bs.send.pipe: t]\
-  external somei : (elt  -> int -> bool [@bs]) -> bool = "some" [@@bs.send.pipe: t]\
-  \
-  external _BYTES_PER_ELEMENT: int = STRINGIFY(moduleName.BYTES_PER_ELEMENT) [@@bs.val]\
-  \
-  external make : elt array -> t = STRINGIFY(moduleName) [@@bs.new]\
-  external fromBuffer : array_buffer -> t = STRINGIFY(moduleName) [@@bs.new]\
-  (** can throw *)\
-  \
-  external fromBufferOffset : array_buffer -> int -> t = STRINGIFY(moduleName) [@@bs.new]\
-  (**
-    **raise** Js.Exn.Error raise Js exception
-
-    **param** offset is in bytes
-  *)\
-  \
-  external fromBufferRange : array_buffer -> offset:int -> length:int -> t = STRINGIFY(moduleName) [@@bs.new]\
-  (**
-    **raise** Js.Exn.Error raises Js exception
-
-    **param** offset is in bytes, length in elements
-  *)\
-  \
-  external fromLength : int -> t = STRINGIFY(moduleName) [@@bs.new]\
-  external from : elt array_like -> t = STRINGIFY(moduleName.from) [@@bs.val]\
-  (* *Array.of is redundant, use make *)
-
-  (* commented out until bs has a plan for iterators
-  external values : elt array_iter = "" [@@bs.send.pipe: t]
-  *)
-
-module Int8Array = struct
-  COMMON_EXTERNALS(Int8Array,int)
-end
-
-
-module Uint8Array = struct
-  COMMON_EXTERNALS(Uint8Array,int)
-end
-
-module Uint8ClampedArray = struct
-  COMMON_EXTERNALS(Uint8ClampedArray,int)
-end
-
-module Int16Array = struct
-  COMMON_EXTERNALS(Int16Array,int)
-end
-
-module Uint16Array = struct
-  COMMON_EXTERNALS(Uint16Array,int)
-end
-
-module Int32Array = struct
-  COMMON_EXTERNALS(Int32Array,int)
-
-  external create : int array -> t = "Int32Array" [@@bs.new]
-  [@@deprecated "use `make` instead"]
-  external of_buffer : array_buffer -> t = "Int32Array" [@@bs.new]
-  [@@deprecated "use `fromBuffer` instead"]
-end
-module Int32_array = Int32Array
-[@deprecated "use `Int32Array` instead"]
-
-
-module Uint32Array = struct
-  COMMON_EXTERNALS(Uint32Array,int)
-end
-
-
-(*
- it still return number, `float` in this case
-*)
-module Float32Array = struct
-  COMMON_EXTERNALS(Float32Array,float)
-
-  external create : float array -> t = "Float32Array" [@@bs.new]
-  [@@deprecated "use `make` instead"]
-  external of_buffer : array_buffer -> t = "Float32Array" [@@bs.new]
-  [@@deprecated "use `fromBuffer` instead"]
-end
-module Float32_array = Float32Array
-[@deprecated "use `Float32Array` instead"]
-
-
-module Float64Array = struct
-  COMMON_EXTERNALS(Float64Array,float)
-
-  external create : float array -> t = "Float64Array" [@@bs.new]
-  [@@deprecated "use `make` instead"]
-  external of_buffer : array_buffer -> t = "Float64Array" [@@bs.new]
-  [@@deprecated "use `fromBuffer` instead"]
-end
-module Float64_array = Float64Array
-[@deprecated "use `Float64Array` instead"]
-
-
-(**
-  The DataView view provides a low-level interface for reading and writing
-  multiple number types in an ArrayBuffer irrespective of the platform's endianness.
-
-  **see** [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/DataView)
-*)
-module DataView = struct
-
-  type t = Js_typed_array2.DataView.t
-
-  external make : array_buffer -> t = "DataView" [@@bs.new]
-  external fromBuffer : array_buffer -> t = "DataView" [@@bs.new]
-  external fromBufferOffset : array_buffer -> int -> t = "DataView" [@@bs.new]
-  external fromBufferRange : array_buffer -> offset:int -> length:int -> t = "DataView" [@@bs.new]
-
-  external buffer : t -> array_buffer = "buffer" [@@bs.get]
-  external byteLength : t -> int = "byteLength" [@@bs.get]
-  external byteOffset : t -> int = "byteOffset" [@@bs.get]
-
-  external getInt8 : t -> int -> int = "getInt8" [@@bs.send]
-  external getUint8 : t -> int -> int = "getUint8" [@@bs.send]
-
-  external getInt16: t -> int -> int = "getInt16" [@@bs.send]
-  external getInt16LittleEndian : t -> int -> (_ [@bs.as 1]) -> int =
-    "getInt16" [@@bs.send]
-
-  external getUint16: t -> int -> int = "getUint16" [@@bs.send]
-  external getUint16LittleEndian : t -> int -> (_ [@bs.as 1]) -> int =
-    "getUint16" [@@bs.send]
-
-  external getInt32: t -> int -> int = "getInt32" [@@bs.send]
-  external getInt32LittleEndian : t -> int -> (_ [@bs.as 1]) -> int =
-    "getInt32" [@@bs.send]
-
-  external getUint32: t -> int -> int = "getUint32" [@@bs.send]
-  external getUint32LittleEndian : t -> int -> (_ [@bs.as 1]) -> int =
-    "getUint32" [@@bs.send]
-
-  external getFloat32: t -> int -> float = "getFloat32" [@@bs.send]
-  external getFloat32LittleEndian : t -> int -> (_ [@bs.as 1]) -> float =
-    "getFloat32" [@@bs.send]
-
-  external getFloat64: t -> int -> float = "getFloat64" [@@bs.send]
-  external getFloat64LittleEndian : t -> int -> (_ [@bs.as 1]) -> float =
-    "getFloat64" [@@bs.send]
-
-  external setInt8 : t -> int -> int -> unit = "setInt8" [@@bs.send]
-  external setUint8 : t -> int -> int -> unit = "setUint8" [@@bs.send]
-
-  external setInt16: t -> int -> int -> unit = "setInt16" [@@bs.send]
-  external setInt16LittleEndian : t -> int -> int -> (_ [@bs.as 1]) -> unit =
-    "setInt16" [@@bs.send]
-
-  external setUint16: t -> int -> int -> unit = "setUint16" [@@bs.send]
-  external setUint16LittleEndian : t -> int -> int -> (_ [@bs.as 1]) -> unit =
-    "setUint16" [@@bs.send]
-
-  external setInt32: t -> int -> int -> unit = "setInt32" [@@bs.send]
-  external setInt32LittleEndian : t -> int -> int -> (_ [@bs.as 1]) -> unit =
-    "setInt32" [@@bs.send]
-
-  external setUint32: t -> int -> int -> unit = "setUint32" [@@bs.send]
-  external setUint32LittleEndian : t -> int -> int -> (_ [@bs.as 1]) -> unit =
-    "setUint32" [@@bs.send]
-
-  external setFloat32: t -> int -> float -> unit = "setFloat32" [@@bs.send]
-  external setFloat32LittleEndian : t -> int -> float -> (_ [@bs.as 1]) -> unit =
-    "setFloat32" [@@bs.send]
-
-  external setFloat64: t -> int -> float -> unit = "setFloat64" [@@bs.send]
-  external setFloat64LittleEndian : t -> int -> float -> (_ [@bs.as 1]) -> unit =
-    "setFloat64" [@@bs.send]
-
-end