Adds arity annotations

Author: Mike Solomon

spago.dhall

@@ -21,7 +21,6 @@ to generate this file without the comments in this block.
   , "newtype"
   , "ordered-collections"
   , "prelude"
-  , "record"
   , "unsafe-coerce"
   , "web-events"
   , "web-html"

src/Web/GPU/BufferSource.purs

@@ -1,3 +1,14 @@
+-- @inline export fromArrayBuffer arity=1
+-- @inline export fromInt8Array arity=1
+-- @inline export fromInt16Array arity=1
+-- @inline export fromInt32Array arity=1
+-- @inline export fromUint8Array arity=1
+-- @inline export fromUint16Array arity=1
+-- @inline export fromUint32Array arity=1
+-- @inline export fromUint8ClampedArray arity=1
+-- @inline export fromFloat32Array arity=1
+-- @inline export fromFloat64Array arity=1
+-- @inline export fromDataView arity=1
 module Web.GPU.BufferSource where
 
 import Data.ArrayBuffer.Types (ArrayBuffer, DataView, Float32Array, Float64Array, Int16Array, Int32Array, Int8Array, Uint16Array, Uint32Array, Uint8Array, Uint8ClampedArray)
@@ -42,4 +53,4 @@ fromFloat64Array :: Float64Array -> BufferSource
 fromFloat64Array = unsafeCoerce
 
 fromDataView :: DataView -> BufferSource
-fromDataView = unsafeCoerce
+fromDataView = unsafeCoerce

src/Web/GPU/GPU.js

@@ -3,4 +3,4 @@ export const requestAdapterImpl =
     gpu.requestAdapter(options).then((o) => (o ? just(o) : nothing));
 
 export const getPreferredCanvasFormatImpl = (gpu) => () =>
-  gpu.getPreferredCanvasFormat();
+  gpu.getPreferredCanvasFormat();

src/Web/GPU/GPU.purs

@@ -1,3 +1,7 @@
+-- @inline export requestAdapterImpl arity=1
+-- @inline export requestAdapter arity=1
+-- @inline export getPreferredCanvasFormatImpl arity=1
+-- @inline export getPreferredCanvasFormat arity=1
 module Web.GPU.GPU
   ( requestAdapter
   , getPreferredCanvasFormat
@@ -30,4 +34,4 @@ requestAdapter = requestAdapterImpl Just Nothing
 foreign import getPreferredCanvasFormatImpl :: GPU -> Effect GPUTextureFormat
 
 getPreferredCanvasFormat :: GPU -> Effect GPUTextureFormat
-getPreferredCanvasFormat = getPreferredCanvasFormatImpl
+getPreferredCanvasFormat = getPreferredCanvasFormatImpl

src/Web/GPU/GPUAdapter.js

@@ -13,4 +13,4 @@ export const requestDeviceImpl =
   (just) => (nothing) => (adapter) => (options) => () =>
     adapter.requestDevice(options).then((o) => (o ? just(o) : nothing));
 export const requestAdapterInfoImpl = (adapter) => (unmaskHints) => () =>
-  adapter.requestAdapterInfo(unmaskHints);
+  adapter.requestAdapterInfo(unmaskHints);

src/Web/GPU/GPUAdapter.purs

@@ -1,3 +1,13 @@
+-- @inline export featuresImpl arity=2
+-- @inline export features arity=2
+-- @inline export limitsImpl arity=1
+-- @inline export limits arity=1
+-- @inline export isFallbackAdapterImpl arity=1
+-- @inline export isFallbackAdapter arity=1
+-- @inline export requestDeviceImpl arity=1
+-- @inline export requestDevice arity=1
+-- @inline export requestAdapterInfoImpl arity=2
+-- @inline export requestAdapterInfo arity=2
 module Web.GPU.GPUAdapter
   ( GPUAdapterInfo
   , features
@@ -66,4 +76,4 @@ type GPUAdapterInfo =
 
 requestAdapterInfo
   :: GPUAdapter -> Array UnmaskHint -> Effect (Promise GPUAdapterInfo)
-requestAdapterInfo = requestAdapterInfoImpl
+requestAdapterInfo = requestAdapterInfoImpl

src/Web/GPU/GPUBindGroupLayoutEntry.purs

@@ -1,3 +1,8 @@
+-- @inline export gpuBufferBindingLayout arity=3
+-- @inline export gpuSamplerBindingLayout arity=3
+-- @inline export gpuTextureBindingLayout arity=3
+-- @inline export gpuStorageTextureBindingLayout arity=3
+-- @inline export gpuExternalTextureBindingLayout arity=3
 module Web.GPU.GPUBindGroupLayoutEntry where
 
 import Unsafe.Coerce (unsafeCoerce)
@@ -47,4 +52,4 @@ gpuExternalTextureBindingLayout
   -> GPUExternalTextureBindingLayout
   -> GPUBindGroupLayoutEntry
 gpuExternalTextureBindingLayout binding visibility externalTexture =
-  unsafeCoerce { binding, visibility, externalTexture }
+  unsafeCoerce { binding, visibility, externalTexture }

src/Web/GPU/GPUBuffer.js

@@ -18,4 +18,4 @@ export const getMappedRangeWithOffsetAndSizeImpl =
   (buffer) => (offset) => (size) => () =>
     buffer.getMappedRange(offset, size);
 export const unmapImpl = (buffer) => () => buffer.unmap();
-export const destroyImpl = (buffer) => () => buffer.destroy();
+export const destroyImpl = (buffer) => () => buffer.destroy();

src/Web/GPU/GPUBuffer.purs

@@ -1,3 +1,29 @@
+-- @inline export sizeImpl arity=1
+-- @inline export size arity=1
+-- @inline export usageImpl arity=1
+-- @inline export usage arity=1
+-- @inline export mapStateImpl arity=1
+-- @inline export mapState arity=1
+-- @inline export mapAsyncImpl arity=2
+-- @inline export mapAsync arity=2
+-- @inline export mapAsyncWithOffsetImpl arity=3
+-- @inline export mapAsyncWithOffset arity=3
+-- @inline export mapAsyncWithSizeImpl arity=3
+-- @inline export mapAsyncWithSize arity=3
+-- @inline export mapAsyncWithOffsetAndSizeImpl arity=4
+-- @inline export mapAsyncWithOffsetAndSize arity=4
+-- @inline export getMappedRangeImpl arity=1
+-- @inline export getMappedRange arity=1
+-- @inline export getMappedRangeWithOffsetImpl arity=2
+-- @inline export getMappedRangeWithOffset arity=2
+-- @inline export getMappedRangeWithSizeImpl arity=2
+-- @inline export getMappedRangeWithSize arity=2
+-- @inline export getMappedRangeWithOffsetAndSizeImpl arity=3
+-- @inline export getMappedRangeWithOffsetAndSize arity=3
+-- @inline export unmapImpl arity=1
+-- @inline export unmap arity=1
+-- @inline export destroyImpl arity=1
+-- @inline export destroy arity=1
 module Web.GPU.GPUBuffer where
 
 import Prelude

src/Web/GPU/GPUBufferUsage.js

@@ -27,4 +27,4 @@ export const indirect = window.GPUBufferUsage
   : 0x0000;
 export const queryResolve = window.GPUBufferUsage
   ? window.GPUBufferUsage.QUERY_RESOLVE
-  : 0x0000;
+  : 0x0000;