Adds GPUExternalTexture

Author: Mike Solomon

src/Web/GPU/GPUExternalTexture.js

@@ -0,0 +1 @@
+export const expiredImpl = (texture) => () => texture.expired;

src/Web/GPU/GPUExternalTexture.purs

@@ -0,0 +1,11 @@
+module Web.GPU.GPUExternalTexture where
+
+
+
+import Effect (Effect)
+import Web.GPU.Internal.Types (GPUExternalTexture)
+
+foreign import expiredImpl :: GPUExternalTexture -> Effect Boolean
+
+expired :: GPUExternalTexture -> Effect Boolean
+expired = expiredImpl