diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-08-16 12:41:47 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 12:41:47 +1000 |
| commit | 9c7202515e216826d10854a4c95c050b97551066 (patch) | |
| tree | d46f4e258c523fdf857a274220658bd84ff22925 /html-test/ref/BundledPatterns.html | |
| parent | 4a2ad11155014bcf13a7dbd7f6b9e2c530ac3b79 (diff) | |
| parent | 4248704596d01753c9a776ebedf5cc598a883e28 (diff) | |
Merge remote-tracking branch 'upstream/main'
Diffstat (limited to 'html-test/ref/BundledPatterns.html')
| -rw-r--r-- | html-test/ref/BundledPatterns.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 82f58e49..94a197c2 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -58,7 +58,7 @@ >data</span > <a href="#" >Vec</a - > :: <a href="#" title="GHC.TypeLits" + > :: <a href="#" title="GHC.TypeNats" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -88,7 +88,7 @@ >data</span > <a href="#" >RTree</a - > :: <a href="#" title="GHC.TypeLits" + > :: <a href="#" title="GHC.TypeNats" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -129,7 +129,7 @@ >data</span > <a id="t:Vec" class="def" >Vec</a - > :: <a href="#" title="GHC.TypeLits" + > :: <a href="#" title="GHC.TypeNats" >Nat</a > -> * -> * <span class="keyword" >where</span @@ -152,7 +152,7 @@ > subscript starting from 0 and ending at <code ><code - ><a href="#" title="Data.List" + ><a href="#" title="Data.Foldable" >length</a ></code > - 1</code @@ -291,7 +291,7 @@ >data</span > <a id="t:RTree" class="def" >RTree</a - > :: <a href="#" title="GHC.TypeLits" + > :: <a href="#" title="GHC.TypeNats" >Nat</a > -> * -> * <span class="keyword" >where</span |