th.txt

-- addDependentFile test-artefacts/headers/golden/edge-cases/flam_functions.h
-- #include <edge-cases/flam_functions.h>
-- struct Vector *hs_bindgen_231473be98482b20 (
--   signed int arg1
-- )
-- {
--   return (vector_alloc)(arg1);
-- }
-- void hs_bindgen_d3aecc79bd3c1993 (
--   struct Vector *arg1
-- )
-- {
--   (vector_free)(arg1);
-- }
-- void hs_bindgen_bfc48cbf5e4cc2ca (
--   struct Vector *arg1
-- )
-- {
--   (vector_reverse)(arg1);
-- }
-- struct Vector *hs_bindgen_66fe57793f0712c2 (
--   signed int arg1
-- )
-- {
--   return (vector_alloc)(arg1);
-- }
-- void hs_bindgen_2fb197c3fb9a75a3 (
--   struct Vector *arg1
-- )
-- {
--   (vector_free)(arg1);
-- }
-- void hs_bindgen_c3965610d4826d1a (
--   struct Vector *arg1
-- )
-- {
--   (vector_reverse)(arg1);
-- }
-- /* test_edgecasesflam_functions_Example_get_vector_alloc */
-- __attribute__ ((const))
-- struct Vector *(*hs_bindgen_d243fc6d495ec901 (void)) (
--   signed int arg1
-- )
-- {
--   return &vector_alloc;
-- }
-- /* test_edgecasesflam_functions_Example_get_vector_free */
-- __attribute__ ((const))
-- void (*hs_bindgen_1d7c878fb2029890 (void)) (
--   struct Vector *arg1
-- )
-- {
--   return &vector_free;
-- }
-- /* test_edgecasesflam_functions_Example_get_vector_reverse */
-- __attribute__ ((const))
-- void (*hs_bindgen_630caac5f56516fe (void)) (
--   struct Vector *arg1
-- )
-- {
--   return &vector_reverse;
-- }
{-| __C declaration:__ @struct Vector@

    __defined at:__ @edge-cases\/flam_functions.h 1:8@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
data Vector_Aux
    = Vector {vector_length :: CInt
              {- ^ __C declaration:__ @length@

                   __defined at:__ @edge-cases\/flam_functions.h 2:7@

                   __exported by:__ @edge-cases\/flam_functions.h@
              -}}
    deriving stock (Eq, Generic, Show)
instance StaticSize Vector_Aux
    where staticSizeOf = \_ -> 8 :: Int
          staticAlignment = \_ -> 8 :: Int
instance ReadRaw Vector_Aux
    where readRaw = \ptr_0 -> pure Vector <*> readRaw (Proxy @"vector_length") ptr_0
instance WriteRaw Vector_Aux
    where writeRaw = \ptr_0 -> \s_1 -> case s_1 of
                                       Vector vector_length_2 -> writeRaw (Proxy @"vector_length") ptr_0 vector_length_2
deriving via (EquivStorable Vector_Aux) instance Storable Vector_Aux
deriving via (IsStructViaReadRaw Vector_Aux) instance IsStruct Vector_Aux
instance (~) ty CInt => HasField "vector_length" Vector_Aux ty
    where hasField = \x_0 -> (\y_1 -> Vector{vector_length = y_1},
                              getField @"vector_length" x_0)
instance (~) ty CInt =>
         HasField "vector_length" (Ptr Vector_Aux) (Ptr ty)
    where getField = fromPtr (Proxy @"vector_length")
instance HasCField Vector_Aux "vector_length"
    where type CFieldType Vector_Aux "vector_length" = CInt
          offset# = \_ -> \_ -> 0
instance Offset CLong Vector_Aux
    where offset = \_proxy_0 -> 8
type Vector = WithFlam CLong Vector_Aux
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_alloc@
foreign import ccall safe "hs_bindgen_231473be98482b20" hs_bindgen_231473be98482b20_base ::
    CInt
 -> IO (Ptr Void)
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_alloc@
hs_bindgen_231473be98482b20 :: CInt -> IO (Ptr Vector)
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_alloc@
hs_bindgen_231473be98482b20 = \x_0 -> fmap fromFFIType (hs_bindgen_231473be98482b20_base (toFFIType x_0))
{-| __C declaration:__ @vector_alloc@

    __defined at:__ @edge-cases\/flam_functions.h 6:16@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_alloc_safe :: CInt -> IO (Ptr Vector)
{-| __C declaration:__ @vector_alloc@

    __defined at:__ @edge-cases\/flam_functions.h 6:16@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_alloc_safe = hs_bindgen_231473be98482b20
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_free@
foreign import ccall safe "hs_bindgen_d3aecc79bd3c1993" hs_bindgen_d3aecc79bd3c1993_base ::
    Ptr Void
 -> IO ()
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_free@
hs_bindgen_d3aecc79bd3c1993 :: Ptr Vector -> IO ()
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_free@
hs_bindgen_d3aecc79bd3c1993 = \x_0 -> hs_bindgen_d3aecc79bd3c1993_base (toFFIType x_0)
{-| __C declaration:__ @vector_free@

    __defined at:__ @edge-cases\/flam_functions.h 8:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_free_safe :: Ptr Vector -> IO ()
{-| __C declaration:__ @vector_free@

    __defined at:__ @edge-cases\/flam_functions.h 8:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_free_safe = hs_bindgen_d3aecc79bd3c1993
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_reverse@
foreign import ccall safe "hs_bindgen_bfc48cbf5e4cc2ca" hs_bindgen_bfc48cbf5e4cc2ca_base ::
    Ptr Void
 -> IO ()
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_reverse@
hs_bindgen_bfc48cbf5e4cc2ca :: Ptr Vector -> IO ()
-- __unique:__ @test_edgecasesflam_functions_Example_Safe_vector_reverse@
hs_bindgen_bfc48cbf5e4cc2ca = \x_0 -> hs_bindgen_bfc48cbf5e4cc2ca_base (toFFIType x_0)
{-| __C declaration:__ @vector_reverse@

    __defined at:__ @edge-cases\/flam_functions.h 10:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_reverse_safe :: Ptr Vector -> IO ()
{-| __C declaration:__ @vector_reverse@

    __defined at:__ @edge-cases\/flam_functions.h 10:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_reverse_safe = hs_bindgen_bfc48cbf5e4cc2ca
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_alloc@
foreign import ccall unsafe "hs_bindgen_66fe57793f0712c2" hs_bindgen_66fe57793f0712c2_base ::
    CInt
 -> IO (Ptr Void)
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_alloc@
hs_bindgen_66fe57793f0712c2 :: CInt -> IO (Ptr Vector)
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_alloc@
hs_bindgen_66fe57793f0712c2 = \x_0 -> fmap fromFFIType (hs_bindgen_66fe57793f0712c2_base (toFFIType x_0))
{-| __C declaration:__ @vector_alloc@

    __defined at:__ @edge-cases\/flam_functions.h 6:16@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_alloc_unsafe :: CInt -> IO (Ptr Vector)
{-| __C declaration:__ @vector_alloc@

    __defined at:__ @edge-cases\/flam_functions.h 6:16@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_alloc_unsafe = hs_bindgen_66fe57793f0712c2
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_free@
foreign import ccall unsafe "hs_bindgen_2fb197c3fb9a75a3" hs_bindgen_2fb197c3fb9a75a3_base ::
    Ptr Void
 -> IO ()
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_free@
hs_bindgen_2fb197c3fb9a75a3 :: Ptr Vector -> IO ()
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_free@
hs_bindgen_2fb197c3fb9a75a3 = \x_0 -> hs_bindgen_2fb197c3fb9a75a3_base (toFFIType x_0)
{-| __C declaration:__ @vector_free@

    __defined at:__ @edge-cases\/flam_functions.h 8:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_free_unsafe :: Ptr Vector -> IO ()
{-| __C declaration:__ @vector_free@

    __defined at:__ @edge-cases\/flam_functions.h 8:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_free_unsafe = hs_bindgen_2fb197c3fb9a75a3
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_reverse@
foreign import ccall unsafe "hs_bindgen_c3965610d4826d1a" hs_bindgen_c3965610d4826d1a_base ::
    Ptr Void
 -> IO ()
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_reverse@
hs_bindgen_c3965610d4826d1a :: Ptr Vector -> IO ()
-- __unique:__ @test_edgecasesflam_functions_Example_Unsafe_vector_reverse@
hs_bindgen_c3965610d4826d1a = \x_0 -> hs_bindgen_c3965610d4826d1a_base (toFFIType x_0)
{-| __C declaration:__ @vector_reverse@

    __defined at:__ @edge-cases\/flam_functions.h 10:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_reverse_unsafe :: Ptr Vector -> IO ()
{-| __C declaration:__ @vector_reverse@

    __defined at:__ @edge-cases\/flam_functions.h 10:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_reverse_unsafe = hs_bindgen_c3965610d4826d1a
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_alloc@
foreign import ccall unsafe "hs_bindgen_d243fc6d495ec901" hs_bindgen_d243fc6d495ec901_base ::
    IO (FunPtr Void)
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_alloc@
hs_bindgen_d243fc6d495ec901 :: IO (FunPtr (CInt ->
                                           IO (Ptr Vector)))
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_alloc@
hs_bindgen_d243fc6d495ec901 = fmap fromFFIType hs_bindgen_d243fc6d495ec901_base
{-# NOINLINE vector_alloc_funptr #-}
{-| __C declaration:__ @vector_alloc@

    __defined at:__ @edge-cases\/flam_functions.h 6:16@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_alloc_funptr :: FunPtr (CInt -> IO (Ptr Vector))
{-| __C declaration:__ @vector_alloc@

    __defined at:__ @edge-cases\/flam_functions.h 6:16@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_alloc_funptr = unsafePerformIO hs_bindgen_d243fc6d495ec901
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_free@
foreign import ccall unsafe "hs_bindgen_1d7c878fb2029890" hs_bindgen_1d7c878fb2029890_base ::
    IO (FunPtr Void)
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_free@
hs_bindgen_1d7c878fb2029890 :: IO (FunPtr (Ptr Vector -> IO ()))
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_free@
hs_bindgen_1d7c878fb2029890 = fmap fromFFIType hs_bindgen_1d7c878fb2029890_base
{-# NOINLINE vector_free_funptr #-}
{-| __C declaration:__ @vector_free@

    __defined at:__ @edge-cases\/flam_functions.h 8:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_free_funptr :: FunPtr (Ptr Vector -> IO ())
{-| __C declaration:__ @vector_free@

    __defined at:__ @edge-cases\/flam_functions.h 8:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_free_funptr = unsafePerformIO hs_bindgen_1d7c878fb2029890
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_reverse@
foreign import ccall unsafe "hs_bindgen_630caac5f56516fe" hs_bindgen_630caac5f56516fe_base ::
    IO (FunPtr Void)
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_reverse@
hs_bindgen_630caac5f56516fe :: IO (FunPtr (Ptr Vector -> IO ()))
-- __unique:__ @test_edgecasesflam_functions_Example_get_vector_reverse@
hs_bindgen_630caac5f56516fe = fmap fromFFIType hs_bindgen_630caac5f56516fe_base
{-# NOINLINE vector_reverse_funptr #-}
{-| __C declaration:__ @vector_reverse@

    __defined at:__ @edge-cases\/flam_functions.h 10:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_reverse_funptr :: FunPtr (Ptr Vector -> IO ())
{-| __C declaration:__ @vector_reverse@

    __defined at:__ @edge-cases\/flam_functions.h 10:6@

    __exported by:__ @edge-cases\/flam_functions.h@
-}
vector_reverse_funptr = unsafePerformIO hs_bindgen_630caac5f56516fe