th.txt

-- addDependentFile test-artefacts/headers/golden/program-analysis/selection_fail.h
{-| __C declaration:__ @struct OkBefore@

    __defined at:__ @program-analysis\/selection_fail.h 1:8@

    __exported by:__ @program-analysis\/selection_fail.h@
-}
data OkBefore
    = OkBefore {okBefore_x :: CInt
                {- ^ __C declaration:__ @x@

                     __defined at:__ @program-analysis\/selection_fail.h 2:7@

                     __exported by:__ @program-analysis\/selection_fail.h@
                -}}
    deriving stock (Eq, Generic, Show)
instance StaticSize OkBefore
    where staticSizeOf = \_ -> 4 :: Int
          staticAlignment = \_ -> 4 :: Int
instance ReadRaw OkBefore
    where readRaw = \ptr_0 -> pure OkBefore <*> readRaw (Proxy @"okBefore_x") ptr_0
instance WriteRaw OkBefore
    where writeRaw = \ptr_0 -> \s_1 -> case s_1 of
                                       OkBefore okBefore_x_2 -> writeRaw (Proxy @"okBefore_x") ptr_0 okBefore_x_2
deriving via (EquivStorable OkBefore) instance Storable OkBefore
deriving via (IsStructViaReadRaw OkBefore) instance IsStruct OkBefore
instance (~) ty CInt => HasField "okBefore_x" OkBefore ty
    where hasField = \x_0 -> (\y_1 -> OkBefore{okBefore_x = y_1},
                              getField @"okBefore_x" x_0)
instance (~) ty CInt =>
         HasField "okBefore_x" (Ptr OkBefore) (Ptr ty)
    where getField = fromPtr (Proxy @"okBefore_x")
instance HasCField OkBefore "okBefore_x"
    where type CFieldType OkBefore "okBefore_x" = CInt
          offset# = \_ -> \_ -> 0
{-| __C declaration:__ @struct OkAfter@

    __defined at:__ @program-analysis\/selection_fail.h 26:8@

    __exported by:__ @program-analysis\/selection_fail.h@
-}
data OkAfter
    = OkAfter {okAfter_x :: CInt
               {- ^ __C declaration:__ @x@

                    __defined at:__ @program-analysis\/selection_fail.h 27:7@

                    __exported by:__ @program-analysis\/selection_fail.h@
               -}}
    deriving stock (Eq, Generic, Show)
instance StaticSize OkAfter
    where staticSizeOf = \_ -> 4 :: Int
          staticAlignment = \_ -> 4 :: Int
instance ReadRaw OkAfter
    where readRaw = \ptr_0 -> pure OkAfter <*> readRaw (Proxy @"okAfter_x") ptr_0
instance WriteRaw OkAfter
    where writeRaw = \ptr_0 -> \s_1 -> case s_1 of
                                       OkAfter okAfter_x_2 -> writeRaw (Proxy @"okAfter_x") ptr_0 okAfter_x_2
deriving via (EquivStorable OkAfter) instance Storable OkAfter
deriving via (IsStructViaReadRaw OkAfter) instance IsStruct OkAfter
instance (~) ty CInt => HasField "okAfter_x" OkAfter ty
    where hasField = \x_0 -> (\y_1 -> OkAfter{okAfter_x = y_1},
                              getField @"okAfter_x" x_0)
instance (~) ty CInt => HasField "okAfter_x" (Ptr OkAfter) (Ptr ty)
    where getField = fromPtr (Proxy @"okAfter_x")
instance HasCField OkAfter "okAfter_x"
    where type CFieldType OkAfter "okAfter_x" = CInt
          offset# = \_ -> \_ -> 0