Example.hs

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

module Example
    ( Example.A(..)
    , Example.B(..)
    )
  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 ((<*>), Eq, Int, Show, pure, type (~))

{-| __C declaration:__ @struct A@

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

    __exported by:__ @edge-cases\/duplicate_record_field.h@
-}
data A = A
  { dup :: BG.CInt
    {- ^ __C declaration:__ @dup@

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

         __exported by:__ @edge-cases\/duplicate_record_field.h@
    -}
  }
  deriving stock (Eq, BG.Generic, Show)

instance Marshal.StaticSize A where

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

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

instance Marshal.ReadRaw A where

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

instance Marshal.WriteRaw A where

  writeRaw =
    \ptr0 ->
      \s1 ->
        case s1 of
          A dup2 ->
            HasCField.writeRaw (BG.Proxy @"dup") ptr0 dup2

deriving via Marshal.EquivStorable A instance BG.Storable A

deriving via Struct.IsStructViaReadRaw A instance Struct.IsStruct A

{-| __C declaration:__ @dup@

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

    __exported by:__ @edge-cases\/duplicate_record_field.h@
-}
instance (ty ~ BG.CInt) => BG.CompatHasField.HasField "dup" A ty where

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

instance (ty ~ BG.CInt) => BG.HasField "dup" (BG.Ptr A) (BG.Ptr ty) where

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

instance HasCField.HasCField A "dup" where

  type CFieldType A "dup" = BG.CInt

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

{-| __C declaration:__ @struct B@

    __defined at:__ @edge-cases\/duplicate_record_field.h 5:8@

    __exported by:__ @edge-cases\/duplicate_record_field.h@
-}
data B = B
  { dup :: BG.CInt
    {- ^ __C declaration:__ @dup@

         __defined at:__ @edge-cases\/duplicate_record_field.h 6:7@

         __exported by:__ @edge-cases\/duplicate_record_field.h@
    -}
  }
  deriving stock (Eq, BG.Generic, Show)

instance Marshal.StaticSize B where

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

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

instance Marshal.ReadRaw B where

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

instance Marshal.WriteRaw B where

  writeRaw =
    \ptr0 ->
      \s1 ->
        case s1 of
          B dup2 ->
            HasCField.writeRaw (BG.Proxy @"dup") ptr0 dup2

deriving via Marshal.EquivStorable B instance BG.Storable B

deriving via Struct.IsStructViaReadRaw B instance Struct.IsStruct B

{-| __C declaration:__ @dup@

    __defined at:__ @edge-cases\/duplicate_record_field.h 6:7@

    __exported by:__ @edge-cases\/duplicate_record_field.h@
-}
instance (ty ~ BG.CInt) => BG.CompatHasField.HasField "dup" B ty where

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

instance (ty ~ BG.CInt) => BG.HasField "dup" (BG.Ptr B) (BG.Ptr ty) where

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

instance HasCField.HasCField B "dup" where

  type CFieldType B "dup" = BG.CInt

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