Changes between Version 6 and Version 7 of PatternSynonyms


Ignore:
Timestamp:
Aug 15, 2011 9:59:15 PM (4 years ago)
Author:
augustss
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v6 v7  
    3737Furthermore, the pattern synonym can also be used in expressions, e.g., 
    3838{{{ 
    39 arrows :: [Type] -> Type -> Type 
    40 arrows = foldr Arrow 
     39   arrows :: [Type] -> Type -> Type 
     40   arrows = foldr Arrow 
    4141}}} 
    4242 
     
    140140      append = (++) 
    141141 
    142 headOf :: (ListLike l) => l a -> Maybe a 
    143 headOf Nil = Nothing 
    144 headOf (Const x _) = Just x 
     142   headOf :: (ListLike l) => l a -> Maybe a 
     143   headOf Nil = Nothing 
     144   headOf (Const x _) = Just x 
    145145}}}