Idris2Doc : Web.Internal.WebglTypes

Web.Internal.WebglTypes

(source)
Definitions
data WebGLPowerPreference : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Default : WebGLPowerPreference
  
LowPower : WebGLPowerPreference
  
HighPerformance : WebGLPowerPreference

  Hints:
  
Eq WebGLPowerPreference
  
FromFFI WebGLPowerPreference String
  
Ord WebGLPowerPreference
  
Show WebGLPowerPreference
  
ToFFI WebGLPowerPreference String
read : String -> Maybe WebGLPowerPreference
  Totality: total
  Visibility: public export
data WebGL2RenderingContext : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGL2RenderingContext WebGL2RenderingContext
  
JSType WebGL2RenderingContext
  
SafeCast WebGL2RenderingContext
  
ToFFI WebGL2RenderingContext WebGL2RenderingContext
data WebGLActiveInfo : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLActiveInfo WebGLActiveInfo
  
JSType WebGLActiveInfo
  
SafeCast WebGLActiveInfo
  
ToFFI WebGLActiveInfo WebGLActiveInfo
data WebGLBuffer : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLBuffer WebGLBuffer
  
JSType WebGLBuffer
  
SafeCast WebGLBuffer
  
ToFFI WebGLBuffer WebGLBuffer
data WebGLFramebuffer : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLFramebuffer WebGLFramebuffer
  
JSType WebGLFramebuffer
  
SafeCast WebGLFramebuffer
  
ToFFI WebGLFramebuffer WebGLFramebuffer
data WebGLObject : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLObject WebGLObject
  
JSType WebGLObject
  
SafeCast WebGLObject
  
ToFFI WebGLObject WebGLObject
data WebGLProgram : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLProgram WebGLProgram
  
JSType WebGLProgram
  
SafeCast WebGLProgram
  
ToFFI WebGLProgram WebGLProgram
data WebGLQuery : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLQuery WebGLQuery
  
JSType WebGLQuery
  
SafeCast WebGLQuery
  
ToFFI WebGLQuery WebGLQuery
data WebGLRenderbuffer : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLRenderbuffer WebGLRenderbuffer
  
JSType WebGLRenderbuffer
  
SafeCast WebGLRenderbuffer
  
ToFFI WebGLRenderbuffer WebGLRenderbuffer
data WebGLRenderingContext : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLRenderingContext WebGLRenderingContext
  
JSType WebGLRenderingContext
  
SafeCast WebGLRenderingContext
  
ToFFI WebGLRenderingContext WebGLRenderingContext
data WebGLSampler : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLSampler WebGLSampler
  
JSType WebGLSampler
  
SafeCast WebGLSampler
  
ToFFI WebGLSampler WebGLSampler
data WebGLShader : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLShader WebGLShader
  
JSType WebGLShader
  
SafeCast WebGLShader
  
ToFFI WebGLShader WebGLShader
data WebGLShaderPrecisionFormat : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLShaderPrecisionFormat WebGLShaderPrecisionFormat
  
JSType WebGLShaderPrecisionFormat
  
SafeCast WebGLShaderPrecisionFormat
  
ToFFI WebGLShaderPrecisionFormat WebGLShaderPrecisionFormat
data WebGLSync : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLSync WebGLSync
  
JSType WebGLSync
  
SafeCast WebGLSync
  
ToFFI WebGLSync WebGLSync
data WebGLTexture : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLTexture WebGLTexture
  
JSType WebGLTexture
  
SafeCast WebGLTexture
  
ToFFI WebGLTexture WebGLTexture
data WebGLTransformFeedback : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLTransformFeedback WebGLTransformFeedback
  
JSType WebGLTransformFeedback
  
SafeCast WebGLTransformFeedback
  
ToFFI WebGLTransformFeedback WebGLTransformFeedback
data WebGLUniformLocation : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLUniformLocation WebGLUniformLocation
  
JSType WebGLUniformLocation
  
SafeCast WebGLUniformLocation
  
ToFFI WebGLUniformLocation WebGLUniformLocation
data WebGLVertexArrayObject : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLVertexArrayObject WebGLVertexArrayObject
  
JSType WebGLVertexArrayObject
  
SafeCast WebGLVertexArrayObject
  
ToFFI WebGLVertexArrayObject WebGLVertexArrayObject
data WebGLContextAttributes : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLContextAttributes WebGLContextAttributes
  
JSType WebGLContextAttributes
  
ToFFI WebGLContextAttributes WebGLContextAttributes
data WebGL2RenderingContextBase : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGL2RenderingContextBase WebGL2RenderingContextBase
  
ToFFI WebGL2RenderingContextBase WebGL2RenderingContextBase
data WebGL2RenderingContextOverloads : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGL2RenderingContextOverloads WebGL2RenderingContextOverloads
  
ToFFI WebGL2RenderingContextOverloads WebGL2RenderingContextOverloads
data WebGLRenderingContextBase : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLRenderingContextBase WebGLRenderingContextBase
  
ToFFI WebGLRenderingContextBase WebGLRenderingContextBase
data WebGLRenderingContextOverloads : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI WebGLRenderingContextOverloads WebGLRenderingContextOverloads
  
ToFFI WebGLRenderingContextOverloads WebGLRenderingContextOverloads