Unsafe.hs

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

module Example.Unsafe
    ( Example.Unsafe.foo
    , Example.Unsafe.bar
    )
  where

import qualified HsBindgen.Runtime.Support as BG
import qualified HsBindgen.Runtime.Support.CAPI
import Example
import Prelude (IO)

$(HsBindgen.Runtime.Support.CAPI.addCSource (HsBindgen.Runtime.Support.CAPI.unlines
  [ "#include <program-analysis/program-slicing/macro_selected.h>"
  , "void hs_bindgen_72197c1a408e40ac ("
  , "  T arg1"
  , ")"
  , "{"
  , "  (foo)(arg1);"
  , "}"
  , "void hs_bindgen_401f15168ffec8ae ("
  , "  U arg1"
  , ")"
  , "{"
  , "  (bar)(arg1);"
  , "}"
  ]))

-- __unique:__ @test_programanalysisprogramslici_Example_Unsafe_foo@
foreign import ccall unsafe "hs_bindgen_72197c1a408e40ac" hs_bindgen_72197c1a408e40ac_base ::
     BG.CInt
  -> IO ()

-- __unique:__ @test_programanalysisprogramslici_Example_Unsafe_foo@
hs_bindgen_72197c1a408e40ac ::
     T
  -> IO ()
hs_bindgen_72197c1a408e40ac =
  \x0 ->
    hs_bindgen_72197c1a408e40ac_base (BG.toFFIType x0)

{-| __C declaration:__ @foo@

    __defined at:__ @program-analysis\/program-slicing\/macro_selected.h 5:6@

    __exported by:__ @program-analysis\/program-slicing\/macro_selected.h@
-}
foo ::
     T
     -- ^ __C declaration:__ @x@
  -> IO ()
foo = hs_bindgen_72197c1a408e40ac

-- __unique:__ @test_programanalysisprogramslici_Example_Unsafe_bar@
foreign import ccall unsafe "hs_bindgen_401f15168ffec8ae" hs_bindgen_401f15168ffec8ae_base ::
     BG.CInt
  -> IO ()

-- __unique:__ @test_programanalysisprogramslici_Example_Unsafe_bar@
hs_bindgen_401f15168ffec8ae ::
     U
  -> IO ()
hs_bindgen_401f15168ffec8ae =
  \x0 ->
    hs_bindgen_401f15168ffec8ae_base (BG.toFFIType x0)

{-| __C declaration:__ @bar@

    __defined at:__ @program-analysis\/program-slicing\/macro_selected.h 10:6@

    __exported by:__ @program-analysis\/program-slicing\/macro_selected.h@
-}
bar ::
     U
     -- ^ __C declaration:__ @x@
  -> IO ()
bar = hs_bindgen_401f15168ffec8ae