/
ElementIndexUint.purs
45 lines (38 loc) · 1.37 KB
/
ElementIndexUint.purs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
module WebGL.Raw.Extensions.OES.ElementIndexUint
( OES_element_index_uint
, getExtensionOES_element_index_uint
) where
import Data.Maybe (Maybe)
import Data.Nullable ( Nullable
, toMaybe
)
import Effect (Effect)
import Effect.Uncurried ( EffectFn1
, runEffectFn1
)
import Prelude ( bind
, pure
)
import WebGL.Raw.Types ( class IsWebGLRenderingContext
, WebGLRenderingContext
, toWebGLRenderingContext
)
-- |
-- | Documentation: [OES_element_index_uint extension](https://www.khronos.org/registry/webgl/extensions/OES_element_index_uint/)
-- |
foreign import data OES_element_index_uint :: Type
-- |
-- | Usage: `getExtensionOES_element_index_uint gl`
-- |
getExtensionOES_element_index_uint :: forall c
. IsWebGLRenderingContext c
=> c
-> Effect (Maybe OES_element_index_uint)
getExtensionOES_element_index_uint gl
= let
gl0 = toWebGLRenderingContext gl
in
do
res <- runEffectFn1 js_getExtensionOES_element_index_uint gl0
pure (toMaybe res)
foreign import js_getExtensionOES_element_index_uint :: EffectFn1 WebGLRenderingContext (Nullable OES_element_index_uint)