FunPtr.hs

{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_HADDOCK prune #-}

module Example.FunPtr
    ( Example.FunPtr.bar
    )
  where

import qualified Foreign.C.Types
import qualified HsBindgen.Runtime.Support as BG
import qualified HsBindgen.Runtime.Support.CAPI
import Example
import Prelude (IO, fmap)

$(HsBindgen.Runtime.Support.CAPI.addCSource (HsBindgen.Runtime.Support.CAPI.unlines
  [ "#include <program-analysis/program_slicing_simple.h>"
  , "/* test_programanalysisprogram_slici_Example_get_bar */"
  , "__attribute__ ((const))"
  , "signed int (*hs_bindgen_993162e0dadfa2c9 (void)) ("
  , "  uint64_t arg1,"
  , "  uint32_t arg2"
  , ")"
  , "{"
  , "  return &bar;"
  , "}"
  ]))

-- __unique:__ @test_programanalysisprogram_slici_Example_get_bar@
foreign import ccall unsafe "hs_bindgen_993162e0dadfa2c9" hs_bindgen_993162e0dadfa2c9_base ::
     IO (BG.FunPtr BG.Void)

-- __unique:__ @test_programanalysisprogram_slici_Example_get_bar@
hs_bindgen_993162e0dadfa2c9 :: IO (BG.FunPtr (Foreign.C.Types.CULong -> Uint32_t -> IO BG.CInt))
hs_bindgen_993162e0dadfa2c9 =
  fmap BG.fromFFIType hs_bindgen_993162e0dadfa2c9_base

{-# NOINLINE bar #-}
{-| __C declaration:__ @bar@

    __defined at:__ @program-analysis\/program_slicing_simple.h 8:5@

    __exported by:__ @program-analysis\/program_slicing_simple.h@
-}
bar :: BG.FunPtr (Foreign.C.Types.CULong -> Uint32_t -> IO BG.CInt)
bar = BG.unsafePerformIO hs_bindgen_993162e0dadfa2c9