Changes between Version 27 and Version 28 of PatternSynonyms


Ignore:
Timestamp:
Jan 15, 2014 12:15:13 PM (19 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