diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:49:52 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:49:52 +0200 |
| commit | ce568c3afb00610d659d3c2bab022983d252f1cd (patch) | |
| tree | ba08952a584eb4d56a61b4275a344570e67c48cf /html-test/ref/BundledPatterns.html | |
| parent | 39a35291045de99b2dabb9cddf5bb16d294c2f3b (diff) | |
html-test: Accept output
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 |