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}}}