Add template haskell helpers to generate Unbox instances

[adithyaov]

No description provided.

[harendra-kumar]

Can we avoid non-boot dependencies and move this to streamly-core package?

[adithyaov]

Check perf of Generic vs Template Haskell

[adithyaov]

data CustomDT1 a b
    = CDT1C1
    | CDT1C2 a
    | CDT1C3 a b
    deriving (Generic, Show)
type CustomDT1_ = CustomDT1 Int Bool

instance (Unbox a, Unbox b) => Unbox (CustomDT1 a b)

data CustomDT2 a b
    = CDT2C1
    | CDT2C2 a
    | CDT2C3 a b
    deriving (Show)
type CustomDT2_ = CustomDT2 Int Bool

$(makeUnbox ''CustomDT2)

All
  serializeDeserializeTimes CDT1C1 (Generic): OK (0.22s)
    208  μs ±  11 μs
  serializeDeserializeTimes CDT2C1 (TH):      OK (0.18s)
    92.7 μs ± 6.3 μs
  serializeDeserializeTimes CDT1C2 (Generic): OK (0.19s)
    370  μs ±  25 μs
  serializeDeserializeTimes CDT2C2 (TH):      OK (0.13s)
    62.0 μs ± 5.8 μs
  serializeDeserializeTimes CDT1C3 (Generic): OK (0.30s)
    583  μs ±  37 μs
  serializeDeserializeTimes CDT2C3 (TH):      OK (0.18s)
    86.7 μs ± 5.7 μs

Template haskell version looks significantly faster.

[harendra-kumar]

There was some special handling for unit in generic deriving. May want to look more closely in the generic deriving code to make sure nothing is missed..

[adithyaov]

The tests seem to pass

[adithyaov]

Compare store vs streamly serialization

[harendra-kumar]

We should expose deriveUnbox and deriveUnboxWith via the Internal.Data.Unbox module as well.

Combine Unbox and Serialize exposed modules.

[adithyaov]

See #2489

[harendra-kumar]

Fix the CIs.