diff options
Diffstat (limited to 'html-test/ref/PatternSyns.html')
-rw-r--r-- | html-test/ref/PatternSyns.html | 200 |
1 files changed, 101 insertions, 99 deletions
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 4b4eea96..bf0cdf1e 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -47,106 +47,108 @@ ></div ></div ><div id="synopsis" - ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')" - >Synopsis</p - ><ul id="section.syn" class="hide" onclick="toggleSection('syn')" - ><li class="src short" - ><span class="keyword" - >data</span - > <a href="#" - >FooType</a - > x = <a href="#" - >FooCtor</a - > x</li - ><li class="src short" - ><span class="keyword" - >pattern</span - > <a href="#" - >Foo</a - > :: <span class="keyword" - >forall</span - > x. x -> <a href="#" - >FooType</a - > x</li + ><details id="syn" + ><summary + >Synopsis</summary + ><ul class="details-toggle" data-details-id="syn" ><li class="src short" - ><span class="keyword" - >pattern</span - > <a href="#" - >Bar</a - > :: <span class="keyword" - >forall</span - > x. x -> <a href="#" - >FooType</a - > (<a href="#" - >FooType</a - > x)</li - ><li class="src short" - ><span class="keyword" - >pattern</span - > <a href="#" - >(:<->)</a - > :: <span class="keyword" - >forall</span - > x x1. x -> x1 -> (<a href="#" - >FooType</a - > x, <a href="#" - >FooType</a - > (<a href="#" - >FooType</a - > x1))</li - ><li class="src short" - ><span class="keyword" - >data</span - > <a href="#" - >BlubType</a - > = <a href="#" - >Show</a - > x => <a href="#" - >BlubCtor</a - > x</li - ><li class="src short" - ><span class="keyword" - >pattern</span - > <a href="#" - >Blub</a - > :: () => <span class="keyword" - >forall</span - > x. <a href="#" - >Show</a - > x => x -> <a href="#" - >BlubType</a - ></li - ><li class="src short" - ><span class="keyword" - >data</span - > (a :: <a href="#" - >*</a - >) <a href="#" - >><</a - > b = <a href="#" - >Empty</a - ></li - ><li class="src short" - ><span class="keyword" - >pattern</span - > <a href="#" - >E</a - > :: <span class="keyword" - >forall</span - > k a (b :: k). <a href="#" - >(><)</a - > k a b</li - ><li class="src short" - ><span class="keyword" - >pattern</span - > <a href="#" - >PatWithExplicitSig</a - > :: <a href="#" - >Eq</a - > somex => somex -> <a href="#" - >FooType</a - > somex</li - ></ul + ><span class="keyword" + >data</span + > <a href="#" + >FooType</a + > x = <a href="#" + >FooCtor</a + > x</li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >Foo</a + > :: <span class="keyword" + >forall</span + > x. x -> <a href="#" + >FooType</a + > x</li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >Bar</a + > :: <span class="keyword" + >forall</span + > x. x -> <a href="#" + >FooType</a + > (<a href="#" + >FooType</a + > x)</li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >(:<->)</a + > :: <span class="keyword" + >forall</span + > x x1. x -> x1 -> (<a href="#" + >FooType</a + > x, <a href="#" + >FooType</a + > (<a href="#" + >FooType</a + > x1))</li + ><li class="src short" + ><span class="keyword" + >data</span + > <a href="#" + >BlubType</a + > = <a href="#" + >Show</a + > x => <a href="#" + >BlubCtor</a + > x</li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >Blub</a + > :: () => <span class="keyword" + >forall</span + > x. <a href="#" + >Show</a + > x => x -> <a href="#" + >BlubType</a + ></li + ><li class="src short" + ><span class="keyword" + >data</span + > (a :: <a href="#" + >*</a + >) <a href="#" + >><</a + > b = <a href="#" + >Empty</a + ></li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >E</a + > :: <span class="keyword" + >forall</span + > k a (b :: k). <a href="#" + >(><)</a + > k a b</li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >PatWithExplicitSig</a + > :: <a href="#" + >Eq</a + > somex => somex -> <a href="#" + >FooType</a + > somex</li + ></ul + ></details ></div ><div id="interface" ><h1 |