31 May
2010
31 May
'10
5:29 p.m.
Why not use the Edward Kmett's 'tagged'[1] package for these methods? As in:
outputLength :: Tagged d BitLength
This way users don't have to write the dangerous 'undefined :: d'.
Because I had not heard of that package. The package (and general method) look good, I'll probably switch to that. Thanks for the pointer. Cheers, Thomas