Changes between Version 2 and Version 3 of TypeNats/ImplicitExplicit


Ignore:
Timestamp:
Jan 16, 2011 4:43:38 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/ImplicitExplicit

    v2 v3  
    11There are two different styles of writing functions which need the integer corresponding to a type level natural. 
    22 
    3 The one approach is to use an explicit parameter of type `Nat n`.  For example: 
     3One approach is to use an explicit parameter of type `Nat n`.  For example: 
    44{{{ 
    55memset :: Storable a => ArrPtr n a -> a -> Nat n -> IO ()