diff options
Diffstat (limited to 'html-test/ref/BundledPatterns.html')
| -rw-r--r-- | html-test/ref/BundledPatterns.html | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index dea60728..7febd35f 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -48,11 +48,11 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" + > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" + > -> <a href="#" title="Data.Kind" >*</a - > -> <a href="#" + > -> <a href="#" title="Data.Kind" >*</a > <span class="keyword" >where</span @@ -60,7 +60,7 @@ ><li ><a href="#" >Nil</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns" >Vec</a > 0 a</li ><li @@ -68,11 +68,11 @@ >pattern</span > <a href="#" >(:>)</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns" >Vec</a - > n a -> <a href="#" + > n a -> <a href="#" title="BundledPatterns" >Vec</a - > (n <a href="#" + > (n <a href="#" title="Bug310" >+</a > 1) a</li ></ul @@ -82,11 +82,11 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" + > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" + > -> <a href="#" title="Data.Kind" >*</a - > -> <a href="#" + > -> <a href="#" title="Data.Kind" >*</a > <span class="keyword" >where</span @@ -96,7 +96,7 @@ >pattern</span > <a href="#" >LR</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns" >RTree</a > 0 a</li ><li @@ -104,13 +104,13 @@ >pattern</span > <a href="#" >BR</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns" >RTree</a - > (d <a href="#" + > (d <a href="#" title="Bug310" >+</a > 1) a</li ></ul @@ -127,11 +127,11 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" + > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" + > -> <a href="#" title="Data.Kind" >*</a - > -> <a href="#" + > -> <a href="#" title="Data.Kind" >*</a > <span class="keyword" >where</span @@ -146,7 +146,7 @@ >Lists with their length encoded in their type</li ><li ><code - ><a href="#" + ><a href="#" title="BundledPatterns" >Vec</a ></code >tor elements have an <strong @@ -154,7 +154,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" + ><a href="#" title="Data.Foldable" >length</a ></code > - 1</code @@ -169,7 +169,7 @@ ><td class="src" ><a id="v:Nil" class="def" >Nil</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns" >Vec</a > 0 a</td ><td class="doc empty" @@ -187,11 +187,11 @@ >pattern</span > <a id="v::-62-" class="def" >(:>)</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns" >Vec</a - > n a -> <a href="#" + > n a -> <a href="#" title="BundledPatterns" >Vec</a - > (n <a href="#" + > (n <a href="#" title="Bug310" >+</a > 1) a <span class="fixity" >infixr 5</span @@ -293,11 +293,11 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" + > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" + > -> <a href="#" title="Data.Kind" >*</a - > -> <a href="#" + > -> <a href="#" title="Data.Kind" >*</a > <span class="keyword" >where</span @@ -328,7 +328,7 @@ >pattern</span > <a id="v:LR" class="def" >LR</a - > :: a -> <a href="#" + > :: a -> <a href="#" title="BundledPatterns" >RTree</a > 0 a</td ><td class="doc" @@ -394,13 +394,13 @@ >pattern</span > <a id="v:BR" class="def" >BR</a - > :: <a href="#" + > :: <a href="#" title="BundledPatterns" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns" >RTree</a - > d a -> <a href="#" + > d a -> <a href="#" title="BundledPatterns" >RTree</a - > (d <a href="#" + > (d <a href="#" title="Bug310" >+</a > 1) a</td ><td class="doc" |