module Hat.Foreign.ForeignPtr
  (ForeignPtr(),FinalizerPtr(),gnewForeignPtr,anewForeignPtr,hnewForeignPtr
    ,gnewForeignPtr_,anewForeignPtr_,hnewForeignPtr_,gaddForeignPtrFinalizer
    ,aaddForeignPtrFinalizer,haddForeignPtrFinalizer,gunsafeForeignPtrToPtr
    ,aunsafeForeignPtrToPtr,hunsafeForeignPtrToPtr,gwithForeignPtr
    ,awithForeignPtr,hwithForeignPtr,gtouchForeignPtr,atouchForeignPtr
    ,htouchForeignPtr,gcastForeignPtr,acastForeignPtr,hcastForeignPtr) where

import qualified Hat.PreludeBasic 
import qualified Prelude 
import Hat.Hack 
import qualified Hat.Hat as T 
import Hat.Hat  (WrapVal(wrapVal))
import Hat.Prelude 
import Hat.PreludeBuiltinTypes 
import Hat.Foreign.BuiltinTypes 
import qualified Foreign.ForeignPtr 

gnewForeignPtr ::
  T.RefSrcPos ->
    T.RefExp -> T.R (T.Fun (FinalizerPtr a) (T.Fun (Ptr a) (IO (ForeignPtr a))))

gnewForeignPtr pnewForeignPtr p =
  T.ufun2 anewForeignPtr pnewForeignPtr p hnewForeignPtr

hnewForeignPtr z1newForeignPtr z2newForeignPtr knewForeignPtr =
  (T.fromIO (fromForeignPtr T.fromId)) knewForeignPtr
    (Foreign.ForeignPtr.newForeignPtr
      ((toFinalizerPtr T.toId) knewForeignPtr z1newForeignPtr)
      ((toPtr T.toId) knewForeignPtr z2newForeignPtr))

gnewForeignPtr_ ::
  T.RefSrcPos -> T.RefExp -> T.R (T.Fun (Ptr a) (IO (ForeignPtr a)))

gnewForeignPtr_ pnewForeignPtr_ p =
  T.ufun1 anewForeignPtr_ pnewForeignPtr_ p hnewForeignPtr_

hnewForeignPtr_ z1newForeignPtr_ knewForeignPtr_ =
  (T.fromIO (fromForeignPtr T.fromId)) knewForeignPtr_
    (Foreign.ForeignPtr.newForeignPtr_
      ((toPtr T.toId) knewForeignPtr_ z1newForeignPtr_))

gaddForeignPtrFinalizer ::
  T.RefSrcPos ->
    T.RefExp ->
      T.R (T.Fun (FinalizerPtr a) (T.Fun (ForeignPtr a) (IO T.Tuple0)))

gaddForeignPtrFinalizer paddForeignPtrFinalizer p =
  T.ufun2 aaddForeignPtrFinalizer paddForeignPtrFinalizer p
    haddForeignPtrFinalizer

haddForeignPtrFinalizer z1addForeignPtrFinalizer z2addForeignPtrFinalizer
  kaddForeignPtrFinalizer =
  (T.fromIO T.fromTuple0) kaddForeignPtrFinalizer
    (Foreign.ForeignPtr.addForeignPtrFinalizer
      ((toFinalizerPtr T.toId) kaddForeignPtrFinalizer z1addForeignPtrFinalizer)
      ((toForeignPtr T.toId) kaddForeignPtrFinalizer z2addForeignPtrFinalizer))

gunsafeForeignPtrToPtr ::
  T.RefSrcPos -> T.RefExp -> T.R (T.Fun (ForeignPtr a) (Ptr a))

gunsafeForeignPtrToPtr punsafeForeignPtrToPtr p =
  T.ufun1 aunsafeForeignPtrToPtr punsafeForeignPtrToPtr p hunsafeForeignPtrToPtr

hunsafeForeignPtrToPtr z1unsafeForeignPtrToPtr kunsafeForeignPtrToPtr =
  (fromPtr T.fromId) kunsafeForeignPtrToPtr
    (Foreign.ForeignPtr.unsafeForeignPtrToPtr
      ((toForeignPtr T.toId) kunsafeForeignPtrToPtr z1unsafeForeignPtrToPtr))

gwithForeignPtr ::
  T.RefSrcPos ->
    T.RefExp -> T.R (T.Fun (ForeignPtr a) (T.Fun (T.Fun (Ptr a) (IO b)) (IO b)))

gwithForeignPtr pwithForeignPtr p =
  T.ufun2 awithForeignPtr pwithForeignPtr p hwithForeignPtr

hwithForeignPtr z1withForeignPtr z2withForeignPtr kwithForeignPtr =
  (T.fromIO T.fromId) kwithForeignPtr
    (Foreign.ForeignPtr.withForeignPtr
      ((toForeignPtr T.toId) kwithForeignPtr z1withForeignPtr)
      ((toFun (fromPtr T.fromId) (T.toIO T.toId)) kwithForeignPtr
        z2withForeignPtr))

gtouchForeignPtr ::
  T.RefSrcPos -> T.RefExp -> T.R (T.Fun (ForeignPtr a) (IO T.Tuple0))

gtouchForeignPtr ptouchForeignPtr p =
  T.ufun1 atouchForeignPtr ptouchForeignPtr p htouchForeignPtr

htouchForeignPtr z1touchForeignPtr ktouchForeignPtr =
  (T.fromIO T.fromTuple0) ktouchForeignPtr
    (Foreign.ForeignPtr.touchForeignPtr
      ((toForeignPtr T.toId) ktouchForeignPtr z1touchForeignPtr))

gcastForeignPtr ::
  T.RefSrcPos -> T.RefExp -> T.R (T.Fun (ForeignPtr a) (ForeignPtr b))

gcastForeignPtr pcastForeignPtr p =
  T.ufun1 acastForeignPtr pcastForeignPtr p hcastForeignPtr

hcastForeignPtr z1castForeignPtr kcastForeignPtr =
  (fromForeignPtr T.fromId) kcastForeignPtr
    (Foreign.ForeignPtr.castForeignPtr
      ((toForeignPtr T.toId) kcastForeignPtr z1castForeignPtr))

geqForeignPtr ::
  T.RefSrcPos ->
    T.RefExp -> T.R (T.Fun (ForeignPtr a) (T.Fun (ForeignPtr a) Bool))

geqForeignPtr peqForeignPtr p =
  T.ufun2 aeqForeignPtr peqForeignPtr p heqForeignPtr

heqForeignPtr z1eqForeignPtr z2eqForeignPtr keqForeignPtr =
  fromBool keqForeignPtr
    (((toForeignPtr T.toId) keqForeignPtr z1eqForeignPtr)
      Prelude.==
      ((toForeignPtr T.toId) keqForeignPtr z2eqForeignPtr))

gshowsPrecForeignPtr ::
  T.RefSrcPos ->
    T.RefExp -> T.R (T.Fun Int (T.Fun (ForeignPtr a) (T.Fun String String)))

gshowsPrecForeignPtr pshowsPrecForeignPtr p =
  T.ufun3 ashowsPrecForeignPtr pshowsPrecForeignPtr p hshowsPrecForeignPtr

hshowsPrecForeignPtr z1showsPrecForeignPtr z2showsPrecForeignPtr
  z3showsPrecForeignPtr kshowsPrecForeignPtr =
  fromString kshowsPrecForeignPtr
    (Prelude.showsPrec (T.toInt kshowsPrecForeignPtr z1showsPrecForeignPtr)
      ((toForeignPtr T.toId) kshowsPrecForeignPtr z2showsPrecForeignPtr)
      (toString kshowsPrecForeignPtr z3showsPrecForeignPtr))

instance Eq ((ForeignPtr a))
  where
  
  (!==) (%==) p = T.uconstUse (%==) p (|==)
  
  (|==) =
    T.uconstDef T.mkRoot (++#=%*=+#=*$==) (\ p -> geqForeignPtr T.mkNoSrcPos p)
  

instance Show ((ForeignPtr a))
  where
  
  gshowsPrec pshowsPrec p = T.uconstUse pshowsPrec p sshowsPrec
  
  sshowsPrec =
    T.uconstDef T.mkRoot a63v36v63v66showsPrec
      (\ p -> gshowsPrecForeignPtr T.mkNoSrcPos p)
  

tForeign_ForeignPtr =
  T.mkModule "Foreign.ForeignPtr" "Foreign/ForeignPtr.hs" Prelude.False

anewForeignPtr =
  T.mkVariable tForeign_ForeignPtr 370001 380048 3 2 "newForeignPtr"
    Prelude.False

anewForeignPtr_ =
  T.mkVariable tForeign_ForeignPtr 390001 400031 3 1 "newForeignPtr_"
    Prelude.False

aaddForeignPtrFinalizer =
  T.mkVariable tForeign_ForeignPtr 410001 420064 3 2 "addForeignPtrFinalizer"
    Prelude.False

aunsafeForeignPtrToPtr =
  T.mkVariable tForeign_ForeignPtr 430001 440046 3 1 "unsafeForeignPtrToPtr"
    Prelude.False

awithForeignPtr =
  T.mkVariable tForeign_ForeignPtr 460001 470057 3 2 "withForeignPtr"
    Prelude.False

atouchForeignPtr =
  T.mkVariable tForeign_ForeignPtr 480001 490039 3 1 "touchForeignPtr"
    Prelude.False

acastForeignPtr =
  T.mkVariable tForeign_ForeignPtr 500001 510046 3 1 "castForeignPtr"
    Prelude.False

aeqForeignPtr =
  T.mkVariable tForeign_ForeignPtr 540001 550054 3 2 "eqForeignPtr"
    Prelude.False

ashowsPrecForeignPtr =
  T.mkVariable tForeign_ForeignPtr 580001 590064 3 3 "showsPrecForeignPtr"
    Prelude.False

(++#=%*=+#=*$==) =
  T.mkVariable tForeign_ForeignPtr 610035 610052 16 0 "==" Prelude.False

a63v36v63v66showsPrec =
  T.mkVariable tForeign_ForeignPtr 630036 630066 3 0 "showsPrec" Prelude.False