Idris2Doc : Web.Internal.WebglTypes

Web.Internal.WebglTypes

(source)

Definitions

dataWebGLPowerPreference : Type
Totality: total
Visibility: public export
Constructors:
Default : WebGLPowerPreference
LowPower : WebGLPowerPreference
HighPerformance : WebGLPowerPreference

Hints:
EqWebGLPowerPreference
FromFFIWebGLPowerPreferenceString
OrdWebGLPowerPreference
ShowWebGLPowerPreference
ToFFIWebGLPowerPreferenceString
read : String->MaybeWebGLPowerPreference
Totality: total
Visibility: public export
dataWebGL2RenderingContext : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGL2RenderingContextWebGL2RenderingContext
JSTypeWebGL2RenderingContext
SafeCastWebGL2RenderingContext
ToFFIWebGL2RenderingContextWebGL2RenderingContext
dataWebGLActiveInfo : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLActiveInfoWebGLActiveInfo
JSTypeWebGLActiveInfo
SafeCastWebGLActiveInfo
ToFFIWebGLActiveInfoWebGLActiveInfo
dataWebGLBuffer : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLBufferWebGLBuffer
JSTypeWebGLBuffer
SafeCastWebGLBuffer
ToFFIWebGLBufferWebGLBuffer
dataWebGLFramebuffer : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLFramebufferWebGLFramebuffer
JSTypeWebGLFramebuffer
SafeCastWebGLFramebuffer
ToFFIWebGLFramebufferWebGLFramebuffer
dataWebGLObject : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLObjectWebGLObject
JSTypeWebGLObject
SafeCastWebGLObject
ToFFIWebGLObjectWebGLObject
dataWebGLProgram : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLProgramWebGLProgram
JSTypeWebGLProgram
SafeCastWebGLProgram
ToFFIWebGLProgramWebGLProgram
dataWebGLQuery : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLQueryWebGLQuery
JSTypeWebGLQuery
SafeCastWebGLQuery
ToFFIWebGLQueryWebGLQuery
dataWebGLRenderbuffer : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLRenderbufferWebGLRenderbuffer
JSTypeWebGLRenderbuffer
SafeCastWebGLRenderbuffer
ToFFIWebGLRenderbufferWebGLRenderbuffer
dataWebGLRenderingContext : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLRenderingContextWebGLRenderingContext
JSTypeWebGLRenderingContext
SafeCastWebGLRenderingContext
ToFFIWebGLRenderingContextWebGLRenderingContext
dataWebGLSampler : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLSamplerWebGLSampler
JSTypeWebGLSampler
SafeCastWebGLSampler
ToFFIWebGLSamplerWebGLSampler
dataWebGLShader : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLShaderWebGLShader
JSTypeWebGLShader
SafeCastWebGLShader
ToFFIWebGLShaderWebGLShader
dataWebGLShaderPrecisionFormat : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLShaderPrecisionFormatWebGLShaderPrecisionFormat
JSTypeWebGLShaderPrecisionFormat
SafeCastWebGLShaderPrecisionFormat
ToFFIWebGLShaderPrecisionFormatWebGLShaderPrecisionFormat
dataWebGLSync : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLSyncWebGLSync
JSTypeWebGLSync
SafeCastWebGLSync
ToFFIWebGLSyncWebGLSync
dataWebGLTexture : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLTextureWebGLTexture
JSTypeWebGLTexture
SafeCastWebGLTexture
ToFFIWebGLTextureWebGLTexture
dataWebGLTransformFeedback : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLTransformFeedbackWebGLTransformFeedback
JSTypeWebGLTransformFeedback
SafeCastWebGLTransformFeedback
ToFFIWebGLTransformFeedbackWebGLTransformFeedback
dataWebGLUniformLocation : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLUniformLocationWebGLUniformLocation
JSTypeWebGLUniformLocation
SafeCastWebGLUniformLocation
ToFFIWebGLUniformLocationWebGLUniformLocation
dataWebGLVertexArrayObject : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLVertexArrayObjectWebGLVertexArrayObject
JSTypeWebGLVertexArrayObject
SafeCastWebGLVertexArrayObject
ToFFIWebGLVertexArrayObjectWebGLVertexArrayObject
dataWebGLContextAttributes : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLContextAttributesWebGLContextAttributes
JSTypeWebGLContextAttributes
ToFFIWebGLContextAttributesWebGLContextAttributes
dataWebGL2RenderingContextBase : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGL2RenderingContextBaseWebGL2RenderingContextBase
ToFFIWebGL2RenderingContextBaseWebGL2RenderingContextBase
dataWebGL2RenderingContextOverloads : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGL2RenderingContextOverloadsWebGL2RenderingContextOverloads
ToFFIWebGL2RenderingContextOverloadsWebGL2RenderingContextOverloads
dataWebGLRenderingContextBase : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLRenderingContextBaseWebGLRenderingContextBase
ToFFIWebGLRenderingContextBaseWebGLRenderingContextBase
dataWebGLRenderingContextOverloads : Type
Totality: total
Visibility: export
Hints:
FromFFIWebGLRenderingContextOverloadsWebGLRenderingContextOverloads
ToFFIWebGLRenderingContextOverloadsWebGLRenderingContextOverloads