seq -> force

Henning Thielemann lemming at henning-thielemann.de
Sun Jun 5 13:01:55 CEST 2011


For a datatype like
   data T a = Cons a
I could define 'seq' myself as
   seq (Cons _) x = x
if it would be a type class method.

Is there a type class for generating the constructor independently from 
the input, as in:
   force ~(Cons x) = Cons x
?



More information about the Libraries mailing list