generics-sop
generics-sop copied to clipboard
well-typed
Generic Programming using True Sums of Products
One thing I like of this library is the ability to wrap every field with a type constructor, usually some Applicative. In plain records (let's not consider sum types) it...
This seems to be the advertised way to do this in Haddock now. See the discussion in #24 for slightly more info.
generics-sop seems to be broken when `Generic` constraint used with data or type family on ghc 9.4.2 Minimal failing example: The following typechecks on ghc () tstT = () tstDF...
This may be out of scope, but I use `sop-core` as a lean, clean, principled general purpose library for heterogeneous sums and products. As such it is great, but sometimes...
... if implemented used no-constraint map_NP. Solves old TODO comment. all_POP is much more useful if it doesn't have the constraint requirement.
For example, `zipList_NP` requires `SListI`: ```haskell zipWith_NP :: SListI xs => (forall a. f a -> g a -> h a) -> NP f xs -> NP g xs ->...
Hello! I was hoping to replace my own generic heterogeneous list by `sop-core`'s n-ary products `NP`, however, I realized I am not yet able to do this since the fields...
- [x] allow deriving `via Generically` as such ```haskell data A = B | C deriving stock GHC.Generic deriving Generic via Generically A ``` - closes #153 - [x] update...
--- > **Note** > This is a draft for adding support for `unlifted` types for `generics-sop`, according to #155 --- ### Status - [x] unlifted representations - [x] th generation...
Metadata
Owner
Metadata
Generic Programming using True Sums of Products