diff options
Diffstat (limited to 'html-test/ref/BundledPatterns2.html')
| -rw-r--r-- | html-test/ref/BundledPatterns2.html | 36 |
1 files changed, 5 insertions, 31 deletions
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index 9e791c65..6a60c748 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.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 @@ -84,13 +78,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 @@ -129,13 +117,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 @@ -156,9 +138,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" title="Data.Foldable" - >length</a - ></code + >length</code > - 1</code >.</li ></ul @@ -291,13 +271,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 |