BSD-3-Clause licensed by Sjoerd Visscher, Xia Li-yao, Yair Chuchem
Maintained by yairchu@gmail.com

Module documentation for 1.1.1.1

This version can be pinned in stack with:generic-constraints-1.1.1.1@sha256:68cb9056b0c7d56e51e94c70de654ecb8f3ff93b90ff330d47fa9d0fe34f69c1,1502

Standalone deriving without boiler-plate

Write short and concise contexts based on generics.

Instead of writing boiler-plate standalone deriving clauses in the form of

deriving instance [Various Eq Constraints Here] => Instance Eq MyType

With generic-constraints you can use

deriving instance Constraints MyType Eq => Eq MyType

Or, using TH, simply

makeDeriving ''Eq ''MyType

And for several classes and types:

makeDerivings [''Eq, ''Ord, ''Show] [''MyType, ''MyOtherType]

Credits

This library was extracted from the one-liner library by Sjoerd Visscher and Xia Li-yao.

comments powered byDisqus