DataVersion: Type safe data migrations

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


Please see the README on GitHub at

[Skip to ReadMe]


Dependenciesbase (>=4.7 && <5), generic-lens (>= && <2), microlens (>=0.4.10 && <2) [details]
Copyright2019 Sandy Maguire, James King
AuthorSandy Maguire, James King
Home page
Bug tracker
Source repositoryhead: git clone
UploadedThu Aug 8 21:59:16 UTC 2019 by agentultra




Maintainers' corner

For package maintainers and hackage trustees

Readme for DataVersion-

[back to package description]


Type safe data migrations.

All you need to do is create a type family to index your record and provide an instance of Transform to migrate your data between versions.

Migrations are type-safe and the library uses generics to remove as much boiler-plate as possible.

Future Considerations

In the future this library will provide a high-level DSL to enable better ergonomics around type errors so that you can see which fields require specification in the migration.