aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Instances.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/Instances.html')
-rw-r--r--html-test/ref/Instances.html138
1 files changed, 85 insertions, 53 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index b0eb39cb..ba6ef185 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -276,48 +276,6 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu
></span
> <a href="#"
>Foo</a
- > ((-&gt;) a)</span
- > <a href="#" class="selflink"
- >#</a
- ></td
- ><td class="doc empty"
- ></td
- ></tr
- ><tr
- ><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:3" class="inst-details hide"
- ><div class="subs methods"
- ><p class="caption"
- >Methods</p
- ><p class="src"
- ><a href="#"
- >foo</a
- > :: (a -&gt; <a href="#"
- >Int</a
- >) -&gt; a -&gt; a -&gt; a <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >foo'</a
- > :: (a -&gt; a -&gt; a) -&gt; <a href="#"
- >Int</a
- > -&gt; a -&gt; a -&gt; <a href="#"
- >Int</a
- > <a href="#" class="selflink"
- >#</a
- ></p
- ></div
- ></div
- ></td
- ></tr
- ><tr
- ><td class="src clearfix"
- ><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:4" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:4')"
- ></span
- > <a href="#"
- >Foo</a
> (<a href="#"
>Either</a
> a)</span
@@ -329,7 +287,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:4" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:3" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -370,7 +328,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:5" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:5')"
+ ><span id="control.i:ic:Foo:Foo:4" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:4')"
></span
> (<a href="#"
>Eq</a
@@ -389,7 +347,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:5" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:4" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -418,7 +376,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:6" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:6')"
+ ><span id="control.i:ic:Foo:Foo:5" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:5')"
></span
> <a href="#"
>Foo</a
@@ -433,7 +391,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:6" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:5" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -474,7 +432,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:7" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:7')"
+ ><span id="control.i:ic:Foo:Foo:6" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:6')"
></span
> <a href="#"
>Foo</a
@@ -489,7 +447,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:7" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:6" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -518,7 +476,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:8" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:8')"
+ ><span id="control.i:ic:Foo:Foo:7" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:7')"
></span
> <a href="#"
>Foo</a
@@ -533,7 +491,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:8" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:7" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -571,6 +529,76 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></div
></td
></tr
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span id="control.i:ic:Foo:Foo:8" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:8')"
+ ></span
+ > <a href="#"
+ >Foo</a
+ > ((-&gt;) <a href="#"
+ >LiftedRep</a
+ > <a href="#"
+ >LiftedRep</a
+ > a)</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div id="section.i:ic:Foo:Foo:8" class="inst-details hide"
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >foo</a
+ > :: (<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a <a href="#"
+ >Int</a
+ > -&gt; a -&gt; (<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >foo'</a
+ > :: (<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a ((<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a a) -&gt; <a href="#"
+ >Int</a
+ > -&gt; (<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a ((<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a <a href="#"
+ >Int</a
+ >) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ></td
+ ></tr
></table
></div
></div
@@ -608,7 +636,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><p class="src"
><a id="v:bar0" class="def"
>bar0</a
- >, <a id="v:bar1" class="def"
+ > :: (f a, f a) -&gt; (f b, f c) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a id="v:bar1" class="def"
>bar1</a
> :: (f a, f a) -&gt; (f b, f c) <a href="#" class="selflink"
>#</a
@@ -1953,4 +1985,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></div
></body
></html
->
+> \ No newline at end of file