Changes between Version 2 and Version 3 of TypeNats/AvoidingPartialTypeFunctions


Ignore:
Timestamp:
Jan 27, 2011 5:19:31 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/AvoidingPartialTypeFunctions

    v2 v3  
    1515f :: (m ~ 8 * n) => Array m Byte -> Array n Word64  -- using an explicit equality constraint. 
    1616}}} 
     17 
     18Subjectively, the second form is the most readable.  The third form shows that we are essentially using a qualified type to restrict the valid instantiation of the function.