diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-07 19:29:06 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-20 18:21:34 +0800 |
| commit | d4530b69ff9518a091cc1aabb2b75f2e9d5b275c (patch) | |
| tree | c08f31981cba931276a8b77a98534ee27aeafefd /utils/haddock | |
| parent | 3b81309c057fc216afa053d195aaa85ee3a1ba9e (diff) | |
| download | haskell-wip/T8584.tar.gz | |
Add support for pattern synonym type signatures.wip/T8584
Syntax is of the form
pattern P :: (Prov b) => (Req a) => a -> b -> Int -> T a
which declares a pattern synonym called `P`, with argument types `a`, `b`,
and `Int`, and result type `T a`, with provided context `(Prov b)` and required
context `(Req a)`.
Diffstat (limited to 'utils/haddock')
| m--------- | utils/haddock | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/utils/haddock b/utils/haddock -Subproject 9cdf19bad54a6cc4b322396fdd06f4c1ee045b2 +Subproject edd2a3be44656e763419679bb426a384d9e1a74 |