generic-data-surgery

generic-data-surgery copied to clipboard

Add full constructor removal example

3

For hairy reasons, I want to redefine the Plutus `BuiltinByteString` type thus: ```haskell data BuiltinByteString = BuiltinByteString {-# UNPACK #-} ByteString | NeverBS_ !Void ``` Of course, any `Generic`-derived instances...

treeowl

There is one failing test case, which is currently commented out, involving the composition of two constructor surgeries (remove a constructor, insert another one): https://github.com/Lysxia/generic-data-surgery/blob/7cfa277e5ffd88963719a046bd8e1bb6e1ff9ad2/test/synthetic.hs#L109-L113 My intuition is that's a...

Lysxia

Add support for strict fields surgery

2

First of all, thanks for the awesome library again! I've started working on adding support for strict fields, using a variant of [DefaultMetaSel](https://hackage.haskell.org/package/generic-data-surgery-0.2.0.0/docs/Generic-Data-Surgery-Internal.html#t:DefaultMetaSel) to begin with. As it turned out...

blmage

Look at the Core in the tests and examples, ensure no generic stuff remains. Set up tests with inspection-testing.

Lysxia

See original issue at https://github.com/Lysxia/generic-data/issues/9

Lysxia

Lysxia