diff options
Diffstat (limited to 'html-test/ref/PromotedTypes.html')
| -rw-r--r-- | html-test/ref/PromotedTypes.html | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 7567d2f5..65aa0112 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -49,16 +49,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:RevList" class="def" + > <a id="t:RevList" class="def" >RevList</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="#" id="v:RNil" class="def" + ><a id="v:RNil" class="def" >RNil</a ></td ><td class="doc empty" @@ -68,7 +70,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ><td class="src" >(<a href="#" >RevList</a - > a) <a href="#" id="v::-62-" class="def" + > a) <a id="v::-62-" class="def" >:></a > a</td ><td class="doc empty" @@ -81,7 +83,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:Pattern" class="def" + > <a id="t:Pattern" class="def" >Pattern</a > :: [<a href="#" >*</a @@ -89,6 +91,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm >*</a > <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="subs constructors" ><p class="caption" @@ -96,7 +100,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ><table ><tr ><td class="src" - ><a href="#" id="v:Nil" class="def" + ><a id="v:Nil" class="def" >Nil</a > :: <a href="#" >Pattern</a @@ -106,7 +110,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ></tr ><tr ><td class="src" - ><a href="#" id="v:Cons" class="def" + ><a id="v:Cons" class="def" >Cons</a > :: <a href="#" >Maybe</a @@ -125,7 +129,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:RevPattern" class="def" + > <a id="t:RevPattern" class="def" >RevPattern</a > :: <a href="#" >RevList</a @@ -135,6 +139,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm >*</a > <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="subs constructors" ><p class="caption" @@ -142,7 +148,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ><table ><tr ><td class="src" - ><a href="#" id="v:RevNil" class="def" + ><a id="v:RevNil" class="def" >RevNil</a > :: <a href="#" >RevPattern</a @@ -154,7 +160,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ></tr ><tr ><td class="src" - ><a href="#" id="v:RevCons" class="def" + ><a id="v:RevCons" class="def" >RevCons</a > :: <a href="#" >Maybe</a @@ -175,7 +181,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:Tuple" class="def" + > <a id="t:Tuple" class="def" >Tuple</a > :: (<a href="#" >*</a @@ -185,6 +191,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm >*</a > <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="subs constructors" ><p class="caption" @@ -192,7 +200,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PromotedTypes.htm ><table ><tr ><td class="src" - ><a href="#" id="v:Tuple" class="def" + ><a id="v:Tuple" class="def" >Tuple</a > :: a -> b -> <a href="#" >Tuple</a |