Documentation

Convert a single-constructor type with a Generic instance into a sorted NMap. Constructors with record selectors will use their names, and constructors without will use numbers, prefixed with _ for better compatibility with -XOverloadedLabels.

>>> data A = C { a :: Int, b :: Bool } deriving (Generic)
>>> genProduct (C { a = 1, b = True })
{ a :-> 1, b :-> True }

>>> data B = D Int Bool deriving (Generic)
>>> genProduct (D 1 True)
{ _1 :-> 1, _2 :-> True }

Reverse the operation performed by genProduct.

Convert a type with a generic instance with any number of constructors into an NSum of NMaps. All constructor names will be prefixed with _ to allow for the use of -XOverloadedLabels.

>>> data A = C { a :: Int, b :: Bool } | D Int Bool deriving (Generic)
>>> :t genSum (C 3 True)
NSum
 '[ "_C" ':-> NMap '[ "a" ':-> Int, "b" ':-> Bool],
    "_D" ':-> NMap '[ "_1" ':-> Int, "_2" ':-> Bool]]

Reverse the operation performed by genSum.