0 | module Web.Internal.WebglTypes
11 | namespace WebGLPowerPreference
14 | data WebGLPowerPreference = Default | LowPower | HighPerformance
17 | Show WebGLPowerPreference where
18 | show Default = "default"
19 | show LowPower = "low-power"
20 | show HighPerformance = "high-performance"
23 | Eq WebGLPowerPreference where
24 | (==) = (==) `on` show
27 | Ord WebGLPowerPreference where
28 | compare = compare `on` show
31 | read : String -> Maybe WebGLPowerPreference
32 | read "default" = Just Default
33 | read "low-power" = Just LowPower
34 | read "high-performance" = Just HighPerformance
38 | ToFFI WebGLPowerPreference String where
42 | FromFFI WebGLPowerPreference String where
51 | export data WebGL2RenderingContext : Type where [external]
54 | ToFFI WebGL2RenderingContext WebGL2RenderingContext where toFFI = id
57 | FromFFI WebGL2RenderingContext WebGL2RenderingContext where fromFFI = Just
60 | SafeCast WebGL2RenderingContext where
61 | safeCast = unsafeCastOnPrototypeName "WebGL2RenderingContext"
63 | export data WebGLActiveInfo : Type where [external]
66 | ToFFI WebGLActiveInfo WebGLActiveInfo where toFFI = id
69 | FromFFI WebGLActiveInfo WebGLActiveInfo where fromFFI = Just
72 | SafeCast WebGLActiveInfo where
73 | safeCast = unsafeCastOnPrototypeName "WebGLActiveInfo"
75 | export data WebGLBuffer : Type where [external]
78 | ToFFI WebGLBuffer WebGLBuffer where toFFI = id
81 | FromFFI WebGLBuffer WebGLBuffer where fromFFI = Just
84 | SafeCast WebGLBuffer where
85 | safeCast = unsafeCastOnPrototypeName "WebGLBuffer"
87 | export data WebGLFramebuffer : Type where [external]
90 | ToFFI WebGLFramebuffer WebGLFramebuffer where toFFI = id
93 | FromFFI WebGLFramebuffer WebGLFramebuffer where fromFFI = Just
96 | SafeCast WebGLFramebuffer where
97 | safeCast = unsafeCastOnPrototypeName "WebGLFramebuffer"
99 | export data WebGLObject : Type where [external]
102 | ToFFI WebGLObject WebGLObject where toFFI = id
105 | FromFFI WebGLObject WebGLObject where fromFFI = Just
108 | SafeCast WebGLObject where
109 | safeCast = unsafeCastOnPrototypeName "WebGLObject"
111 | export data WebGLProgram : Type where [external]
114 | ToFFI WebGLProgram WebGLProgram where toFFI = id
117 | FromFFI WebGLProgram WebGLProgram where fromFFI = Just
120 | SafeCast WebGLProgram where
121 | safeCast = unsafeCastOnPrototypeName "WebGLProgram"
123 | export data WebGLQuery : Type where [external]
126 | ToFFI WebGLQuery WebGLQuery where toFFI = id
129 | FromFFI WebGLQuery WebGLQuery where fromFFI = Just
132 | SafeCast WebGLQuery where
133 | safeCast = unsafeCastOnPrototypeName "WebGLQuery"
135 | export data WebGLRenderbuffer : Type where [external]
138 | ToFFI WebGLRenderbuffer WebGLRenderbuffer where toFFI = id
141 | FromFFI WebGLRenderbuffer WebGLRenderbuffer where fromFFI = Just
144 | SafeCast WebGLRenderbuffer where
145 | safeCast = unsafeCastOnPrototypeName "WebGLRenderbuffer"
147 | export data WebGLRenderingContext : Type where [external]
150 | ToFFI WebGLRenderingContext WebGLRenderingContext where toFFI = id
153 | FromFFI WebGLRenderingContext WebGLRenderingContext where fromFFI = Just
156 | SafeCast WebGLRenderingContext where
157 | safeCast = unsafeCastOnPrototypeName "WebGLRenderingContext"
159 | export data WebGLSampler : Type where [external]
162 | ToFFI WebGLSampler WebGLSampler where toFFI = id
165 | FromFFI WebGLSampler WebGLSampler where fromFFI = Just
168 | SafeCast WebGLSampler where
169 | safeCast = unsafeCastOnPrototypeName "WebGLSampler"
171 | export data WebGLShader : Type where [external]
174 | ToFFI WebGLShader WebGLShader where toFFI = id
177 | FromFFI WebGLShader WebGLShader where fromFFI = Just
180 | SafeCast WebGLShader where
181 | safeCast = unsafeCastOnPrototypeName "WebGLShader"
183 | export data WebGLShaderPrecisionFormat : Type where [external]
186 | ToFFI WebGLShaderPrecisionFormat WebGLShaderPrecisionFormat where toFFI = id
189 | FromFFI WebGLShaderPrecisionFormat WebGLShaderPrecisionFormat where fromFFI = Just
192 | SafeCast WebGLShaderPrecisionFormat where
193 | safeCast = unsafeCastOnPrototypeName "WebGLShaderPrecisionFormat"
195 | export data WebGLSync : Type where [external]
198 | ToFFI WebGLSync WebGLSync where toFFI = id
201 | FromFFI WebGLSync WebGLSync where fromFFI = Just
204 | SafeCast WebGLSync where
205 | safeCast = unsafeCastOnPrototypeName "WebGLSync"
207 | export data WebGLTexture : Type where [external]
210 | ToFFI WebGLTexture WebGLTexture where toFFI = id
213 | FromFFI WebGLTexture WebGLTexture where fromFFI = Just
216 | SafeCast WebGLTexture where
217 | safeCast = unsafeCastOnPrototypeName "WebGLTexture"
219 | export data WebGLTransformFeedback : Type where [external]
222 | ToFFI WebGLTransformFeedback WebGLTransformFeedback where toFFI = id
225 | FromFFI WebGLTransformFeedback WebGLTransformFeedback where fromFFI = Just
228 | SafeCast WebGLTransformFeedback where
229 | safeCast = unsafeCastOnPrototypeName "WebGLTransformFeedback"
231 | export data WebGLUniformLocation : Type where [external]
234 | ToFFI WebGLUniformLocation WebGLUniformLocation where toFFI = id
237 | FromFFI WebGLUniformLocation WebGLUniformLocation where fromFFI = Just
240 | SafeCast WebGLUniformLocation where
241 | safeCast = unsafeCastOnPrototypeName "WebGLUniformLocation"
243 | export data WebGLVertexArrayObject : Type where [external]
246 | ToFFI WebGLVertexArrayObject WebGLVertexArrayObject where toFFI = id
249 | FromFFI WebGLVertexArrayObject WebGLVertexArrayObject where fromFFI = Just
252 | SafeCast WebGLVertexArrayObject where
253 | safeCast = unsafeCastOnPrototypeName "WebGLVertexArrayObject"
260 | export data WebGLContextAttributes : Type where [external]
263 | ToFFI WebGLContextAttributes WebGLContextAttributes where toFFI = id
266 | FromFFI WebGLContextAttributes WebGLContextAttributes where fromFFI = Just
273 | export data WebGL2RenderingContextBase : Type where [external]
276 | ToFFI WebGL2RenderingContextBase WebGL2RenderingContextBase where toFFI = id
279 | FromFFI WebGL2RenderingContextBase WebGL2RenderingContextBase where fromFFI = Just
281 | export data WebGL2RenderingContextOverloads : Type where [external]
284 | ToFFI WebGL2RenderingContextOverloads WebGL2RenderingContextOverloads where toFFI = id
287 | FromFFI WebGL2RenderingContextOverloads WebGL2RenderingContextOverloads where fromFFI = Just
289 | export data WebGLRenderingContextBase : Type where [external]
292 | ToFFI WebGLRenderingContextBase WebGLRenderingContextBase where toFFI = id
295 | FromFFI WebGLRenderingContextBase WebGLRenderingContextBase where fromFFI = Just
297 | export data WebGLRenderingContextOverloads : Type where [external]
300 | ToFFI WebGLRenderingContextOverloads WebGLRenderingContextOverloads where toFFI = id
303 | FromFFI WebGLRenderingContextOverloads WebGLRenderingContextOverloads where fromFFI = Just