31 May
2010
31 May
'10
1:26 p.m.
On Mon, May 31, 2010 at 1:06 AM, Thomas DuBuisson
... outputLength :: d -> BitLength -- outputLength must ignore its argument blockLength :: d -> BitLength -- blockLength must ignore its argument strength :: d -> Int -- strength must ignore its argument blockSize :: k -> BitLength -- ^ blockSize must ignore its argument keyLength :: k -> BitLength -- ^ keyLength may inspect its ...
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'. Regards, Bas [1] http://hackage.haskell.org/package/tagged