Example.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}

module Example
    ( Example.myInt
    , Example.G1(..)
    , Example.G2(..)
    , Example.G3(..)
    )
  where

import qualified HsBindgen.Runtime.HasCField as HasCField
import qualified HsBindgen.Runtime.Macro as Macro
import qualified HsBindgen.Runtime.Marshal as Marshal
import qualified HsBindgen.Runtime.Struct as Struct
import qualified HsBindgen.Runtime.Support as BG
import qualified HsBindgen.Runtime.Support.CompatHasField as BG.CompatHasField
import Prelude ((<*>), Eq, Int, Show, String, pure, type (~))

{-| __C declaration:__ @macro MyInt@

    __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 1:9@

    __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
-}
myInt :: Macro.Raw String
myInt = Macro.objectLike "MyInt" ["int"]

{-| __C declaration:__ @struct \@G1@

    __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 3:1@

    __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
-}
data G1 = G1
  { g1_x :: BG.CInt
    {- ^ __C declaration:__ @x@

         __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 3:16@

         __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
    -}
  }
  deriving stock (Eq, BG.Generic, Show)

instance Marshal.StaticSize G1 where

  staticSizeOf = \_ -> (4 :: Int)

  staticAlignment = \_ -> (4 :: Int)

instance Marshal.ReadRaw G1 where

  readRaw =
    \ptr0 ->
          pure G1
      <*> HasCField.readRaw (BG.Proxy @"g1_x") ptr0

instance Marshal.WriteRaw G1 where

  writeRaw =
    \ptr0 ->
      \s1 ->
        case s1 of
          G1 g1_x2 ->
            HasCField.writeRaw (BG.Proxy @"g1_x") ptr0 g1_x2

deriving via Marshal.EquivStorable G1 instance BG.Storable G1

deriving via Struct.IsStructViaReadRaw G1 instance Struct.IsStruct G1

{-| __C declaration:__ @x@

    __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 3:16@

    __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
-}
instance (ty ~ BG.CInt) => BG.CompatHasField.HasField "g1_x" G1 ty where

  hasField =
    \x0 ->
      (\y1 -> G1 {g1_x = y1}, BG.getField @"g1_x" x0)

instance (ty ~ BG.CInt) => BG.HasField "g1_x" (BG.Ptr G1) (BG.Ptr ty) where

  getField = HasCField.fromPtr (BG.Proxy @"g1_x")

instance HasCField.HasCField G1 "g1_x" where

  type CFieldType G1 "g1_x" = BG.CInt

  offset# = \_ -> \_ -> 0

{-| __C declaration:__ @struct \@G2@

    __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 4:1@

    __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
-}
data G2 = G2
  { g2_x :: BG.CInt
    {- ^ __C declaration:__ @x@

         __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 4:16@

         __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
    -}
  }
  deriving stock (Eq, BG.Generic, Show)

instance Marshal.StaticSize G2 where

  staticSizeOf = \_ -> (4 :: Int)

  staticAlignment = \_ -> (4 :: Int)

instance Marshal.ReadRaw G2 where

  readRaw =
    \ptr0 ->
          pure G2
      <*> HasCField.readRaw (BG.Proxy @"g2_x") ptr0

instance Marshal.WriteRaw G2 where

  writeRaw =
    \ptr0 ->
      \s1 ->
        case s1 of
          G2 g2_x2 ->
            HasCField.writeRaw (BG.Proxy @"g2_x") ptr0 g2_x2

deriving via Marshal.EquivStorable G2 instance BG.Storable G2

deriving via Struct.IsStructViaReadRaw G2 instance Struct.IsStruct G2

{-| __C declaration:__ @x@

    __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 4:16@

    __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
-}
instance (ty ~ BG.CInt) => BG.CompatHasField.HasField "g2_x" G2 ty where

  hasField =
    \x0 ->
      (\y1 -> G2 {g2_x = y1}, BG.getField @"g2_x" x0)

instance (ty ~ BG.CInt) => BG.HasField "g2_x" (BG.Ptr G2) (BG.Ptr ty) where

  getField = HasCField.fromPtr (BG.Proxy @"g2_x")

instance HasCField.HasCField G2 "g2_x" where

  type CFieldType G2 "g2_x" = BG.CInt

  offset# = \_ -> \_ -> 0

{-| __C declaration:__ @struct \@G3@

    __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 5:1@

    __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
-}
data G3 = G3
  { g3_x :: BG.CInt
    {- ^ __C declaration:__ @x@

         __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 5:16@

         __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
    -}
  }
  deriving stock (Eq, BG.Generic, Show)

instance Marshal.StaticSize G3 where

  staticSizeOf = \_ -> (4 :: Int)

  staticAlignment = \_ -> (4 :: Int)

instance Marshal.ReadRaw G3 where

  readRaw =
    \ptr0 ->
          pure G3
      <*> HasCField.readRaw (BG.Proxy @"g3_x") ptr0

instance Marshal.WriteRaw G3 where

  writeRaw =
    \ptr0 ->
      \s1 ->
        case s1 of
          G3 g3_x2 ->
            HasCField.writeRaw (BG.Proxy @"g3_x") ptr0 g3_x2

deriving via Marshal.EquivStorable G3 instance BG.Storable G3

deriving via Struct.IsStructViaReadRaw G3 instance Struct.IsStruct G3

{-| __C declaration:__ @x@

    __defined at:__ @macros\/reparse\/nesting\/struct_in_variable.h 5:16@

    __exported by:__ @macros\/reparse\/nesting\/struct_in_variable.h@
-}
instance (ty ~ BG.CInt) => BG.CompatHasField.HasField "g3_x" G3 ty where

  hasField =
    \x0 ->
      (\y1 -> G3 {g3_x = y1}, BG.getField @"g3_x" x0)

instance (ty ~ BG.CInt) => BG.HasField "g3_x" (BG.Ptr G3) (BG.Ptr ty) where

  getField = HasCField.fromPtr (BG.Proxy @"g3_x")

instance HasCField.HasCField G3 "g3_x" where

  type CFieldType G3 "g3_x" = BG.CInt

  offset# = \_ -> \_ -> 0