aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/PromotedTypes.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/PromotedTypes.html')
-rw-r--r--html-test/ref/PromotedTypes.html28
1 files changed, 5 insertions, 23 deletions
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index 0ec1adcc..46a70845 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -81,11 +81,7 @@
>data</span
> <a id="t:Pattern" class="def"
>Pattern</a
- > :: [<a href="#" title="Data.Kind"
- >*</a
- >] -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > :: [*] -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
@@ -108,9 +104,7 @@
><td class="src"
><a id="v:Cons" class="def"
>Cons</a
- > :: <a href="#" title="Data.Maybe"
- >Maybe</a
- > h -&gt; <a href="#" title="PromotedTypes"
+ > :: Maybe h -&gt; <a href="#" title="PromotedTypes"
>Pattern</a
> t -&gt; <a href="#" title="PromotedTypes"
>Pattern</a
@@ -129,11 +123,7 @@
>RevPattern</a
> :: <a href="#" title="PromotedTypes"
>RevList</a
- > <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > * -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
@@ -158,9 +148,7 @@
><td class="src"
><a id="v:RevCons" class="def"
>RevCons</a
- > :: <a href="#" title="Data.Maybe"
- >Maybe</a
- > h -&gt; <a href="#" title="PromotedTypes"
+ > :: Maybe h -&gt; <a href="#" title="PromotedTypes"
>RevPattern</a
> t -&gt; <a href="#" title="PromotedTypes"
>RevPattern</a
@@ -179,13 +167,7 @@
>data</span
> <a id="t:Tuple" class="def"
>Tuple</a
- > :: (<a href="#" title="Data.Kind"
- >*</a
- >, <a href="#" title="Data.Kind"
- >*</a
- >) -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > :: (*, *) -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a