aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
authorDr. ERDI Gergo <gergo@erdi.hu>2014-11-20 22:35:38 +0800
committerDr. ERDI Gergo <gergo@erdi.hu>2014-11-20 22:35:38 +0800
commitbf80e2f594777c0c32fae092454bff0c13ae6181 (patch)
tree17b1299b2c43f1cb7b08e09ec817c9cfc51f082b /html-test
parent9cdf19bad54a6cc4b322396fdd06f4c1ee045b22 (diff)
Update Haddock to new pattern synonym type signature syntax
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/Operators.html4
-rw-r--r--html-test/ref/PatternSyns.html36
2 files changed, 20 insertions, 20 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index bfecfb38..dc06e3b5 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -92,7 +92,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
><li class="src short"
>pattern <a href=""
>(:+)</a
- > t t :: [t]</li
+ > :: t -&gt; t -&gt; [t]</li
><li class="src short"
><span class="keyword"
>data</span
@@ -268,7 +268,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
><p class="src"
>pattern <a name="v::-43-" class="def"
>(:+)</a
- > t t :: [t] <span class="fixity"
+ > :: t -&gt; t -&gt; [t] <span class="fixity"
>infixr 3</span
><span class="rightedge"
></span
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index f1bd7f62..f5842d79 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -62,23 +62,23 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
>FooCtor</a
> x</li
><li class="src short"
- >pattern <a href=""
+ >pattern <a href=""
>Foo</a
- > t :: <a href=""
+ > :: t -&gt; <a href=""
>FooType</a
> t</li
><li class="src short"
- >pattern <a href=""
+ >pattern <a href=""
>Bar</a
- > t :: <a href=""
+ > :: t -&gt; <a href=""
>FooType</a
> (<a href=""
>FooType</a
> t)</li
><li class="src short"
- >pattern t <a href=""
- >:&lt;-&gt;</a
- > t :: (<a href=""
+ >pattern <a href=""
+ >(:&lt;-&gt;)</a
+ > :: t -&gt; t -&gt; (<a href=""
>FooType</a
> t, <a href=""
>FooType</a
@@ -94,9 +94,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
>Empty</a
></li
><li class="src short"
- >pattern <a href=""
+ >pattern <a href=""
>E</a
- > :: <a href=""
+ > :: <a href=""
>(&gt;&lt;)</a
> k t t</li
></ul
@@ -132,9 +132,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
></div
><div class="top"
><p class="src"
- >pattern <a name="v:Foo" class="def"
+ >pattern <a name="v:Foo" class="def"
>Foo</a
- > t :: <a href=""
+ > :: t -&gt; <a href=""
>FooType</a
> t</p
><div class="doc"
@@ -148,9 +148,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
></div
><div class="top"
><p class="src"
- >pattern <a name="v:Bar" class="def"
+ >pattern <a name="v:Bar" class="def"
>Bar</a
- > t :: <a href=""
+ > :: t -&gt; <a href=""
>FooType</a
> (<a href=""
>FooType</a
@@ -166,9 +166,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
></div
><div class="top"
><p class="src"
- >pattern t <a name="v::-60--45--62-" class="def"
- >:&lt;-&gt;</a
- > t :: (<a href=""
+ >pattern <a name="v::-60--45--62-" class="def"
+ >(:&lt;-&gt;)</a
+ > :: t -&gt; t -&gt; (<a href=""
>FooType</a
> t, <a href=""
>FooType</a
@@ -214,9 +214,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
></div
><div class="top"
><p class="src"
- >pattern <a name="v:E" class="def"
+ >pattern <a name="v:E" class="def"
>E</a
- > :: <a href=""
+ > :: <a href=""
>(&gt;&lt;)</a
> k t t</p
><div class="doc"