with-mapped-resource ( ..a resource quot: ( ..a device-ptr size -- ..b ) -- ..b )


Vocabulary
cuda.gl

Inputs
resourcean object
quota quotation with stack effect ( ..a device-ptr size -- ..b )


Outputs
None

Definition


: with-mapped-resource
( ..a resource quot: ( ..a device-ptr size -- ..b ) -- ..b )
over [ map-resource ] 2dip [ unmap-resource ] curry finally
; inline