hs-bindgen-1.0.0.0: test-artefacts/fixtures/arrays/array/Example/Safe.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_HADDOCK prune #-}
module Example.Safe
( Example.Safe.fun_1
, Example.Safe.fun_2
, Example.Safe.fun_3
, Example.Safe.fun_4
, Example.Safe.fun_5
, Example.Safe.fun_6
, Example.Safe.fun_7
, Example.Safe.fun_8
, Example.Safe.isSolved
, Example.Safe.fun_1_const
, Example.Safe.fun_2_const
, Example.Safe.fun_3_const
, Example.Safe.fun_4_const
, Example.Safe.fun_5_const
, Example.Safe.fun_6_const
, Example.Safe.fun_7_const
, Example.Safe.fun_8_const
, Example.Safe.isSolved_const
, Example.Safe.fun_9
, Example.Safe.fun_10
, Example.Safe.fun_11
, Example.Safe.fun_12
, Example.Safe.fun_13
, Example.Safe.fun_14
, Example.Safe.fun_15
, Example.Safe.fun_16
, Example.Safe.solve
)
where
import qualified HsBindgen.Runtime.ConstantArray as CA
import qualified HsBindgen.Runtime.IncompleteArray as IA
import qualified HsBindgen.Runtime.IsArray as IsA
import qualified HsBindgen.Runtime.PtrConst as PtrConst
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 <arrays/array.h>"
, "signed int hs_bindgen_a836491d63ff3a2c ("
, " signed int arg1,"
, " signed int *arg2"
, ")"
, "{"
, " return (fun_1)(arg1, arg2);"
, "}"
, "signed int hs_bindgen_c69f41e5ccc441ab ("
, " signed int *arg1"
, ")"
, "{"
, " return (fun_2)(arg1);"
, "}"
, "signed int hs_bindgen_30065ddbffdd7502 ("
, " signed int *arg1"
, ")"
, "{"
, " return (fun_3)(arg1);"
, "}"
, "signed int hs_bindgen_6e8db8abcb5fe22a ("
, " signed int *arg1"
, ")"
, "{"
, " return (fun_4)(arg1);"
, "}"
, "signed int hs_bindgen_b2f48c31265a3f47 ("
, " signed int (*arg1)[3]"
, ")"
, "{"
, " return (fun_5)(arg1);"
, "}"
, "signed int hs_bindgen_343fe8ca0dbb7eb1 ("
, " signed int (*arg1)[3]"
, ")"
, "{"
, " return (fun_6)(arg1);"
, "}"
, "signed int hs_bindgen_d98a58d39b578fd6 ("
, " signed int (*arg1)[3]"
, ")"
, "{"
, " return (fun_7)(arg1);"
, "}"
, "signed int hs_bindgen_4db12be6f46d98f5 ("
, " signed int (*arg1)[3]"
, ")"
, "{"
, " return (fun_8)(arg1);"
, "}"
, "signed int hs_bindgen_825f9aeca071df21 ("
, " triplet *arg1"
, ")"
, "{"
, " return (isSolved)(arg1);"
, "}"
, "signed int hs_bindgen_a2bf6bc667c9e769 ("
, " signed int arg1,"
, " signed int *arg2,"
, " signed int const *arg3"
, ")"
, "{"
, " return (fun_1_const)(arg1, arg2, arg3);"
, "}"
, "signed int hs_bindgen_ec5a6dd15a457a1d ("
, " signed int *arg1,"
, " signed int const *arg2"
, ")"
, "{"
, " return (fun_2_const)(arg1, arg2);"
, "}"
, "signed int hs_bindgen_84df1030280611db ("
, " signed int *arg1,"
, " signed int const *arg2"
, ")"
, "{"
, " return (fun_3_const)(arg1, arg2);"
, "}"
, "signed int hs_bindgen_e9dc927aa39d14d3 ("
, " signed int *arg1,"
, " signed int const *arg2"
, ")"
, "{"
, " return (fun_4_const)(arg1, arg2);"
, "}"
, "signed int hs_bindgen_cd0bfb26f385dfaa ("
, " signed int (*arg1)[3],"
, " signed int const (*arg2)[3]"
, ")"
, "{"
, " return (fun_5_const)(arg1, arg2);"
, "}"
, "signed int hs_bindgen_1054ce6b48ed0f13 ("
, " signed int (*arg1)[3],"
, " signed int const (*arg2)[3]"
, ")"
, "{"
, " return (fun_6_const)(arg1, arg2);"
, "}"
, "signed int hs_bindgen_496902d7c6466098 ("
, " signed int (*arg1)[3],"
, " signed int const (*arg2)[3]"
, ")"
, "{"
, " return (fun_7_const)(arg1, arg2);"
, "}"
, "signed int hs_bindgen_eb65cb5074167c48 ("
, " signed int (*arg1)[3],"
, " signed int const (*arg2)[3]"
, ")"
, "{"
, " return (fun_8_const)(arg1, arg2);"
, "}"
, "signed int hs_bindgen_9bb064e9eddf07f7 ("
, " triplet *arg1,"
, " triplet const *arg2"
, ")"
, "{"
, " return (isSolved_const)(arg1, arg2);"
, "}"
, "signed int (*hs_bindgen_0fa0a3e47fa9d95a (void))[3]"
, "{"
, " return (fun_9)();"
, "}"
, "triplet *hs_bindgen_e9d3d35727502125 (void)"
, "{"
, " return (fun_10)();"
, "}"
, "signed int (*hs_bindgen_7f7cea54b33bf176 (void))[]"
, "{"
, " return (fun_11)();"
, "}"
, "list *hs_bindgen_3124a96b00bbc082 (void)"
, "{"
, " return (fun_12)();"
, "}"
, "signed int (*hs_bindgen_2fdd1bf9ee687f9b (void))[4][3]"
, "{"
, " return (fun_13)();"
, "}"
, "matrix *hs_bindgen_12a242894a3d45cb (void)"
, "{"
, " return (fun_14)();"
, "}"
, "signed int (*hs_bindgen_d8e176eb5efefa2c (void))[][3]"
, "{"
, " return (fun_15)();"
, "}"
, "tripletlist *hs_bindgen_dcf234ca786626c7 (void)"
, "{"
, " return (fun_16)();"
, "}"
, "sudoku *hs_bindgen_f80a5b6a2770c658 (void)"
, "{"
, " return (solve)();"
, "}"
]))
-- __unique:__ @test_arraysarray_Example_Safe_fun_1@
foreign import ccall safe "hs_bindgen_a836491d63ff3a2c" hs_bindgen_a836491d63ff3a2c_base ::
BG.CInt
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_1@
hs_bindgen_a836491d63ff3a2c ::
BG.CInt
-> BG.Ptr (IsA.Elem (CA.ConstantArray 3 BG.CInt))
-> IO BG.CInt
hs_bindgen_a836491d63ff3a2c =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_a836491d63ff3a2c_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Array of known size.
__C declaration:__ @fun_1@
__defined at:__ @arrays\/array.h 118:5@
__exported by:__ @arrays\/array.h@
-}
fun_1 ::
BG.CInt
-- ^ __C declaration:__ @x@
-> BG.Ptr (IsA.Elem (CA.ConstantArray 3 BG.CInt))
-- ^ __C declaration:__ @xs@
-> IO BG.CInt
fun_1 = hs_bindgen_a836491d63ff3a2c
-- __unique:__ @test_arraysarray_Example_Safe_fun_2@
foreign import ccall safe "hs_bindgen_c69f41e5ccc441ab" hs_bindgen_c69f41e5ccc441ab_base ::
BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_2@
hs_bindgen_c69f41e5ccc441ab ::
BG.Ptr (IsA.Elem Triplet)
-> IO BG.CInt
hs_bindgen_c69f41e5ccc441ab =
\x0 ->
fmap BG.fromFFIType (hs_bindgen_c69f41e5ccc441ab_base (BG.toFFIType x0))
{-| Array of known size, typedef.
__C declaration:__ @fun_2@
__defined at:__ @arrays\/array.h 121:5@
__exported by:__ @arrays\/array.h@
-}
fun_2 ::
BG.Ptr (IsA.Elem Triplet)
-- ^ __C declaration:__ @xs@
-> IO BG.CInt
fun_2 = hs_bindgen_c69f41e5ccc441ab
-- __unique:__ @test_arraysarray_Example_Safe_fun_3@
foreign import ccall safe "hs_bindgen_30065ddbffdd7502" hs_bindgen_30065ddbffdd7502_base ::
BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_3@
hs_bindgen_30065ddbffdd7502 ::
BG.Ptr (IsA.Elem (IA.IncompleteArray BG.CInt))
-> IO BG.CInt
hs_bindgen_30065ddbffdd7502 =
\x0 ->
fmap BG.fromFFIType (hs_bindgen_30065ddbffdd7502_base (BG.toFFIType x0))
{-| Array of unknown size.
__C declaration:__ @fun_3@
__defined at:__ @arrays\/array.h 124:5@
__exported by:__ @arrays\/array.h@
-}
fun_3 ::
BG.Ptr (IsA.Elem (IA.IncompleteArray BG.CInt))
-- ^ __C declaration:__ @xs@
-> IO BG.CInt
fun_3 = hs_bindgen_30065ddbffdd7502
-- __unique:__ @test_arraysarray_Example_Safe_fun_4@
foreign import ccall safe "hs_bindgen_6e8db8abcb5fe22a" hs_bindgen_6e8db8abcb5fe22a_base ::
BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_4@
hs_bindgen_6e8db8abcb5fe22a ::
BG.Ptr (IsA.Elem List)
-> IO BG.CInt
hs_bindgen_6e8db8abcb5fe22a =
\x0 ->
fmap BG.fromFFIType (hs_bindgen_6e8db8abcb5fe22a_base (BG.toFFIType x0))
{-| Array of unknown size, typedef.
__C declaration:__ @fun_4@
__defined at:__ @arrays\/array.h 127:5@
__exported by:__ @arrays\/array.h@
-}
fun_4 ::
BG.Ptr (IsA.Elem List)
-- ^ __C declaration:__ @xs@
-> IO BG.CInt
fun_4 = hs_bindgen_6e8db8abcb5fe22a
-- __unique:__ @test_arraysarray_Example_Safe_fun_5@
foreign import ccall safe "hs_bindgen_b2f48c31265a3f47" hs_bindgen_b2f48c31265a3f47_base ::
BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_5@
hs_bindgen_b2f48c31265a3f47 ::
BG.Ptr (IsA.Elem (CA.ConstantArray 4 (CA.ConstantArray 3 BG.CInt)))
-> IO BG.CInt
hs_bindgen_b2f48c31265a3f47 =
\x0 ->
fmap BG.fromFFIType (hs_bindgen_b2f48c31265a3f47_base (BG.toFFIType x0))
{-| Multi-dimensional array of known size.
__C declaration:__ @fun_5@
__defined at:__ @arrays\/array.h 130:5@
__exported by:__ @arrays\/array.h@
-}
fun_5 ::
BG.Ptr (IsA.Elem (CA.ConstantArray 4 (CA.ConstantArray 3 BG.CInt)))
-- ^ __C declaration:__ @xss@
-> IO BG.CInt
fun_5 = hs_bindgen_b2f48c31265a3f47
-- __unique:__ @test_arraysarray_Example_Safe_fun_6@
foreign import ccall safe "hs_bindgen_343fe8ca0dbb7eb1" hs_bindgen_343fe8ca0dbb7eb1_base ::
BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_6@
hs_bindgen_343fe8ca0dbb7eb1 ::
BG.Ptr (IsA.Elem Matrix)
-> IO BG.CInt
hs_bindgen_343fe8ca0dbb7eb1 =
\x0 ->
fmap BG.fromFFIType (hs_bindgen_343fe8ca0dbb7eb1_base (BG.toFFIType x0))
{-| Multi-dimensional array of known size, typedef.
__C declaration:__ @fun_6@
__defined at:__ @arrays\/array.h 133:5@
__exported by:__ @arrays\/array.h@
-}
fun_6 ::
BG.Ptr (IsA.Elem Matrix)
-- ^ __C declaration:__ @xss@
-> IO BG.CInt
fun_6 = hs_bindgen_343fe8ca0dbb7eb1
-- __unique:__ @test_arraysarray_Example_Safe_fun_7@
foreign import ccall safe "hs_bindgen_d98a58d39b578fd6" hs_bindgen_d98a58d39b578fd6_base ::
BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_7@
hs_bindgen_d98a58d39b578fd6 ::
BG.Ptr (IsA.Elem (IA.IncompleteArray (CA.ConstantArray 3 BG.CInt)))
-> IO BG.CInt
hs_bindgen_d98a58d39b578fd6 =
\x0 ->
fmap BG.fromFFIType (hs_bindgen_d98a58d39b578fd6_base (BG.toFFIType x0))
{-| Multi-dimensional array of unknown size.
__C declaration:__ @fun_7@
__defined at:__ @arrays\/array.h 136:5@
__exported by:__ @arrays\/array.h@
-}
fun_7 ::
BG.Ptr (IsA.Elem (IA.IncompleteArray (CA.ConstantArray 3 BG.CInt)))
-- ^ __C declaration:__ @xss@
-> IO BG.CInt
fun_7 = hs_bindgen_d98a58d39b578fd6
-- __unique:__ @test_arraysarray_Example_Safe_fun_8@
foreign import ccall safe "hs_bindgen_4db12be6f46d98f5" hs_bindgen_4db12be6f46d98f5_base ::
BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_8@
hs_bindgen_4db12be6f46d98f5 ::
BG.Ptr (IsA.Elem Tripletlist)
-> IO BG.CInt
hs_bindgen_4db12be6f46d98f5 =
\x0 ->
fmap BG.fromFFIType (hs_bindgen_4db12be6f46d98f5_base (BG.toFFIType x0))
{-| Multi-dimensional array of unknown size, typedef.
__C declaration:__ @fun_8@
__defined at:__ @arrays\/array.h 139:5@
__exported by:__ @arrays\/array.h@
-}
fun_8 ::
BG.Ptr (IsA.Elem Tripletlist)
-- ^ __C declaration:__ @xss@
-> IO BG.CInt
fun_8 = hs_bindgen_4db12be6f46d98f5
-- __unique:__ @test_arraysarray_Example_Safe_isSolved@
foreign import ccall safe "hs_bindgen_825f9aeca071df21" hs_bindgen_825f9aeca071df21_base ::
BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_isSolved@
hs_bindgen_825f9aeca071df21 ::
BG.Ptr (IsA.Elem Sudoku)
-> IO BG.CInt
hs_bindgen_825f9aeca071df21 =
\x0 ->
fmap BG.fromFFIType (hs_bindgen_825f9aeca071df21_base (BG.toFFIType x0))
{-| Typedef-in-typedef.
__C declaration:__ @isSolved@
__defined at:__ @arrays\/array.h 142:5@
__exported by:__ @arrays\/array.h@
-}
isSolved ::
BG.Ptr (IsA.Elem Sudoku)
-- ^ __C declaration:__ @xss@
-> IO BG.CInt
isSolved = hs_bindgen_825f9aeca071df21
-- __unique:__ @test_arraysarray_Example_Safe_fun_1_const@
foreign import ccall safe "hs_bindgen_a2bf6bc667c9e769" hs_bindgen_a2bf6bc667c9e769_base ::
BG.CInt
-> BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_1_const@
hs_bindgen_a2bf6bc667c9e769 ::
BG.CInt
-> BG.Ptr (IsA.Elem (CA.ConstantArray 3 BG.CInt))
-> PtrConst.PtrConst (IsA.Elem (CA.ConstantArray 3 BG.CInt))
-> IO BG.CInt
hs_bindgen_a2bf6bc667c9e769 =
\x0 ->
\x1 ->
\x2 ->
fmap BG.fromFFIType (hs_bindgen_a2bf6bc667c9e769_base (BG.toFFIType x0) (BG.toFFIType x1) (BG.toFFIType x2))
{-| Array of known size.
__C declaration:__ @fun_1_const@
__defined at:__ @arrays\/array.h 149:5@
__exported by:__ @arrays\/array.h@
-}
fun_1_const ::
BG.CInt
-- ^ __C declaration:__ @x@
-> BG.Ptr (IsA.Elem (CA.ConstantArray 3 BG.CInt))
-- ^ __C declaration:__ @xs@
-> PtrConst.PtrConst (IsA.Elem (CA.ConstantArray 3 BG.CInt))
-- ^ __C declaration:__ @ys@
-> IO BG.CInt
fun_1_const = hs_bindgen_a2bf6bc667c9e769
-- __unique:__ @test_arraysarray_Example_Safe_fun_2_const@
foreign import ccall safe "hs_bindgen_ec5a6dd15a457a1d" hs_bindgen_ec5a6dd15a457a1d_base ::
BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_2_const@
hs_bindgen_ec5a6dd15a457a1d ::
BG.Ptr (IsA.Elem Triplet)
-> PtrConst.PtrConst (IsA.Elem Triplet)
-> IO BG.CInt
hs_bindgen_ec5a6dd15a457a1d =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_ec5a6dd15a457a1d_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Array of known size, typedef.
__C declaration:__ @fun_2_const@
__defined at:__ @arrays\/array.h 152:5@
__exported by:__ @arrays\/array.h@
-}
fun_2_const ::
BG.Ptr (IsA.Elem Triplet)
-- ^ __C declaration:__ @xs@
-> PtrConst.PtrConst (IsA.Elem Triplet)
-- ^ __C declaration:__ @ys@
-> IO BG.CInt
fun_2_const = hs_bindgen_ec5a6dd15a457a1d
-- __unique:__ @test_arraysarray_Example_Safe_fun_3_const@
foreign import ccall safe "hs_bindgen_84df1030280611db" hs_bindgen_84df1030280611db_base ::
BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_3_const@
hs_bindgen_84df1030280611db ::
BG.Ptr (IsA.Elem (IA.IncompleteArray BG.CInt))
-> PtrConst.PtrConst (IsA.Elem (IA.IncompleteArray BG.CInt))
-> IO BG.CInt
hs_bindgen_84df1030280611db =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_84df1030280611db_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Array of unknown size.
__C declaration:__ @fun_3_const@
__defined at:__ @arrays\/array.h 155:5@
__exported by:__ @arrays\/array.h@
-}
fun_3_const ::
BG.Ptr (IsA.Elem (IA.IncompleteArray BG.CInt))
-- ^ __C declaration:__ @xs@
-> PtrConst.PtrConst (IsA.Elem (IA.IncompleteArray BG.CInt))
-- ^ __C declaration:__ @ys@
-> IO BG.CInt
fun_3_const = hs_bindgen_84df1030280611db
-- __unique:__ @test_arraysarray_Example_Safe_fun_4_const@
foreign import ccall safe "hs_bindgen_e9dc927aa39d14d3" hs_bindgen_e9dc927aa39d14d3_base ::
BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_4_const@
hs_bindgen_e9dc927aa39d14d3 ::
BG.Ptr (IsA.Elem List)
-> PtrConst.PtrConst (IsA.Elem List)
-> IO BG.CInt
hs_bindgen_e9dc927aa39d14d3 =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_e9dc927aa39d14d3_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Array of unknown size, typedef.
__C declaration:__ @fun_4_const@
__defined at:__ @arrays\/array.h 158:5@
__exported by:__ @arrays\/array.h@
-}
fun_4_const ::
BG.Ptr (IsA.Elem List)
-- ^ __C declaration:__ @xs@
-> PtrConst.PtrConst (IsA.Elem List)
-- ^ __C declaration:__ @ys@
-> IO BG.CInt
fun_4_const = hs_bindgen_e9dc927aa39d14d3
-- __unique:__ @test_arraysarray_Example_Safe_fun_5_const@
foreign import ccall safe "hs_bindgen_cd0bfb26f385dfaa" hs_bindgen_cd0bfb26f385dfaa_base ::
BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_5_const@
hs_bindgen_cd0bfb26f385dfaa ::
BG.Ptr (IsA.Elem (CA.ConstantArray 4 (CA.ConstantArray 3 BG.CInt)))
-> PtrConst.PtrConst (IsA.Elem (CA.ConstantArray 4 (CA.ConstantArray 3 BG.CInt)))
-> IO BG.CInt
hs_bindgen_cd0bfb26f385dfaa =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_cd0bfb26f385dfaa_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Multi-dimensional array of known size.
__C declaration:__ @fun_5_const@
__defined at:__ @arrays\/array.h 161:5@
__exported by:__ @arrays\/array.h@
-}
fun_5_const ::
BG.Ptr (IsA.Elem (CA.ConstantArray 4 (CA.ConstantArray 3 BG.CInt)))
-- ^ __C declaration:__ @xss@
-> PtrConst.PtrConst (IsA.Elem (CA.ConstantArray 4 (CA.ConstantArray 3 BG.CInt)))
-- ^ __C declaration:__ @yss@
-> IO BG.CInt
fun_5_const = hs_bindgen_cd0bfb26f385dfaa
-- __unique:__ @test_arraysarray_Example_Safe_fun_6_const@
foreign import ccall safe "hs_bindgen_1054ce6b48ed0f13" hs_bindgen_1054ce6b48ed0f13_base ::
BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_6_const@
hs_bindgen_1054ce6b48ed0f13 ::
BG.Ptr (IsA.Elem Matrix)
-> PtrConst.PtrConst (IsA.Elem Matrix)
-> IO BG.CInt
hs_bindgen_1054ce6b48ed0f13 =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_1054ce6b48ed0f13_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Multi-dimensional array of known size, typedef.
__C declaration:__ @fun_6_const@
__defined at:__ @arrays\/array.h 164:5@
__exported by:__ @arrays\/array.h@
-}
fun_6_const ::
BG.Ptr (IsA.Elem Matrix)
-- ^ __C declaration:__ @xss@
-> PtrConst.PtrConst (IsA.Elem Matrix)
-- ^ __C declaration:__ @yss@
-> IO BG.CInt
fun_6_const = hs_bindgen_1054ce6b48ed0f13
-- __unique:__ @test_arraysarray_Example_Safe_fun_7_const@
foreign import ccall safe "hs_bindgen_496902d7c6466098" hs_bindgen_496902d7c6466098_base ::
BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_7_const@
hs_bindgen_496902d7c6466098 ::
BG.Ptr (IsA.Elem (IA.IncompleteArray (CA.ConstantArray 3 BG.CInt)))
-> PtrConst.PtrConst (IsA.Elem (IA.IncompleteArray (CA.ConstantArray 3 BG.CInt)))
-> IO BG.CInt
hs_bindgen_496902d7c6466098 =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_496902d7c6466098_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Multi-dimensional array of unknown size.
__C declaration:__ @fun_7_const@
__defined at:__ @arrays\/array.h 167:5@
__exported by:__ @arrays\/array.h@
-}
fun_7_const ::
BG.Ptr (IsA.Elem (IA.IncompleteArray (CA.ConstantArray 3 BG.CInt)))
-- ^ __C declaration:__ @xss@
-> PtrConst.PtrConst (IsA.Elem (IA.IncompleteArray (CA.ConstantArray 3 BG.CInt)))
-- ^ __C declaration:__ @yss@
-> IO BG.CInt
fun_7_const = hs_bindgen_496902d7c6466098
-- __unique:__ @test_arraysarray_Example_Safe_fun_8_const@
foreign import ccall safe "hs_bindgen_eb65cb5074167c48" hs_bindgen_eb65cb5074167c48_base ::
BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_fun_8_const@
hs_bindgen_eb65cb5074167c48 ::
BG.Ptr (IsA.Elem Tripletlist)
-> PtrConst.PtrConst (IsA.Elem Tripletlist)
-> IO BG.CInt
hs_bindgen_eb65cb5074167c48 =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_eb65cb5074167c48_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Multi-dimensional array of unknown size, typedef.
__C declaration:__ @fun_8_const@
__defined at:__ @arrays\/array.h 170:5@
__exported by:__ @arrays\/array.h@
-}
fun_8_const ::
BG.Ptr (IsA.Elem Tripletlist)
-- ^ __C declaration:__ @xss@
-> PtrConst.PtrConst (IsA.Elem Tripletlist)
-- ^ __C declaration:__ @yss@
-> IO BG.CInt
fun_8_const = hs_bindgen_eb65cb5074167c48
-- __unique:__ @test_arraysarray_Example_Safe_isSolved_const@
foreign import ccall safe "hs_bindgen_9bb064e9eddf07f7" hs_bindgen_9bb064e9eddf07f7_base ::
BG.Ptr BG.Void
-> BG.Ptr BG.Void
-> IO BG.CInt
-- __unique:__ @test_arraysarray_Example_Safe_isSolved_const@
hs_bindgen_9bb064e9eddf07f7 ::
BG.Ptr (IsA.Elem Sudoku)
-> PtrConst.PtrConst (IsA.Elem Sudoku)
-> IO BG.CInt
hs_bindgen_9bb064e9eddf07f7 =
\x0 ->
\x1 ->
fmap BG.fromFFIType (hs_bindgen_9bb064e9eddf07f7_base (BG.toFFIType x0) (BG.toFFIType x1))
{-| Typedef-in-typedef.
__C declaration:__ @isSolved_const@
__defined at:__ @arrays\/array.h 173:5@
__exported by:__ @arrays\/array.h@
-}
isSolved_const ::
BG.Ptr (IsA.Elem Sudoku)
-- ^ __C declaration:__ @xss@
-> PtrConst.PtrConst (IsA.Elem Sudoku)
-- ^ __C declaration:__ @yss@
-> IO BG.CInt
isSolved_const = hs_bindgen_9bb064e9eddf07f7
-- __unique:__ @test_arraysarray_Example_Safe_fun_9@
foreign import ccall safe "hs_bindgen_0fa0a3e47fa9d95a" hs_bindgen_0fa0a3e47fa9d95a_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_fun_9@
hs_bindgen_0fa0a3e47fa9d95a :: IO (BG.Ptr (CA.ConstantArray 3 BG.CInt))
hs_bindgen_0fa0a3e47fa9d95a =
fmap BG.fromFFIType hs_bindgen_0fa0a3e47fa9d95a_base
{-| Array of known size.
__C declaration:__ @fun_9@
__defined at:__ @arrays\/array.h 185:7@
__exported by:__ @arrays\/array.h@
-}
fun_9 :: IO (BG.Ptr (CA.ConstantArray 3 BG.CInt))
fun_9 = hs_bindgen_0fa0a3e47fa9d95a
-- __unique:__ @test_arraysarray_Example_Safe_fun_10@
foreign import ccall safe "hs_bindgen_e9d3d35727502125" hs_bindgen_e9d3d35727502125_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_fun_10@
hs_bindgen_e9d3d35727502125 :: IO (BG.Ptr Triplet)
hs_bindgen_e9d3d35727502125 =
fmap BG.fromFFIType hs_bindgen_e9d3d35727502125_base
{-| Array of known size, typedef.
__C declaration:__ @fun_10@
__defined at:__ @arrays\/array.h 188:10@
__exported by:__ @arrays\/array.h@
-}
fun_10 :: IO (BG.Ptr Triplet)
fun_10 = hs_bindgen_e9d3d35727502125
-- __unique:__ @test_arraysarray_Example_Safe_fun_11@
foreign import ccall safe "hs_bindgen_7f7cea54b33bf176" hs_bindgen_7f7cea54b33bf176_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_fun_11@
hs_bindgen_7f7cea54b33bf176 :: IO (BG.Ptr (IA.IncompleteArray BG.CInt))
hs_bindgen_7f7cea54b33bf176 =
fmap BG.fromFFIType hs_bindgen_7f7cea54b33bf176_base
{-| Array of unknown size.
__C declaration:__ @fun_11@
__defined at:__ @arrays\/array.h 191:7@
__exported by:__ @arrays\/array.h@
-}
fun_11 :: IO (BG.Ptr (IA.IncompleteArray BG.CInt))
fun_11 = hs_bindgen_7f7cea54b33bf176
-- __unique:__ @test_arraysarray_Example_Safe_fun_12@
foreign import ccall safe "hs_bindgen_3124a96b00bbc082" hs_bindgen_3124a96b00bbc082_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_fun_12@
hs_bindgen_3124a96b00bbc082 :: IO (BG.Ptr List)
hs_bindgen_3124a96b00bbc082 =
fmap BG.fromFFIType hs_bindgen_3124a96b00bbc082_base
{-| Array of unknown size, typedef.
__C declaration:__ @fun_12@
__defined at:__ @arrays\/array.h 194:7@
__exported by:__ @arrays\/array.h@
-}
fun_12 :: IO (BG.Ptr List)
fun_12 = hs_bindgen_3124a96b00bbc082
-- __unique:__ @test_arraysarray_Example_Safe_fun_13@
foreign import ccall safe "hs_bindgen_2fdd1bf9ee687f9b" hs_bindgen_2fdd1bf9ee687f9b_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_fun_13@
hs_bindgen_2fdd1bf9ee687f9b :: IO (BG.Ptr (CA.ConstantArray 4 (CA.ConstantArray 3 BG.CInt)))
hs_bindgen_2fdd1bf9ee687f9b =
fmap BG.fromFFIType hs_bindgen_2fdd1bf9ee687f9b_base
{-| Multi-dimensional array of known size.
__C declaration:__ @fun_13@
__defined at:__ @arrays\/array.h 197:7@
__exported by:__ @arrays\/array.h@
-}
fun_13 :: IO (BG.Ptr (CA.ConstantArray 4 (CA.ConstantArray 3 BG.CInt)))
fun_13 = hs_bindgen_2fdd1bf9ee687f9b
-- __unique:__ @test_arraysarray_Example_Safe_fun_14@
foreign import ccall safe "hs_bindgen_12a242894a3d45cb" hs_bindgen_12a242894a3d45cb_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_fun_14@
hs_bindgen_12a242894a3d45cb :: IO (BG.Ptr Matrix)
hs_bindgen_12a242894a3d45cb =
fmap BG.fromFFIType hs_bindgen_12a242894a3d45cb_base
{-| Multi-dimensional array of known size, typedef.
__C declaration:__ @fun_14@
__defined at:__ @arrays\/array.h 200:9@
__exported by:__ @arrays\/array.h@
-}
fun_14 :: IO (BG.Ptr Matrix)
fun_14 = hs_bindgen_12a242894a3d45cb
-- __unique:__ @test_arraysarray_Example_Safe_fun_15@
foreign import ccall safe "hs_bindgen_d8e176eb5efefa2c" hs_bindgen_d8e176eb5efefa2c_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_fun_15@
hs_bindgen_d8e176eb5efefa2c :: IO (BG.Ptr (IA.IncompleteArray (CA.ConstantArray 3 BG.CInt)))
hs_bindgen_d8e176eb5efefa2c =
fmap BG.fromFFIType hs_bindgen_d8e176eb5efefa2c_base
{-| Multi-dimensional array of unknown size.
__C declaration:__ @fun_15@
__defined at:__ @arrays\/array.h 203:7@
__exported by:__ @arrays\/array.h@
-}
fun_15 :: IO (BG.Ptr (IA.IncompleteArray (CA.ConstantArray 3 BG.CInt)))
fun_15 = hs_bindgen_d8e176eb5efefa2c
-- __unique:__ @test_arraysarray_Example_Safe_fun_16@
foreign import ccall safe "hs_bindgen_dcf234ca786626c7" hs_bindgen_dcf234ca786626c7_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_fun_16@
hs_bindgen_dcf234ca786626c7 :: IO (BG.Ptr Tripletlist)
hs_bindgen_dcf234ca786626c7 =
fmap BG.fromFFIType hs_bindgen_dcf234ca786626c7_base
{-| Multi-dimensional array of unknown size, typedef.
__C declaration:__ @fun_16@
__defined at:__ @arrays\/array.h 206:14@
__exported by:__ @arrays\/array.h@
-}
fun_16 :: IO (BG.Ptr Tripletlist)
fun_16 = hs_bindgen_dcf234ca786626c7
-- __unique:__ @test_arraysarray_Example_Safe_solve@
foreign import ccall safe "hs_bindgen_f80a5b6a2770c658" hs_bindgen_f80a5b6a2770c658_base ::
IO (BG.Ptr BG.Void)
-- __unique:__ @test_arraysarray_Example_Safe_solve@
hs_bindgen_f80a5b6a2770c658 :: IO (BG.Ptr Sudoku)
hs_bindgen_f80a5b6a2770c658 =
fmap BG.fromFFIType hs_bindgen_f80a5b6a2770c658_base
{-| Typedef-in-typedef.
__C declaration:__ @solve@
__defined at:__ @arrays\/array.h 209:10@
__exported by:__ @arrays\/array.h@
-}
solve :: IO (BG.Ptr Sudoku)
solve = hs_bindgen_f80a5b6a2770c658