Changes between Version 27 and Version 28 of PatternSynonyms


Ignore:
Timestamp:
Jan 15, 2014 12:15:13 PM (16 months ago)
Author:
cactus
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v27 v28  
    225225 
    226226{{{ 
    227 P :: ty requires CReq provides CProv 
    228 }}} 
    229  
    230 where `ty` is a simple type with no context, and `CReq` and `CProv` are type contexts. 
     227pattern CProv => P t1 t2 ... tN :: CReq => t  
     228}}} 
     229 
     230where `t` is a simple type with no context, and `CReq` and `CProv` are type contexts. 
    231231 
    232232A pattern synonym of this type can be used in a pattern if the 
     
    253253 
    254254{{{ 
    255 P :: b -> T a requires (Show a) provides (Eq b) 
     255pattern (Eq b) => P b :: (Show a) => T a 
    256256}}} 
    257257