diff options
Diffstat (limited to 'html-test/ref/BundledPatterns.html')
| -rw-r--r-- | html-test/ref/BundledPatterns.html | 36 |
1 files changed, 5 insertions, 31 deletions
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 7febd35f..7a602ae1 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -48,13 +48,7 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" title="GHC.TypeNats" - >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -82,13 +76,7 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" title="GHC.TypeNats" - >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -127,13 +115,7 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" title="GHC.TypeNats" - >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -154,9 +136,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" title="Data.Foldable" - >length</a - ></code + >length</code > - 1</code >.</li ></ul @@ -293,13 +273,7 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" title="GHC.TypeNats" - >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: Nat -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a |