Example.hs

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

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

import qualified HsBindgen.Runtime.HasCField as HasCField
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 ((<*>), Bounded, Enum, Eq, Int, Integral, Num, Ord, Read, Real, Show, 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@
-}
newtype MyInt = MyInt
  { unwrapMyInt :: BG.CInt
  }
  deriving stock (Eq, BG.Generic, Ord, Read, Show)
  deriving newtype
    ( BG.Bitfield
    , BG.Bits
    , Bounded
    , Enum
    , BG.FiniteBits
    , BG.HasFFIType
    , Integral
    , BG.Ix
    , Num
    , BG.Prim
    , Marshal.ReadRaw
    , Real
    , Marshal.StaticSize
    , BG.Storable
    , Marshal.WriteRaw
    )

instance ( ty ~ BG.CInt
         ) => BG.CompatHasField.HasField "unwrapMyInt" MyInt ty where

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

instance ( ty ~ BG.CInt
         ) => BG.HasField "unwrapMyInt" (BG.Ptr MyInt) (BG.Ptr ty) where

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

instance HasCField.HasCField MyInt "unwrapMyInt" where

  type CFieldType MyInt "unwrapMyInt" = BG.CInt

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

{-| __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 :: MyInt
    {- ^ __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 ~ MyInt) => BG.CompatHasField.HasField "g1_x" G1 ty where

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

instance (ty ~ MyInt) => 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" = MyInt

  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 :: MyInt
    {- ^ __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 ~ MyInt) => BG.CompatHasField.HasField "g2_x" G2 ty where

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

instance (ty ~ MyInt) => 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" = MyInt

  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 :: MyInt
    {- ^ __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 ~ MyInt) => BG.CompatHasField.HasField "g3_x" G3 ty where

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

instance (ty ~ MyInt) => 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" = MyInt

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