Generic programming without too many type classes
|Version on this page:||0.1.0.0|
|LTS Haskell 18.28:||2.0.0|
|Stackage Nightly 2021-06-14:||2.0.0|
|Latest on Hackage:||2.0.0|
Module documentation for 0.1.0.0
simplistic-generics: generic programming without too many type classes
This library provides a way to do data type-generic programming in GHC,
re-using almost all the machinery from
GHC.Generics, but without the need
to define a different generic type class for each new operation.
Say that you want to define an operation
op in a generic fashion.
The docs of
tell you that you need to create a new type class whose argument is
the set of pattern functors that may generate the data type. Then by
means of a default declaration you bridge the gap between both versions.
Furthermore, in almost every case the instances of this class follow the
class GOp (f :: * -> *) where gop :: ... instance GOp U1 where ... instance (GOp f, GOp g) => GOp (f :+: g) where ... instance (GOp f, GOp g) => GOp (f :*: g) where ... instance (GOp f) => GOp (M1 i p f) where ... instance Op t => GOp (K1 r t) where ... class Op a where op :: ... default op :: (Generic a, GOp (Rep a)) => ... op = ... gop ...
simplistic-generics you do not introduce such a type class;
you just write all the cases of the generic function in one go! The only
thing you need to remember is that you have to pattern match on values of
SRep w f, where
f is the pattern functor from
The definition of the previous operation looks then:
gop :: ... SRep w f ... gop ... S_U1 ... = ... gop ... (S_L1 x) ... = ... gop ... (S_R1 x) ... = ... gop ... (x :**: y) ... = ... gop ... (S_M1 x) ... = ... gop ... (S_K1 x) ... = ...
There is only one missing link here. In the definition of
type classes we tied the knot by asking the
K1 instance to satisfy
recursively. In the case of
SRep we have a special
which requires a constraint from each
K1 node. The signature for
should read then:
gop :: OnLeaves Op f => ... SRep w f ...
The final touch is that instead of using
to to convert back and
forth generic representations, you use
toS to get a
SRep w f.
For real examples, check the
Derive folder in the repo.
This library is inspired by several previous work:
- Generic Haskell, described thoroughly in Andres Löh’s thesis, which features type-indexed functions in Haskell.
generics-soplibrary, from which we have copied the