place PutC (struct putting) in own module

binrep.cabal

@@ -37,13 +37,13 @@ library
       Binrep.BLen
       Binrep.CBLen
       Binrep.CBLen.Generic
-      Binrep.Common.Class.Generic
       Binrep.Common.Class.TypeErrors
       Binrep.Common.Via.Prim
       Binrep.Extra.HexByteString
       Binrep.Generic
       Binrep.Get
       Binrep.Put
+      Binrep.Put.Struct
       Binrep.Type.Byte
       Binrep.Type.Magic
       Binrep.Type.NullPadded

src/Binrep/Put.hs

@@ -1,14 +1,10 @@
 {-# LANGUAGE UndecidableInstances #-} -- required below GHC 9.6
-{-# OPTIONS_GHC -fno-warn-orphans #-} -- for generic data op instance
-{-# LANGUAGE AllowAmbiguousTypes #-} -- TODO tmp
 
 module Binrep.Put where
 
 import Binrep.BLen ( BLen(blen) )
 import Data.Functor.Identity
 import Bytezap.Poke
-import Bytezap.Struct qualified as Struct
-import Bytezap.Struct.Generic qualified as Struct
 import Raehik.Compat.Data.Primitive.Types ( Prim', sizeOf )
 import Binrep.Util.ByteOrder
 import Raehik.Compat.Data.Primitive.Types.Endian ( ByteSwap )
@@ -17,7 +13,7 @@ import Binrep.Common.Via.Prim ( ViaPrim(..) )
 import Data.ByteString qualified as B
 
 import Binrep.Common.Class.TypeErrors ( ENoSum, ENoEmpty )
-import GHC.TypeLits ( TypeError, KnownNat )
+import GHC.TypeLits ( TypeError )
 
 import Data.Void
 import Data.Word
@@ -30,17 +26,11 @@ import Generic.Data.Rep.Assert
 
 import Control.Monad.ST ( RealWorld )
 
-import Binrep.Common.Class.Generic ( BinrepG )
-import Binrep.CBLen
-
-type Putter  = Poke RealWorld
-type PutterC = Struct.Poke RealWorld
+import Binrep.Put.Struct ( PutC(putC) )
 
+type Putter = Poke RealWorld
 class Put a where put :: a -> Putter
 
--- | constant size putter
-class PutC a where putC :: a -> PutterC
-
 runPut :: (BLen a, Put a) => a -> B.ByteString
 runPut a = unsafeRunPokeBS (blen a) (put a)
 
@@ -69,23 +59,6 @@ putGenericSum
     => (String -> Putter) -> a -> Putter
 putGenericSum = genericFoldMapSum @'SumOnly @asserts @Put
 
-instance Struct.GPokeBase BinrepG where
-    type GPokeBaseSt BinrepG = RealWorld
-    type GPokeBaseC BinrepG a = PutC a
-    gPokeBase = Struct.unPoke . putC
-    type KnownSizeOf' BinrepG a = KnownNat (CBLen a)
-    sizeOf' = reifyCBLenProxy#
-
-putGenericStruct
-    :: forall a
-    .  ( Generic a, Struct.GPoke BinrepG (Rep a) )
-    => a -> PutterC
-putGenericStruct = Struct.Poke . Struct.gPoke @BinrepG . from
-
-instance Prim' a => PutC (ViaPrim a) where
-    putC = Struct.prim . unViaPrim
-    {-# INLINE putC #-}
-
 instance Prim' a => Put (ViaPrim a) where
     put = fromStructPoke (sizeOf (undefined :: a)) . putC
     {-# INLINE put #-}

src/Binrep/Put/Struct.hs

@@ -0,0 +1,33 @@
+module Binrep.Put.Struct where
+
+import Bytezap.Struct qualified as Struct
+import Bytezap.Struct.Generic qualified as Struct
+import Control.Monad.ST ( RealWorld )
+import Raehik.Compat.Data.Primitive.Types ( Prim' )
+import GHC.Generics
+import Binrep.CBLen
+import Binrep.Common.Via.Prim ( ViaPrim(..) )
+import GHC.TypeLits ( KnownNat )
+
+type PutterC = Struct.Poke RealWorld
+
+-- | constant size putter
+class PutC a where putC :: a -> PutterC
+
+instance Struct.GPokeBase PutC where
+    type GPokeBaseSt PutC   = RealWorld
+    type GPokeBaseC  PutC a = PutC a
+    gPokeBase = Struct.unPoke . putC
+    type KnownSizeOf' PutC a = KnownNat (CBLen a)
+    sizeOf' = reifyCBLenProxy#
+
+-- | Serialize a term of the struct-like type @a@ via its 'Generic' instance.
+putGenericStruct
+    :: forall a
+    .  ( Generic a, Struct.GPoke PutC (Rep a) )
+    => a -> PutterC
+putGenericStruct = Struct.Poke . Struct.gPoke @PutC . from
+
+instance Prim' a => PutC (ViaPrim a) where
+    putC = Struct.prim . unViaPrim
+    {-# INLINE putC #-}