generic-type-asserts: Structural assertions on generic type representations.

[ data, generics, library, mit, type ] [ Propose Tags ]

Please see

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.3.0
Change log
Dependencies base (>=4.14 && <5) [details]
License MIT
Author Ben Orchard
Maintainer Ben Orchard <>
Category Data, Generics, Type
Home page
Bug tracker
Source repo head: git clone
Uploaded by raehik at 2024-04-10T22:16:00Z
Distributions NixOS:0.3.0, Stackage:0.3.0
Reverse Dependencies 1 direct, 1 indirect [details]
Downloads 36 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for generic-type-asserts-0.3.0

[back to package description]


Structural assertions on the generic data representations (GHC.Generic.Rep a).

Sometimes, we want to write generics that only work on certain data types with a certain shape e.g. non-sum types (single constructor). Achieving this is fairly straightforward if we add a TypeError constraint on the relevant generic representation unwrapping instance (here, the (:+:) constructor sum type).

This library effectively pulls those checks out of generic code and runs them by separately. This way, we can simplify our generics, and make them more flexible (e.g. a user may choose whether to permit void types at compile time or not).

This began as a minor feature in my generic-data-functions library.


Provided under the MIT license. See LICENSE for license text.