diff options
Diffstat (limited to 'hypsrc-test/ref/src/Types.html')
| -rw-r--r-- | hypsrc-test/ref/src/Types.html | 454 |
1 files changed, 287 insertions, 167 deletions
diff --git a/hypsrc-test/ref/src/Types.html b/hypsrc-test/ref/src/Types.html index bdb68ed6..d59f61f8 100644 --- a/hypsrc-test/ref/src/Types.html +++ b/hypsrc-test/ref/src/Types.html @@ -9,29 +9,49 @@ ><pre ><span class="hs-pragma" >{-# LANGUAGE TypeFamilies #-}</span - ><span class="" + ><span > - - </span + ><a name="line-2" + ></a + ><span + > +</span + ><a name="line-3" + ></a + ><span + > +</span + ><a name="line-4" + ></a ><span class="hs-keyword" >module</span - ><span class="" + ><span > </span ><span class="hs-identifier" >Types</span - ><span class="" + ><span > </span ><span class="hs-keyword" >where</span - ><span class="" + ><span > - - </span + ><a name="line-5" + ></a + ><span + > +</span + ><a name="line-6" + ></a + ><span + > +</span + ><a name="line-7" + ></a ><span class="hs-keyword" >data</span - ><span class="" + ><span > </span ><a name="Quux" ><a href="Types.html#Quux" @@ -39,11 +59,11 @@ >Quux</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><a name="Bar" ><a href="Types.html#Bar" @@ -51,11 +71,11 @@ >Bar</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >|</span - ><span class="" + ><span > </span ><a name="Baz" ><a href="Types.html#Baz" @@ -63,13 +83,19 @@ >Baz</span ></a ></a - ><span class="" + ><span + > +</span + ><a name="line-8" + ></a + ><span > - </span + ><a name="line-9" + ></a ><span class="hs-keyword" >newtype</span - ><span class="" + ><span > </span ><a name="Foo" ><a href="Types.html#Foo" @@ -77,11 +103,11 @@ >Foo</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><a name="Foo" ><a href="Types.html#Foo" @@ -89,19 +115,25 @@ >Foo</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span ><span class="hs-special" >)</span - ><span class="" + ><span + > +</span + ><a name="line-10" + ></a + ><span > - </span + ><a name="line-11" + ></a ><span class="hs-keyword" >type</span - ><span class="" + ><span > </span ><a name="FooQuux" ><a href="Types.html#FooQuux" @@ -109,11 +141,11 @@ >FooQuux</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -123,7 +155,7 @@ ></a ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" @@ -131,12 +163,14 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span + ><a name="line-12" + ></a ><span class="hs-keyword" >type</span - ><span class="" + ><span > </span ><a name="QuuxFoo" ><a href="Types.html#QuuxFoo" @@ -144,11 +178,11 @@ >QuuxFoo</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -158,7 +192,7 @@ ></a ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" @@ -166,18 +200,28 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span + > +</span + ><a name="line-13" + ></a + ><span > - - </span + ><a name="line-14" + ></a + ><span + > +</span + ><a name="line-15" + ></a ><span class="hs-keyword" >data</span - ><span class="" + ><span > </span ><span class="hs-keyword" >family</span - ><span class="" + ><span > </span ><a name="Norf" ><a href="Types.html#Norf" @@ -185,7 +229,7 @@ >Norf</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -193,7 +237,7 @@ >a</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -201,39 +245,45 @@ >b</span ></a ></a - ><span class="" + ><span + > +</span + ><a name="line-16" + ></a + ><span > - </span + ><a name="line-17" + ></a ><span class="hs-keyword" >data</span - ><span class="" + ><span > </span ><span class="hs-keyword" >instance</span - ><span class="" + ><span > </span ><a href="Types.html#Norf" ><span class="hs-identifier hs-type" >Norf</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><a name="NFQ" ><a href="Types.html#NFQ" @@ -241,50 +291,52 @@ >NFQ</span ></a ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span + ><a name="line-18" + ></a ><span class="hs-keyword" >data</span - ><span class="" + ><span > </span ><span class="hs-keyword" >instance</span - ><span class="" + ><span > </span ><a href="Types.html#Norf" ><span class="hs-identifier hs-type" >Norf</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><a name="NQF" ><a href="Types.html#NQF" @@ -292,30 +344,40 @@ >NQF</span ></a ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > - - </span + ><a name="line-19" + ></a + ><span + > +</span + ><a name="line-20" + ></a + ><span + > +</span + ><a name="line-21" + ></a ><span class="hs-keyword" >type</span - ><span class="" + ><span > </span ><span class="hs-keyword" >family</span - ><span class="" + ><span > </span ><a name="Norf%27" ><a href="Types.html#Norf%27" @@ -323,7 +385,7 @@ >Norf'</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -331,7 +393,7 @@ >a</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -339,39 +401,45 @@ >b</span ></a ></a - ><span class="" + ><span > - </span + ><a name="line-22" + ></a + ><span + > +</span + ><a name="line-23" + ></a ><span class="hs-keyword" >type</span - ><span class="" + ><span > </span ><span class="hs-keyword" >instance</span - ><span class="" + ><span > </span ><a href="Types.html#Norf%27" ><span class="hs-identifier hs-type" >Norf'</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -381,7 +449,7 @@ ></a ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" @@ -389,38 +457,40 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span + ><a name="line-24" + ></a ><span class="hs-keyword" >type</span - ><span class="" + ><span > </span ><span class="hs-keyword" >instance</span - ><span class="" + ><span > </span ><a href="Types.html#Norf%27" ><span class="hs-identifier hs-type" >Norf'</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -430,7 +500,7 @@ ></a ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" @@ -438,53 +508,65 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span + > +</span + ><a name="line-25" + ></a + ><span + > +</span + ><a name="line-26" + ></a + ><span > - - </span + ><a name="line-27" + ></a ><span class="hs-identifier" >norf1</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><a href="Types.html#Norf" ><span class="hs-identifier hs-type" >Norf</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-identifier hs-type" >Int</span - ><span class="" + ><span > </span + ><a name="line-28" + ></a ><a name="norf1" ><a href="Types.html#norf1" ><span class="hs-identifier" >norf1</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -492,7 +574,7 @@ ><span class="hs-identifier hs-var" >NFQ</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -500,7 +582,7 @@ ><span class="hs-identifier hs-var" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -508,7 +590,7 @@ >)</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><a href="Types.html#Bar" ><span class="hs-identifier hs-var" @@ -516,20 +598,22 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-number" >0</span - ><span class="" + ><span > </span + ><a name="line-29" + ></a ><span class="hs-identifier" >norf1</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -537,7 +621,7 @@ ><span class="hs-identifier hs-var" >NFQ</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -545,7 +629,7 @@ ><span class="hs-identifier hs-var" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -553,7 +637,7 @@ >)</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><a href="Types.html#Baz" ><span class="hs-identifier hs-var" @@ -561,60 +645,68 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-number" >1</span - ><span class="" + ><span + > +</span + ><a name="line-30" + ></a + ><span > - </span + ><a name="line-31" + ></a ><span class="hs-identifier" >norf2</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><a href="Types.html#Norf" ><span class="hs-identifier hs-type" >Norf</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-identifier hs-type" >Int</span - ><span class="" + ><span > </span + ><a name="line-32" + ></a ><a name="norf2" ><a href="Types.html#norf2" ><span class="hs-identifier" >norf2</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -622,13 +714,13 @@ ><span class="hs-identifier hs-var" >NQF</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Bar" ><span class="hs-identifier hs-var" >Bar</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -636,7 +728,7 @@ ><span class="hs-identifier hs-var" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -646,20 +738,22 @@ >)</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-number" >0</span - ><span class="" + ><span > </span + ><a name="line-33" + ></a ><span class="hs-identifier" >norf2</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -667,13 +761,13 @@ ><span class="hs-identifier hs-var" >NQF</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Baz" ><span class="hs-identifier hs-var" >Baz</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -681,7 +775,7 @@ ><span class="hs-identifier hs-var" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -691,61 +785,73 @@ >)</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-number" >1</span - ><span class="" + ><span + > +</span + ><a name="line-34" + ></a + ><span > - - </span + ><a name="line-35" + ></a + ><span + > +</span + ><a name="line-36" + ></a ><span class="hs-identifier" >norf1'</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><a href="Types.html#Norf%27" ><span class="hs-identifier hs-type" >Norf'</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-identifier hs-type" >Int</span - ><span class="" + ><span > </span + ><a name="line-37" + ></a ><a name="norf1%27" ><a href="Types.html#norf1%27" ><span class="hs-identifier" >norf1'</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -753,7 +859,7 @@ ><span class="hs-identifier hs-var" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -761,7 +867,7 @@ >)</span ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="Types.html#Bar" ><span class="hs-identifier hs-var" @@ -769,20 +875,22 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-number" >0</span - ><span class="" + ><span > </span + ><a name="line-38" + ></a ><span class="hs-identifier" >norf1'</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -790,7 +898,7 @@ ><span class="hs-identifier hs-var" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -798,7 +906,7 @@ >)</span ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="Types.html#Baz" ><span class="hs-identifier hs-var" @@ -806,60 +914,68 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-number" >1</span - ><span class="" + ><span + > +</span + ><a name="line-39" + ></a + ><span > - </span + ><a name="line-40" + ></a ><span class="hs-identifier" >norf2'</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><a href="Types.html#Norf%27" ><span class="hs-identifier hs-type" >Norf'</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Quux" ><span class="hs-identifier hs-type" >Quux</span ></a - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-type" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-identifier hs-type" >Int</span - ><span class="" + ><span > </span + ><a name="line-41" + ></a ><a name="norf2%27" ><a href="Types.html#norf2%27" ><span class="hs-identifier" >norf2'</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -869,13 +985,13 @@ ></a ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-var" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -883,20 +999,22 @@ >)</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-number" >0</span - ><span class="" + ><span > </span + ><a name="line-42" + ></a ><span class="hs-identifier" >norf2'</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -906,13 +1024,13 @@ ></a ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="Types.html#Foo" ><span class="hs-identifier hs-var" >Foo</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -920,17 +1038,19 @@ >)</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-number" >1</span - ><span class="" + ><span > </span + ><a name="line-43" + ></a ></pre ></body ></html |