-
Notifications
You must be signed in to change notification settings - Fork 2
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Override type constructors names #19
Comments
Icelandjack
changed the title
Override type constructors
Override type constructors names
Aug 4, 2022
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Allow overriding the names of type constructors, inspired by this reddit post
By introducing a
Rename :: Symbol -> Symbol -> Type
construct we can reuse theGenerically
instance from aeson (see also #15)There are other options for renaming, such as positional renaming based on a list of constructor renamings
Renaming :: [Symbol] -> Type
where the empty string can be ignoredThe argument of
Override _
can also be a list of a polykind[k]
, so that it an accept[Symbol]
directlyThe first one is not diffcult to implement, requires a change to a single instance
The text was updated successfully, but these errors were encountered: