Template haskell for generating Haskell records from C structs

[expipiplus1]

There's heaps of functionality in the generators regarding turning

typedef struct {
  double myDouble;
  size_t numInts;
  int *myInts;
} foo;

into

data Foo = Foo 
  { myDouble :: Double
  , myInts :: Vector Int32
  }

Wouldn't it be great to have a quasiquoter taking the former and outputting the latter, along with appropriate Storable or ToCStruct instances?

[dpwiz]

derive-storable in reverse? 🤔

What is its intended use in vulkan?

[expipiplus1]

derive-storable in reverse?

Exactly

What is its intended use in vulkan?

To get rid of uses of derive-storable like https://github.com/expipiplus1/vulkan/blob/master/examples/rays/Scene.hs#L101-L105

Don't think that that package works with ghc9, and other derive-storable solutions aren't always appropriate (fpco/th-utilities#12)

[dpwiz]

Ouch (the sound of a person suddenly discovered themselves in a middle of a minefield).

Have you seen the Block class?

[expipiplus1]

regrettably I'm all too familiar :)

[dpwiz]

To get rid of uses of derive-storable like https://github.com/expipiplus1/vulkan/blob/master/examples/rays/Scene.hs#L101-L105

I'm testing that Block class and benchmarks show that it is okay to use it for flat structures like that Sphere. The problems start when the stuff has nested structures.

Also, I've grafted Packed variant to it and the performance stays lit for a few levels of nesting too.