diff options
Diffstat (limited to 'html-test/ref/PromotedTypes.html')
| -rw-r--r-- | html-test/ref/PromotedTypes.html | 46 |
1 files changed, 14 insertions, 32 deletions
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 43736811..46a70845 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -64,7 +64,7 @@ ></tr ><tr ><td class="src" - >(<a href="#" + >(<a href="#" title="PromotedTypes" >RevList</a > a) <a id="v::-62-" class="def" >:></a @@ -81,11 +81,7 @@ >data</span > <a id="t:Pattern" class="def" >Pattern</a - > :: [<a href="#" - >*</a - >] -> <a href="#" - >*</a - > <span class="keyword" + > :: [*] -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -98,7 +94,7 @@ ><td class="src" ><a id="v:Nil" class="def" >Nil</a - > :: <a href="#" + > :: <a href="#" title="PromotedTypes" >Pattern</a > '[]</td ><td class="doc empty" @@ -108,11 +104,9 @@ ><td class="src" ><a id="v:Cons" class="def" >Cons</a - > :: <a href="#" - >Maybe</a - > h -> <a href="#" + > :: Maybe h -> <a href="#" title="PromotedTypes" >Pattern</a - > t -> <a href="#" + > t -> <a href="#" title="PromotedTypes" >Pattern</a > (h ': t)</td ><td class="doc empty" @@ -127,13 +121,9 @@ >data</span > <a id="t:RevPattern" class="def" >RevPattern</a - > :: <a href="#" + > :: <a href="#" title="PromotedTypes" >RevList</a - > <a href="#" - >*</a - > -> <a href="#" - >*</a - > <span class="keyword" + > * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -146,9 +136,9 @@ ><td class="src" ><a id="v:RevNil" class="def" >RevNil</a - > :: <a href="#" + > :: <a href="#" title="PromotedTypes" >RevPattern</a - > <a href="#" + > <a href="#" title="PromotedTypes" >RNil</a ></td ><td class="doc empty" @@ -158,13 +148,11 @@ ><td class="src" ><a id="v:RevCons" class="def" >RevCons</a - > :: <a href="#" - >Maybe</a - > h -> <a href="#" + > :: Maybe h -> <a href="#" title="PromotedTypes" >RevPattern</a - > t -> <a href="#" + > t -> <a href="#" title="PromotedTypes" >RevPattern</a - > (t <a href="#" + > (t <a href="#" title="PromotedTypes" >:></a > h)</td ><td class="doc empty" @@ -179,13 +167,7 @@ >data</span > <a id="t:Tuple" class="def" >Tuple</a - > :: (<a href="#" - >*</a - >, <a href="#" - >*</a - >) -> <a href="#" - >*</a - > <span class="keyword" + > :: (*, *) -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -198,7 +180,7 @@ ><td class="src" ><a id="v:Tuple" class="def" >Tuple</a - > :: a -> b -> <a href="#" + > :: a -> b -> <a href="#" title="PromotedTypes" >Tuple</a > '(a, b)</td ><td class="doc empty" |