th.txt

-- addDependentFile test-artefacts/headers/golden/program-analysis/program-slicing/macro_unselected_t.h
-- addDependentFile test-artefacts/headers/golden/program-analysis/program-slicing/macro_unselected.h
-- #include <program-analysis/program-slicing/macro_unselected.h>
-- void hs_bindgen_ef8f97cf27661c20 (
--   U arg1
-- )
-- {
--   (bar)(arg1);
-- }
-- void hs_bindgen_401f15168ffec8ae (
--   U arg1
-- )
-- {
--   (bar)(arg1);
-- }
-- /* test_programanalysisprogramslici_Example_get_bar */
-- __attribute__ ((const))
-- void (*hs_bindgen_e57577b970e09cca (void)) (
--   U arg1
-- )
-- {
--   return &bar;
-- }
{-| __C declaration:__ @macro U@

    __defined at:__ @program-analysis\/program-slicing\/macro_unselected.h 11:9@

    __exported by:__ @program-analysis\/program-slicing\/macro_unselected.h@
-}
newtype U
    = U {unwrapU :: CInt}
    deriving stock (Eq, Generic, Ord, Read, Show)
    deriving newtype (Bitfield,
                      Bits,
                      Bounded,
                      Enum,
                      FiniteBits,
                      HasFFIType,
                      Integral,
                      Ix,
                      Num,
                      Prim,
                      ReadRaw,
                      Real,
                      StaticSize,
                      Storable,
                      WriteRaw)
instance (~) ty CInt => HasField "unwrapU" U ty
    where hasField = \x_0 -> (\y_1 -> U{unwrapU = y_1},
                              getField @"unwrapU" x_0)
instance (~) ty CInt => HasField "unwrapU" (Ptr U) (Ptr ty)
    where getField = fromPtr (Proxy @"unwrapU")
instance HasCField U "unwrapU"
    where type CFieldType U "unwrapU" = CInt
          offset# = \_ -> \_ -> 0
-- __unique:__ @test_programanalysisprogramslici_Example_Safe_bar@
foreign import ccall safe "hs_bindgen_ef8f97cf27661c20" hs_bindgen_ef8f97cf27661c20_base ::
    CInt
 -> IO ()
-- __unique:__ @test_programanalysisprogramslici_Example_Safe_bar@
hs_bindgen_ef8f97cf27661c20 :: U -> IO ()
-- __unique:__ @test_programanalysisprogramslici_Example_Safe_bar@
hs_bindgen_ef8f97cf27661c20 = \x_0 -> hs_bindgen_ef8f97cf27661c20_base (toFFIType x_0)
{-| __C declaration:__ @bar@

    __defined at:__ @program-analysis\/program-slicing\/macro_unselected.h 12:6@

    __exported by:__ @program-analysis\/program-slicing\/macro_unselected.h@
-}
bar_safe :: U -> IO ()
{-| __C declaration:__ @bar@

    __defined at:__ @program-analysis\/program-slicing\/macro_unselected.h 12:6@

    __exported by:__ @program-analysis\/program-slicing\/macro_unselected.h@
-}
bar_safe = hs_bindgen_ef8f97cf27661c20
-- __unique:__ @test_programanalysisprogramslici_Example_Unsafe_bar@
foreign import ccall unsafe "hs_bindgen_401f15168ffec8ae" hs_bindgen_401f15168ffec8ae_base ::
    CInt
 -> IO ()
-- __unique:__ @test_programanalysisprogramslici_Example_Unsafe_bar@
hs_bindgen_401f15168ffec8ae :: U -> IO ()
-- __unique:__ @test_programanalysisprogramslici_Example_Unsafe_bar@
hs_bindgen_401f15168ffec8ae = \x_0 -> hs_bindgen_401f15168ffec8ae_base (toFFIType x_0)
{-| __C declaration:__ @bar@

    __defined at:__ @program-analysis\/program-slicing\/macro_unselected.h 12:6@

    __exported by:__ @program-analysis\/program-slicing\/macro_unselected.h@
-}
bar_unsafe :: U -> IO ()
{-| __C declaration:__ @bar@

    __defined at:__ @program-analysis\/program-slicing\/macro_unselected.h 12:6@

    __exported by:__ @program-analysis\/program-slicing\/macro_unselected.h@
-}
bar_unsafe = hs_bindgen_401f15168ffec8ae
-- __unique:__ @test_programanalysisprogramslici_Example_get_bar@
foreign import ccall unsafe "hs_bindgen_e57577b970e09cca" hs_bindgen_e57577b970e09cca_base ::
    IO (FunPtr Void)
-- __unique:__ @test_programanalysisprogramslici_Example_get_bar@
hs_bindgen_e57577b970e09cca :: IO (FunPtr (U -> IO ()))
-- __unique:__ @test_programanalysisprogramslici_Example_get_bar@
hs_bindgen_e57577b970e09cca = fmap fromFFIType hs_bindgen_e57577b970e09cca_base
{-# NOINLINE bar_funptr #-}
{-| __C declaration:__ @bar@

    __defined at:__ @program-analysis\/program-slicing\/macro_unselected.h 12:6@

    __exported by:__ @program-analysis\/program-slicing\/macro_unselected.h@
-}
bar_funptr :: FunPtr (U -> IO ())
{-| __C declaration:__ @bar@

    __defined at:__ @program-analysis\/program-slicing\/macro_unselected.h 12:6@

    __exported by:__ @program-analysis\/program-slicing\/macro_unselected.h@
-}
bar_funptr = unsafePerformIO hs_bindgen_e57577b970e09cca