/////////////////////////////////////////////////////////////////////////////
//      
//      File      : qtc_hs_QGLPixelBuffer.h
//      Copyright : (c) David Harley 2010
//      Project   : qtHaskell
//      Version   : 1.1.4
//      Modified  : 2010-09-02 17:02:42
//      
//      Warning   : this file is machine generated - do not modify.
//      
/////////////////////////////////////////////////////////////////////////////

void* qtc_QGLPixelBuffer(void*);
void* qtc_QGLPixelBuffer1(int,int);
void* qtc_QGLPixelBuffer2(void*,void*);
void* qtc_QGLPixelBuffer3(int,int,void*);
void* qtc_QGLPixelBuffer4(int,int);
void* qtc_QGLPixelBuffer5(void*,void*,void*);
void* qtc_QGLPixelBuffer6(int,int,void*,void*);
void* qtc_QGLPixelBuffer7(int,int,void*);
void* qtc_QGLPixelBuffer8(int,int,void*,void*);
unsigned int qtc_QGLPixelBuffer_bindTexture(void*,void*);
unsigned int qtc_QGLPixelBuffer_bindTexture1(void*,void*);
unsigned int qtc_QGLPixelBuffer_bindTexture2(void*,void*);
unsigned int qtc_QGLPixelBuffer_bindTexture3(void*,void*,int);
unsigned int qtc_QGLPixelBuffer_bindTexture4(void*,void*,int);
int qtc_QGLPixelBuffer_bindToDynamicTexture(void*,unsigned int);
void qtc_QGLPixelBuffer_deleteTexture(void*,unsigned int);
int qtc_QGLPixelBuffer_devType(void*);
int qtc_QGLPixelBuffer_doneCurrent(void*);
void* qtc_QGLPixelBuffer_format(void*);
unsigned int qtc_QGLPixelBuffer_generateDynamicTexture(void*);
int qtc_QGLPixelBuffer_hasOpenGLPbuffers();
int qtc_QGLPixelBuffer_isValid(void*);
int qtc_QGLPixelBuffer_makeCurrent(void*);
int qtc_QGLPixelBuffer_metric(void*,long);
void* qtc_QGLPixelBuffer_paintEngine(void*);
void qtc_QGLPixelBuffer_releaseFromDynamicTexture(void*);
void* qtc_QGLPixelBuffer_size(void*);
void* qtc_QGLPixelBuffer_size_qth(void*,int*,int*);
void* qtc_QGLPixelBuffer_toImage(void*);
void qtc_QGLPixelBuffer_updateDynamicTexture(void*,unsigned int);
void qtc_QGLPixelBuffer_finalizer(void*);
void* qtc_QGLPixelBuffer_getFinalizer();
void qtc_QGLPixelBuffer_finalizer1(void*);
void* qtc_QGLPixelBuffer_getFinalizer1();
void qtc_QGLPixelBuffer_delete(void*);
void qtc_QGLPixelBuffer_delete1(void*);