Adds more EffectFn bindings (#1)

These bindings will speed up the code execution, especially when using the ES optimizer.

Author: Mike Solomon

package.json

@@ -6,7 +6,7 @@
   "scripts": {
     "sandbox": "spago -x sandbox.dhall build && vite build sandbox/",
     "sandbox-dev": "spago -x sandbox-dev.dhall build && vite dev sandbox/",
-    "format": "purs-tidy format-in-place \"src/**/*.purs sandbox/**/*.purs\" && prettier --write \"src/**/*.js\""
+    "format": "purs-tidy format-in-place \"src/**/*.purs sandbox/**/*.purs\" && prettier --arrow-parens avoid --write \"src/**/*.js\""
   },
   "keywords": [],
   "author": "",

spago.dhall

@@ -16,11 +16,13 @@ to generate this file without the comments in this block.
   , "effect"
   , "foreign"
   , "foreign-object"
+  , "functions"
   , "integers"
   , "maybe"
   , "newtype"
   , "ordered-collections"
   , "prelude"
+  , "uint"
   , "unsafe-coerce"
   , "web-events"
   , "web-html"

src/Web/GPU/BufferSource.purs

@@ -15,6 +15,7 @@ import Data.ArrayBuffer.Types (ArrayBuffer, DataView, Float32Array, Float64Array
 import Unsafe.Coerce (unsafeCoerce)
 
 data BufferSource
+
 fromArrayBuffer :: ArrayBuffer -> BufferSource
 fromArrayBuffer = unsafeCoerce
 

src/Web/GPU/GPU.js

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

src/Web/GPU/GPU.purs

@@ -1,36 +1,32 @@
 -- @inline export requestAdapter arity=1
 -- @inline export getPreferredCanvasFormat arity=1
 module Web.GPU.GPU
-  ( GPU,requestAdapter
+  ( GPU
+  , requestAdapter
   , getPreferredCanvasFormat
   ) where
 
 import Data.Maybe (Maybe(..))
+import Effect.Uncurried(EffectFn1, runEffectFn1,EffectFn4, runEffectFn4)
 import Effect (Effect)
 import Web.GPU.GPURequestAdapterOptions (GPURequestAdapterOptions)
 import Web.GPU.GPUTextureFormat (GPUTextureFormat)
 import Web.Promise (Promise)
-import Web.GPU.GPUAdapter(GPUAdapter)
+import Web.GPU.GPUAdapter (GPUAdapter)
 
 data GPU
--- requestAdapter
 
-foreign import requestAdapterImpl
-  :: (GPUAdapter -> Maybe GPUAdapter)
-  -> Maybe GPUAdapter
-  -> GPU
-  -> GPURequestAdapterOptions
-  -> Effect (Promise (Maybe GPUAdapter))
+-- requestAdapter
 
+foreign import requestAdapterImpl :: EffectFn4 (GPUAdapter -> Maybe GPUAdapter) (Maybe GPUAdapter) GPU GPURequestAdapterOptions  (Promise (Maybe GPUAdapter))
 requestAdapter
   :: GPU
   -> GPURequestAdapterOptions
   -> Effect (Promise (Maybe GPUAdapter))
-requestAdapter = requestAdapterImpl Just Nothing
+requestAdapter a b = runEffectFn4 requestAdapterImpl Just Nothing a b
 
 -- getPreferredCanvasFormat
 
-foreign import getPreferredCanvasFormatImpl :: GPU -> Effect GPUTextureFormat
-
+foreign import getPreferredCanvasFormatImpl :: EffectFn1 GPU  GPUTextureFormat
 getPreferredCanvasFormat :: GPU -> Effect GPUTextureFormat
-getPreferredCanvasFormat = getPreferredCanvasFormatImpl
+getPreferredCanvasFormat a = runEffectFn1 getPreferredCanvasFormatImpl a

src/Web/GPU/GPUAdapter.js

@@ -1,16 +1,14 @@
-export const featuresImpl = (insert) => (empty) => (adapter) => () => {
+export const featuresImpl = (insert, empty, adapter) => {
   const iterator1 = adapter.features.entries();
   let out = empty;
   for (const entry of iterator1) {
     out = insert(entry)(out);
   }
   return out;
 };
-export const limitsImpl = (adapter) => () => adapter.limits;
-export const isFallbackAdapterImpl = (adapter) => () =>
-  adapter.isFallbackAdapter;
-export const requestDeviceImpl =
-  (just) => (nothing) => (adapter) => (options) => () =>
-    adapter.requestDevice(options).then((o) => (o ? just(o) : nothing));
-export const requestAdapterInfoImpl = (adapter) => (unmaskHints) => () =>
+export const limitsImpl = adapter => adapter.limits;
+export const isFallbackAdapterImpl = adapter => adapter.isFallbackAdapter;
+export const requestDeviceImpl = (just, nothing, adapter, options) =>
+  adapter.requestDevice(options).then(o => (o ? just(o) : nothing));
+export const requestAdapterInfoImpl = (adapter, unmaskHints) =>
   adapter.requestAdapterInfo(unmaskHints);

src/Web/GPU/GPUAdapter.purs

@@ -11,61 +11,46 @@ module Web.GPU.GPUAdapter
   , limits
   , requestAdapterInfo
   , requestDevice
-  )
-  where
+  ) where
 
 import Data.Maybe (Maybe(..))
+import Effect.Uncurried(EffectFn1, runEffectFn1,EffectFn2, runEffectFn2,EffectFn3, runEffectFn3,EffectFn4, runEffectFn4)
 import Data.Set as Set
 import Effect (Effect)
 import Web.GPU.GPUDeviceDescriptor (GPUDeviceDescriptor)
 import Web.GPU.GPUFeatureName (GPUFeatureName)
-import Web.GPU.GPUDevice(GPUDevice)
+import Web.GPU.GPUDevice (GPUDevice)
 import Web.GPU.GPUSupportedLimits (GPUSupportedLimits)
 import Web.GPU.UnmaskHint (UnmaskHint)
 import Web.Promise (Promise)
 
 data GPUAdapter
 
 -- features
-foreign import featuresImpl
-  :: (GPUFeatureName -> Set.Set GPUFeatureName -> Set.Set GPUFeatureName)
-  -> Set.Set GPUFeatureName
-  -> GPUAdapter
-  -> Effect (Set.Set GPUFeatureName)
-
+foreign import featuresImpl :: EffectFn3 (GPUFeatureName -> Set.Set GPUFeatureName -> Set.Set GPUFeatureName) (Set.Set GPUFeatureName) GPUAdapter  (Set.Set GPUFeatureName)
 features :: GPUAdapter -> Effect (Set.Set GPUFeatureName)
-features = featuresImpl Set.insert Set.empty
-
-foreign import limitsImpl :: GPUAdapter -> Effect { | GPUSupportedLimits }
+features a = runEffectFn3 featuresImpl Set.insert Set.empty a
 
+foreign import limitsImpl :: EffectFn1 GPUAdapter  { | GPUSupportedLimits }
 limits :: GPUAdapter -> Effect { | GPUSupportedLimits }
-limits = limitsImpl
-
-foreign import isFallbackAdapterImpl :: GPUAdapter -> Effect Boolean
+limits a = runEffectFn1 limitsImpl a
 
+foreign import isFallbackAdapterImpl :: EffectFn1 GPUAdapter  Boolean
 isFallbackAdapter :: GPUAdapter -> Effect Boolean
-isFallbackAdapter = isFallbackAdapterImpl
+isFallbackAdapter a = runEffectFn1 isFallbackAdapterImpl a
 
 -- requestDevice
 
-foreign import requestDeviceImpl
-  :: (GPUDevice -> Maybe GPUDevice)
-  -> Maybe GPUDevice
-  -> GPUAdapter
-  -> GPUDeviceDescriptor
-  -> Effect (Promise (Maybe GPUDevice))
-
+foreign import requestDeviceImpl :: EffectFn4 (GPUDevice -> Maybe GPUDevice)( Maybe GPUDevice) GPUAdapter GPUDeviceDescriptor  (Promise (Maybe GPUDevice))
 requestDevice
   :: GPUAdapter
   -> GPUDeviceDescriptor
   -> Effect (Promise (Maybe GPUDevice))
-requestDevice = requestDeviceImpl Just Nothing
+requestDevice a b= runEffectFn4 requestDeviceImpl Just Nothing a b
 
 -- requestAdapterInfo
 
-foreign import requestAdapterInfoImpl
-  :: GPUAdapter -> Array (UnmaskHint) -> Effect (Promise GPUAdapterInfo)
-
+foreign import requestAdapterInfoImpl :: EffectFn2 GPUAdapter (Array UnmaskHint)  (Promise GPUAdapterInfo)
 type GPUAdapterInfo =
   { vendor :: String
   , architecture :: String
@@ -75,4 +60,4 @@ type GPUAdapterInfo =
 
 requestAdapterInfo
   :: GPUAdapter -> Array UnmaskHint -> Effect (Promise GPUAdapterInfo)
-requestAdapterInfo = requestAdapterInfoImpl
+requestAdapterInfo a b = runEffectFn2 requestAdapterInfoImpl a b

src/Web/GPU/GPUBindGroup.purs

@@ -1,6 +1,5 @@
 module Web.GPU.GPUBindGroup
   ( GPUBindGroup
-  )
-  where
+  ) where
 
 data GPUBindGroup

src/Web/GPU/GPUBindGroupLayout.purs

@@ -1,6 +1,5 @@
 module Web.GPU.GPUBindGroupLayout
   ( GPUBindGroupLayout
-  )
-  where
+  ) where
 
 data GPUBindGroupLayout

src/Web/GPU/GPUBuffer.js

@@ -1,21 +1,19 @@
-export const sizeImpl = (buffer) => () => buffer.size;
-export const usageImpl = (buffer) => () => buffer.usage;
-export const mapStateImpl = (buffer) => () => buffer.mapState;
-export const mapAsyncImpl = (buffer) => (mode) => () => buffer.mapAsync(mode);
-export const mapAsyncWithOffsetImpl = (buffer) => (mode) => (offset) => () =>
+export const sizeImpl = buffer => buffer.size;
+export const usageImpl = buffer => buffer.usage;
+export const mapStateImpl = buffer => buffer.mapState;
+export const mapAsyncImpl = (buffer, mode) => buffer.mapAsync(mode);
+export const mapAsyncWithOffsetImpl = (buffer, mode, offset) =>
   buffer.mapAsync(mode, offset);
-export const mapAsyncWithSizeImpl = (buffer) => (mode) => (size) => () =>
+export const mapAsyncWithSizeImpl = (buffer, mode, size) =>
   buffer.mapAsync(mode, undefined, size);
-export const mapAsyncWithOffsetAndSizeImpl =
-  (buffer) => (mode) => (offset) => (size) => () =>
-    buffer.mapAsync(mode, offset, size);
-export const getMappedRangeImpl = (buffer) => () => buffer.getMappedRange();
-export const getMappedRangeWithOffsetImpl = (buffer) => (offset) => () =>
+export const mapAsyncWithOffsetAndSizeImpl = (buffer, mode, offset, size) =>
+  buffer.mapAsync(mode, offset, size);
+export const getMappedRangeImpl = buffer => buffer.getMappedRange();
+export const getMappedRangeWithOffsetImpl = (buffer, offset) =>
   buffer.getMappedRange(offset);
-export const getMappedRangeWithSizeImpl = (buffer) => (size) => () =>
+export const getMappedRangeWithSizeImpl = (buffer, size) =>
   buffer.getMappedRange(undefined, size);
-export const getMappedRangeWithOffsetAndSizeImpl =
-  (buffer) => (offset) => (size) => () =>
-    buffer.getMappedRange(offset, size);
-export const unmapImpl = (buffer) => () => buffer.unmap();
-export const destroyImpl = (buffer) => () => buffer.destroy();
+export const getMappedRangeWithOffsetAndSizeImpl = (buffer, offset, size) =>
+  buffer.getMappedRange(offset, size);
+export const unmapImpl = buffer => buffer.unmap();
+export const destroyImpl = buffer => buffer.destroy();