diff options
Diffstat (limited to 'html-test/ref/PatternSyns.html')
| -rw-r--r-- | html-test/ref/PatternSyns.html | 80 |
1 files changed, 32 insertions, 48 deletions
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index bf0cdf1e..fce20f96 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -66,7 +66,7 @@ >Foo</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a > x</li ><li class="src short" @@ -76,9 +76,9 @@ >Bar</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x)</li ><li class="src short" @@ -88,11 +88,11 @@ >(:<->)</a > :: <span class="keyword" >forall</span - > x x1. x -> x1 -> (<a href="#" + > x x1. x -> x1 -> (<a href="#" title="PatternSyns" >FooType</a - > x, <a href="#" + > x, <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x1))</li ><li class="src short" @@ -100,9 +100,7 @@ >data</span > <a href="#" >BlubType</a - > = <a href="#" - >Show</a - > x => <a href="#" + > = Show x => <a href="#" >BlubCtor</a > x</li ><li class="src short" @@ -112,17 +110,13 @@ >Blub</a > :: () => <span class="keyword" >forall</span - > x. <a href="#" - >Show</a - > x => x -> <a href="#" + > x. Show x => x -> <a href="#" title="PatternSyns" >BlubType</a ></li ><li class="src short" ><span class="keyword" >data</span - > (a :: <a href="#" - >*</a - >) <a href="#" + > (a :: *) <a href="#" >><</a > b = <a href="#" >Empty</a @@ -134,17 +128,15 @@ >E</a > :: <span class="keyword" >forall</span - > k a (b :: k). <a href="#" - >(><)</a - > k a b</li + > k a (b :: k). a <a href="#" title="PatternSyns" + >><</a + > b</li ><li class="src short" ><span class="keyword" >pattern</span > <a href="#" >PatWithExplicitSig</a - > :: <a href="#" - >Eq</a - > somex => somex -> <a href="#" + > :: Eq somex => somex -> <a href="#" title="PatternSyns" >FooType</a > somex</li ></ul @@ -189,7 +181,7 @@ >Foo</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a > x <a href="#" class="selflink" >#</a @@ -197,7 +189,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Foo</a ></code > x</p @@ -211,9 +203,9 @@ >Bar</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x) <a href="#" class="selflink" >#</a @@ -221,7 +213,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Bar</a ></code > x</p @@ -235,11 +227,11 @@ >(:<->)</a > :: <span class="keyword" >forall</span - > x x1. x -> x1 -> (<a href="#" + > x x1. x -> x1 -> (<a href="#" title="PatternSyns" >FooType</a - > x, <a href="#" + > x, <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x1)) <a href="#" class="selflink" >#</a @@ -247,7 +239,7 @@ ><div class="doc" ><p >Pattern synonym for (<code - ><a href="#" + ><a href="#" title="PatternSyns" >:<-></a ></code >)</p @@ -272,9 +264,7 @@ ><table ><tr ><td class="src" - ><a href="#" - >Show</a - > x => <a id="v:BlubCtor" class="def" + >Show x => <a id="v:BlubCtor" class="def" >BlubCtor</a > x</td ><td class="doc empty" @@ -291,9 +281,7 @@ >Blub</a > :: () => <span class="keyword" >forall</span - > x. <a href="#" - >Show</a - > x => x -> <a href="#" + > x. Show x => x -> <a href="#" title="PatternSyns" >BlubType</a > <a href="#" class="selflink" >#</a @@ -301,7 +289,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Blub</a ></code > x</p @@ -311,9 +299,7 @@ ><p class="src" ><span class="keyword" >data</span - > (a :: <a href="#" - >*</a - >) <a id="t:-62--60-" class="def" + > (a :: *) <a id="t:-62--60-" class="def" >><</a > b <a href="#" class="selflink" >#</a @@ -321,7 +307,7 @@ ><div class="doc" ><p >Doc for (<code - ><a href="#" + ><a href="#" title="PatternSyns" >><</a ></code >)</p @@ -349,15 +335,15 @@ >E</a > :: <span class="keyword" >forall</span - > k a (b :: k). <a href="#" - >(><)</a - > k a b <a href="#" class="selflink" + > k a (b :: k). a <a href="#" title="PatternSyns" + >><</a + > b <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Pattern for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Empty</a ></code ></p @@ -369,9 +355,7 @@ >pattern</span > <a id="v:PatWithExplicitSig" class="def" >PatWithExplicitSig</a - > :: <a href="#" - >Eq</a - > somex => somex -> <a href="#" + > :: Eq somex => somex -> <a href="#" title="PatternSyns" >FooType</a > somex <a href="#" class="selflink" >#</a |