25 May
2013
25 May
'13
4:48 a.m.
TP wrote:
Where are these examples that can help me to write my instance? I have tried to read the source of the implemented instances in data.typeable, not so easy for me.
Ok, by doing a better search on Google ("instance typeable " blog), I have found interesting information: http://blog-mno2.csie.org/blog/2011/12/24/what-are-data-dot-typeable-and-dat... and especially: http://hauptwerk.blogspot.fr/2012/11/coming-soon-in-ghc-head-poly-kinded.htm... """ In this new class, we are no longer restricted to datatypes with a maximum of 7 parameters, nor do we require the parameters to be of kind *. """ So, I have to try that. I will give some feedback here (from my beginner point of view). TP