diff options
Diffstat (limited to 'html-test/ref/Instances.html')
| -rw-r--r-- | html-test/ref/Instances.html | 434 |
1 files changed, 332 insertions, 102 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index c2904e42..e3a2cb78 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -49,16 +49,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><p class="src" ><span class="keyword" >newtype</span - > a <a href="#" id="t:-60--126--126-" class="def" + > a <a id="t:-60--126--126-" class="def" ><~~</a - > b</p + > b <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="#" id="v:Xyzzy" class="def" + ><a id="v:Xyzzy" class="def" >Xyzzy</a > (b -> (a, a))</td ><td class="doc empty" @@ -81,6 +83,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >(<~~)</a > a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -100,7 +104,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a >) -> a -> a <a href="#" ><~~</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -116,7 +122,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><~~</a > <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -129,28 +137,34 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><p class="src" ><span class="keyword" >class</span - > <a href="#" id="t:Foo" class="def" + > <a id="t:Foo" class="def" >Foo</a > f <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" - ><a href="#" id="v:foo" class="def" + ><a id="v:foo" class="def" >foo</a > :: f <a href="#" >Int</a - > -> a -> f a</p + > -> a -> f a <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="#" id="v:foo-39-" class="def" + ><a id="v:foo-39-" class="def" >foo'</a > :: f (f a) -> <a href="#" >Int</a > -> f (f <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ><div class="subs instances" ><p id="control.i:Foo" class="caption collapser" onclick="toggleSection('i:Foo')" @@ -165,6 +179,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Foo</a > []</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -180,7 +196,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >foo</a > :: [<a href="#" >Int</a - >] -> a -> [a]</p + >] -> a -> [a] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -188,7 +206,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> [[<a href="#" >Int</a - >]]</p + >]] <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -203,6 +223,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Maybe</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -222,7 +244,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> a -> <a href="#" >Maybe</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -238,7 +262,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Maybe</a > <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -251,6 +277,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Foo</a > ((->) a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -266,7 +294,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >foo</a > :: (a -> <a href="#" >Int</a - >) -> a -> a -> a</p + >) -> a -> a -> a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -274,6 +304,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> a -> a -> <a href="#" >Int</a + > <a href="#" class="selflink" + >#</a ></p ></div ></div @@ -289,6 +321,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >Either</a > a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -308,7 +342,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> a -> <a href="#" >Either</a - > a a</p + > a a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -324,7 +360,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Either</a > a <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -343,6 +381,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >(,)</a > (f a))</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -358,7 +398,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >foo</a > :: (f a, <a href="#" >Int</a - >) -> a -> (f a, a)</p + >) -> a -> (f a, a) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -366,7 +408,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> (f a, (f a, <a href="#" >Int</a - >))</p + >)) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -381,6 +425,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >(<~~)</a > a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -400,7 +446,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a >) -> a -> a <a href="#" ><~~</a - > a</p + > a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -416,7 +464,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><~~</a > <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -431,6 +481,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >(,,)</a > a a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -446,7 +498,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >foo</a > :: (a, a, <a href="#" >Int</a - >) -> a -> (a, a, a)</p + >) -> a -> (a, a, a) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -454,7 +508,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> (a, a, (a, a, <a href="#" >Int</a - >))</p + >)) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -469,6 +525,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >Quux</a > a b)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -488,7 +546,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> a -> <a href="#" >Quux</a - > a b a</p + > a b a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -504,7 +564,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a b <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -519,30 +581,38 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >class</span > <a href="#" >Foo</a - > f => <a href="#" id="t:Bar" class="def" + > f => <a id="t:Bar" class="def" >Bar</a > f a <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" - ><a href="#" id="v:bar" class="def" + ><a id="v:bar" class="def" >bar</a > :: f a -> f <a href="#" >Bool</a - > -> a</p + > -> a <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="#" id="v:bar-39-" class="def" + ><a id="v:bar-39-" class="def" >bar'</a - > :: f (f a) -> f (f (f b))</p + > :: f (f a) -> f (f (f b)) <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="#" id="v:bar0" class="def" + ><a id="v:bar0" class="def" >bar0</a - >, <a href="#" id="v:bar1" class="def" + >, <a id="v:bar1" class="def" >bar1</a - > :: (f a, f a) -> (f b, f c)</p + > :: (f a, f a) -> (f b, f c) <a href="#" class="selflink" + >#</a + ></p ></div ><div class="subs instances" ><p id="control.i:Bar" class="caption collapser" onclick="toggleSection('i:Bar')" @@ -561,6 +631,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Bool</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -584,6 +656,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Bool</a > -> <a href="#" >Bool</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><a href="#" @@ -600,7 +674,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Maybe</a > (<a href="#" >Maybe</a - > b))</p + > b)) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar0</a @@ -616,7 +692,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Maybe</a > b, <a href="#" >Maybe</a - > c)</p + > c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar1</a @@ -632,7 +710,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Maybe</a > b, <a href="#" >Maybe</a - > c)</p + > c) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -647,6 +727,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Maybe</a > [a]</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -666,7 +748,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Maybe</a > <a href="#" >Bool</a - > -> [a]</p + > -> [a] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar'</a @@ -680,7 +764,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Maybe</a > (<a href="#" >Maybe</a - > b))</p + > b)) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar0</a @@ -692,7 +778,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Maybe</a > b, <a href="#" >Maybe</a - > c)</p + > c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar1</a @@ -704,7 +792,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Maybe</a > b, <a href="#" >Maybe</a - > c)</p + > c) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -717,6 +807,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Bar</a > [] (a, a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -732,19 +824,27 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >bar</a > :: [(a, a)] -> [<a href="#" >Bool</a - >] -> (a, a)</p + >] -> (a, a) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar'</a - > :: [[(a, a)]] -> [[[b]]]</p + > :: [[(a, a)]] -> [[[b]]] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar0</a - > :: ([(a, a)], [(a, a)]) -> ([b], [c])</p + > :: ([(a, a)], [(a, a)]) -> ([b], [c]) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar1</a - > :: ([(a, a)], [(a, a)]) -> ([b], [c])</p + > :: ([(a, a)], [(a, a)]) -> ([b], [c]) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -761,6 +861,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >Either</a > a) (f a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -780,7 +882,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Either</a > a <a href="#" >Bool</a - > -> f a</p + > -> f a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar'</a @@ -794,7 +898,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Either</a > a (<a href="#" >Either</a - > a b))</p + > a b)) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar0</a @@ -806,7 +912,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Either</a > a b, <a href="#" >Either</a - > a c)</p + > a c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar1</a @@ -818,7 +926,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Either</a > a b, <a href="#" >Either</a - > a c)</p + > a c) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -837,6 +947,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >(,,)</a > a b) (a, b, a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -852,19 +964,27 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >bar</a > :: (a, b, (a, b, a)) -> (a, b, <a href="#" >Bool</a - >) -> (a, b, a)</p + >) -> (a, b, a) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar'</a - > :: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b)))</p + > :: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b))) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar0</a - > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c))</p + > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c)) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar1</a - > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c))</p + > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c)) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -881,6 +1001,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > a c) (<a href="#" >Quux</a > a b c)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -904,7 +1026,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Bool</a > -> <a href="#" >Quux</a - > a b c</p + > a b c <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar'</a @@ -920,7 +1044,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a c (<a href="#" >Quux</a - > a c b))</p + > a c b)) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar0</a @@ -936,7 +1062,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a c b, <a href="#" >Quux</a - > a c c)</p + > a c c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar1</a @@ -952,7 +1080,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a c b, <a href="#" >Quux</a - > a c c)</p + > a c c) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -965,32 +1095,38 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><p class="src" ><span class="keyword" >class</span - > <a href="#" id="t:Baz" class="def" + > <a id="t:Baz" class="def" >Baz</a > a <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" - ><a href="#" id="v:baz" class="def" + ><a id="v:baz" class="def" >baz</a > :: a -> (<span class="keyword" >forall</span > a. a -> a) -> (b, <span class="keyword" >forall</span - > c. c -> a) -> (b, c)</p + > c. c -> a) -> (b, c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="#" id="v:baz-39-" class="def" + ><a id="v:baz-39-" class="def" >baz'</a > :: b -> (<span class="keyword" >forall</span > b. b -> a) -> (<span class="keyword" >forall</span - > b. b -> a) -> [(b, a)]</p + > b. b -> a) -> [(b, a)] <a href="#" class="selflink" + >#</a + ></p ><p class="src" - ><a href="#" id="v:baz-39--39-" class="def" + ><a id="v:baz-39--39-" class="def" >baz''</a > :: b -> (<span class="keyword" >forall</span @@ -998,7 +1134,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > b. b -> a) -> c) -> <span class="keyword" >forall</span - > c. c -> b</p + > c. c -> b <a href="#" class="selflink" + >#</a + ></p ></div ><div class="subs instances" ><p id="control.i:Baz" class="caption collapser" onclick="toggleSection('i:Baz')" @@ -1013,6 +1151,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Baz</a > [c]</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1030,7 +1170,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > a. a -> a) -> (b, <span class="keyword" >forall</span - > a. a -> [c]) -> (b, c)</p + > a. a -> [c]) -> (b, c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz'</a @@ -1038,7 +1180,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > b. b -> [c]) -> (<span class="keyword" >forall</span - > b. b -> [c]) -> [(b, [c])]</p + > b. b -> [c]) -> [(b, [c])] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz''</a @@ -1048,7 +1192,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > a. a -> [c]) -> c) -> <span class="keyword" >forall</span - > a. a -> b</p + > a. a -> b <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1061,6 +1207,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Baz</a > (a -> b)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1078,7 +1226,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > c. c -> c) -> (b, <span class="keyword" >forall</span - > c. c -> a -> b) -> (b, c)</p + > c. c -> a -> b) -> (b, c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz'</a @@ -1086,7 +1236,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > c. c -> a -> b) -> (<span class="keyword" >forall</span - > c. c -> a -> b) -> [(b, a -> b)]</p + > c. c -> a -> b) -> [(b, a -> b)] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz''</a @@ -1096,7 +1248,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > d. d -> a -> b) -> c) -> <span class="keyword" >forall</span - > c. c -> b</p + > c. c -> b <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1109,6 +1263,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Baz</a > (a, b, c)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1126,7 +1282,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > d. d -> d) -> (b, <span class="keyword" >forall</span - > d. d -> (a, b, c)) -> (b, c)</p + > d. d -> (a, b, c)) -> (b, c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz'</a @@ -1134,7 +1292,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > d. d -> (a, b, c)) -> (<span class="keyword" >forall</span - > d. d -> (a, b, c)) -> [(b, (a, b, c))]</p + > d. d -> (a, b, c)) -> [(b, (a, b, c))] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz''</a @@ -1144,7 +1304,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > e. e -> (a, b, c)) -> c) -> <span class="keyword" >forall</span - > d. d -> b</p + > d. d -> b <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1159,6 +1321,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >Quux</a > a b c)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1180,7 +1344,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > d. d -> <a href="#" >Quux</a - > a b c) -> (b, c)</p + > a b c) -> (b, c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz'</a @@ -1194,7 +1360,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a b c) -> [(b, <a href="#" >Quux</a - > a b c)]</p + > a b c)] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz''</a @@ -1206,7 +1374,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a b c) -> c) -> <span class="keyword" >forall</span - > d. d -> b</p + > d. d -> b <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1219,6 +1389,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Baz</a > (a, [b], b, a)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1236,7 +1408,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > c. c -> c) -> (b, <span class="keyword" >forall</span - > c. c -> (a, [b], b, a)) -> (b, c)</p + > c. c -> (a, [b], b, a)) -> (b, c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz'</a @@ -1244,7 +1418,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > c. c -> (a, [b], b, a)) -> (<span class="keyword" >forall</span - > c. c -> (a, [b], b, a)) -> [(b, (a, [b], b, a))]</p + > c. c -> (a, [b], b, a)) -> [(b, (a, [b], b, a))] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz''</a @@ -1254,7 +1430,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > d. d -> (a, [b], b, a)) -> c) -> <span class="keyword" >forall</span - > c. c -> b</p + > c. c -> b <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1267,16 +1445,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:Quux" class="def" + > <a id="t:Quux" class="def" >Quux</a - > a b c</p + > a b c <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="#" id="v:Qx" class="def" + ><a id="v:Qx" class="def" >Qx</a > a</td ><td class="doc empty" @@ -1284,7 +1464,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ></tr ><tr ><td class="src" - ><a href="#" id="v:Qux" class="def" + ><a id="v:Qux" class="def" >Qux</a > a b</td ><td class="doc empty" @@ -1292,7 +1472,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ></tr ><tr ><td class="src" - ><a href="#" id="v:Quux" class="def" + ><a id="v:Quux" class="def" >Quux</a > a b c</td ><td class="doc empty" @@ -1315,6 +1495,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >Quux</a > a b)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1334,7 +1516,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> a -> <a href="#" >Quux</a - > a b a</p + > a b a <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >foo'</a @@ -1350,7 +1534,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a b <a href="#" >Int</a - >)</p + >) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1367,6 +1553,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > a c) (<a href="#" >Quux</a > a b c)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1390,7 +1578,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Bool</a > -> <a href="#" >Quux</a - > a b c</p + > a b c <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar'</a @@ -1406,7 +1596,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a c (<a href="#" >Quux</a - > a c b))</p + > a c b)) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar0</a @@ -1422,7 +1614,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a c b, <a href="#" >Quux</a - > a c c)</p + > a c c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >bar1</a @@ -1438,7 +1632,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a c b, <a href="#" >Quux</a - > a c c)</p + > a c c) <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1453,6 +1649,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > (<a href="#" >Quux</a > a b c)</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1474,7 +1672,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >forall</span > d. d -> <a href="#" >Quux</a - > a b c) -> (b, c)</p + > a b c) -> (b, c) <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz'</a @@ -1488,7 +1688,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a b c) -> [(b, <a href="#" >Quux</a - > a b c)]</p + > a b c)] <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><a href="#" >baz''</a @@ -1500,7 +1702,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a b c) -> c) -> <span class="keyword" >forall</span - > d. d -> b</p + > d. d -> b <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td @@ -1518,11 +1722,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Quux</a > a [a] c) <ul class="inst" ><li class="inst" - >= <a href="#" id="v:Thuud" class="def" + >= <a id="v:Thuud" class="def" >Thuud</a > a</li ><li class="inst" - >| <a href="#" id="v:Thuuud" class="def" + >| <a id="v:Thuuud" class="def" >Thuuud</a > <a href="#" >Int</a @@ -1531,6 +1735,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ></li ></ul ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1543,10 +1749,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><p class="src" ><span class="keyword" >class</span - > <a href="#" id="t:Norf" class="def" + > <a id="t:Norf" class="def" >Norf</a > a b <span class="keyword" >where</span + > <a href="#" class="selflink" + >#</a ></p ><div class="subs associated-types" ><p class="caption" @@ -1554,25 +1762,31 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><p class="src" ><span class="keyword" >type</span - > <a href="#" id="t:Plugh" class="def" + > <a id="t:Plugh" class="def" >Plugh</a - > a c b</p + > a c b <a href="#" class="selflink" + >#</a + ></p ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:Thud" class="def" + > <a id="t:Thud" class="def" >Thud</a - > a c</p + > a c <a href="#" class="selflink" + >#</a + ></p ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" - ><a href="#" id="v:norf" class="def" + ><a id="v:norf" class="def" >norf</a > :: <a href="#" >Plugh</a - > a c b -> a -> (a -> c) -> b</p + > a c b -> a -> (a -> c) -> b <a href="#" class="selflink" + >#</a + ></p ></div ><div class="subs instances" ><p id="control.i:Norf" class="caption collapser" onclick="toggleSection('i:Norf')" @@ -1591,6 +1805,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Bool</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1612,6 +1828,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Bool</a > :: <a href="#" >*</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><span class="keyword" @@ -1622,6 +1840,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > c :: <a href="#" >*</a + > <a href="#" class="selflink" + >#</a ></p ></div > <div class="subs methods" @@ -1642,6 +1862,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > -> c) -> <a href="#" >Bool</a + > <a href="#" class="selflink" + >#</a ></p ></div ></div @@ -1655,6 +1877,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu > <a href="#" >Norf</a > [a] [b]</span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -1672,6 +1896,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Plugh</a > [a] c [b] :: <a href="#" >*</a + > <a href="#" class="selflink" + >#</a ></p ><p class="src" ><span class="keyword" @@ -1680,6 +1906,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Thud</a > [a] c :: <a href="#" >*</a + > <a href="#" class="selflink" + >#</a ></p ></div > <div class="subs methods" @@ -1690,7 +1918,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >norf</a > :: <a href="#" >Plugh</a - > [a] c [b] -> [a] -> ([a] -> c) -> [b]</p + > [a] c [b] -> [a] -> ([a] -> c) -> [b] <a href="#" class="selflink" + >#</a + ></p ></div ></div ></td |