7 | data ArrayBuffer : Type where [external]
10 | ToFFI ArrayBuffer ArrayBuffer where toFFI = id
13 | FromFFI ArrayBuffer ArrayBuffer where fromFFI = Just
17 | data UInt8ClampedArray : Type where [external]
20 | ToFFI UInt8ClampedArray UInt8ClampedArray where toFFI = id
23 | FromFFI UInt8ClampedArray UInt8ClampedArray where fromFFI = Just
25 | %foreign "javascript:lambda:x => new Uint8ClampedArray(x)"
26 | prim__toUint8ClampedArray : ArrayBuffer -> UInt8ClampedArray
29 | Cast ArrayBuffer UInt8ClampedArray where
30 | cast = prim__toUint8ClampedArray
34 | data UInt8Array : Type where [external]
37 | ToFFI UInt8Array UInt8Array where toFFI = id
40 | FromFFI UInt8Array UInt8Array where fromFFI = Just
42 | %foreign "javascript:lambda:x => new Uint8Array(x)"
43 | prim__toUint8Array : ArrayBuffer -> UInt8Array
46 | Cast ArrayBuffer UInt8Array where
47 | cast = prim__toUint8Array
51 | data UInt16Array : Type where [external]
54 | ToFFI UInt16Array UInt16Array where toFFI = id
57 | FromFFI UInt16Array UInt16Array where fromFFI = Just
59 | %foreign "javascript:lambda:x => new Uint16Array(x)"
60 | prim__toUint16Array : ArrayBuffer -> UInt16Array
63 | Cast ArrayBuffer UInt16Array where
64 | cast = prim__toUint16Array
68 | data UInt32Array : Type where [external]
71 | ToFFI UInt32Array UInt32Array where toFFI = id
74 | FromFFI UInt32Array UInt32Array where fromFFI = Just
76 | %foreign "javascript:lambda:x => new Uint32Array(x)"
77 | prim__toUint32Array : ArrayBuffer -> UInt32Array
80 | Cast ArrayBuffer UInt32Array where
81 | cast = prim__toUint32Array
85 | data Int8Array : Type where [external]
88 | ToFFI Int8Array Int8Array where toFFI = id
91 | FromFFI Int8Array Int8Array where fromFFI = Just
93 | %foreign "javascript:lambda:x => new Int8Array(x)"
94 | prim__toInt8Array : ArrayBuffer -> Int8Array
97 | Cast ArrayBuffer Int8Array where
98 | cast = prim__toInt8Array
102 | data Int16Array : Type where [external]
105 | ToFFI Int16Array Int16Array where toFFI = id
108 | FromFFI Int16Array Int16Array where fromFFI = Just
110 | %foreign "javascript:lambda:x => new Int16Array(x)"
111 | prim__toInt16Array : ArrayBuffer -> Int16Array
114 | Cast ArrayBuffer Int16Array where
115 | cast = prim__toInt16Array
119 | data Int32Array : Type where [external]
122 | ToFFI Int32Array Int32Array where toFFI = id
125 | FromFFI Int32Array Int32Array where fromFFI = Just
127 | %foreign "javascript:lambda:x => new Int32Array(x)"
128 | prim__toInt32Array : ArrayBuffer -> Int32Array
131 | Cast ArrayBuffer Int32Array where
132 | cast = prim__toInt32Array
136 | data Float32Array : Type where [external]
139 | ToFFI Float32Array Float32Array where toFFI = id
142 | FromFFI Float32Array Float32Array where fromFFI = Just
144 | %foreign "javascript:lambda:x => new Float32Array(x)"
145 | prim__toFloat32Array : ArrayBuffer -> Float32Array
148 | Cast ArrayBuffer Float32Array where
149 | cast = prim__toFloat32Array
153 | data Float64Array : Type where [external]
156 | ToFFI Float64Array Float64Array where toFFI = id
159 | FromFFI Float64Array Float64Array where fromFFI = Just
161 | %foreign "javascript:lambda:x => new Float64Array(x)"
162 | prim__toFloat64Array : ArrayBuffer -> Float64Array
165 | Cast ArrayBuffer Float64Array where
166 | cast = prim__toFloat64Array
170 | data DataView : Type where [external]
173 | ToFFI DataView DataView where toFFI = id
176 | FromFFI DataView DataView where fromFFI = Just