search

danidiaz / dep-t

Dependency injection for records-of-functions.
http://hackage.haskell.org/package/dep-t
BSD 3-Clause "New" or "Revised" License
8 stars 2 forks source link

`lmapConstructor` should provide an indexed typerep from `Type.Reflection` #35

Open danidiaz opened 1 year ago

danidiaz commented 1 year ago

...instead of the unindexed one from Data.Typeable.

I would make clear in the signature that the TypeRep is for the component, and the user could always wrap it into SomeTypeRep afterwards.