cuda.gl: with-mapped-cuda-buffer helper word

diff --git a/extra/cuda/gl/gl.factor b/extra/cuda/gl/gl.factor
index ea24dd0c72c3338ce4bab05d8a8b8d43b5d0692d..d4943e1350a4ce9d47eb4551ff3dbde588c36ecf 100644 (file)
--- a/extra/cuda/gl/gl.factor
+++ b/extra/cuda/gl/gl.factor
@@ -50,3 +50,6 @@ TUPLE: cuda-buffer
 M: cuda-buffer dispose
     [ [ free-resource ] when* f ] change-resource
     buffer>> dispose ; inline
+
+: with-mapped-cuda-buffer ( ..a cuda-buffer quot: ( ..a device-ptr size -- ..b ) -- ..b )
+    [ resource>> ] dip with-mapped-resource ; inline