diff options
Diffstat (limited to 'hypsrc-test/ref/src/Polymorphism.html')
-rw-r--r-- | hypsrc-test/ref/src/Polymorphism.html | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/hypsrc-test/ref/src/Polymorphism.html b/hypsrc-test/ref/src/Polymorphism.html index 9f8a1850..1b166aff 100644 --- a/hypsrc-test/ref/src/Polymorphism.html +++ b/hypsrc-test/ref/src/Polymorphism.html @@ -107,7 +107,7 @@ ><span id="foo" ><span class="annot" ><span class="annottext" - >foo :: a -> a -> a + >foo :: forall a. a -> a -> a </span ><a href="Polymorphism.html#foo" ><span class="hs-identifier hs-var hs-var" @@ -205,7 +205,7 @@ forall a. HasCallStack => a ><span id="foo%27" ><span class="annot" ><span class="annottext" - >foo' :: a -> a -> a + >foo' :: forall a. a -> a -> a </span ><a href="Polymorphism.html#foo%27" ><span class="hs-identifier hs-var hs-var" @@ -305,7 +305,7 @@ forall a. HasCallStack => a ><span id="bar" ><span class="annot" ><span class="annottext" - >bar :: a -> b -> (a, b) + >bar :: forall a b. a -> b -> (a, b) </span ><a href="Polymorphism.html#bar" ><span class="hs-identifier hs-var hs-var" @@ -427,7 +427,7 @@ forall a. HasCallStack => a ><span id="bar%27" ><span class="annot" ><span class="annottext" - >bar' :: a -> b -> (a, b) + >bar' :: forall a b. a -> b -> (a, b) </span ><a href="Polymorphism.html#bar%27" ><span class="hs-identifier hs-var hs-var" @@ -557,7 +557,7 @@ forall a. HasCallStack => a ><span id="baz" ><span class="annot" ><span class="annottext" - >baz :: a -> (a -> [a -> a] -> b) -> b + >baz :: forall a b. a -> (a -> [a -> a] -> b) -> b </span ><a href="Polymorphism.html#baz" ><span class="hs-identifier hs-var hs-var" @@ -709,7 +709,7 @@ forall a. HasCallStack => a ><span id="baz%27" ><span class="annot" ><span class="annottext" - >baz' :: a -> (a -> [a -> a] -> b) -> b + >baz' :: forall a b. a -> (a -> [a -> a] -> b) -> b </span ><a href="Polymorphism.html#baz%27" ><span class="hs-identifier hs-var hs-var" @@ -825,7 +825,7 @@ forall a. HasCallStack => a ><span id="quux" ><span class="annot" ><span class="annottext" - >quux :: a -> (forall a. a -> a) -> a + >quux :: forall a. a -> (forall a. a -> a) -> a </span ><a href="Polymorphism.html#quux" ><span class="hs-identifier hs-var hs-var" @@ -994,7 +994,7 @@ forall a. a -> a ><span id="quux%27" ><span class="annot" ><span class="annottext" - >quux' :: a -> (forall a. a -> a) -> a + >quux' :: forall a. a -> (forall a. a -> a) -> a </span ><a href="Polymorphism.html#quux%27" ><span class="hs-identifier hs-var hs-var" @@ -1140,7 +1140,7 @@ forall a. a -> a ><span id="num" ><span class="annot" ><span class="annottext" - >num :: a -> a -> a + >num :: forall a. Num a => a -> a -> a </span ><a href="Polymorphism.html#num" ><span class="hs-identifier hs-var hs-var" @@ -1256,7 +1256,7 @@ forall a. HasCallStack => a ><span id="num%27" ><span class="annot" ><span class="annottext" - >num' :: a -> a -> a + >num' :: forall a. Num a => a -> a -> a </span ><a href="Polymorphism.html#num%27" ><span class="hs-identifier hs-var hs-var" @@ -1402,7 +1402,7 @@ forall a. HasCallStack => a ><span id="eq" ><span class="annot" ><span class="annottext" - >eq :: [a] -> [b] -> (a, b) + >eq :: forall a b. (Eq a, Eq b) => [a] -> [b] -> (a, b) </span ><a href="Polymorphism.html#eq" ><span class="hs-identifier hs-var hs-var" @@ -1570,7 +1570,7 @@ forall a. HasCallStack => a ><span id="eq%27" ><span class="annot" ><span class="annottext" - >eq' :: [a] -> [b] -> (a, b) + >eq' :: forall a b. (Eq a, Eq b) => [a] -> [b] -> (a, b) </span ><a href="Polymorphism.html#eq%27" ><span class="hs-identifier hs-var hs-var" @@ -1694,7 +1694,7 @@ forall a. HasCallStack => a ><span id="mon" ><span class="annot" ><span class="annottext" - >mon :: (a -> m a) -> m a + >mon :: forall (m :: * -> *) a. Monad m => (a -> m a) -> m a </span ><a href="Polymorphism.html#mon" ><span class="hs-identifier hs-var hs-var" @@ -1840,7 +1840,7 @@ forall a. HasCallStack => a ><span id="mon%27" ><span class="annot" ><span class="annottext" - >mon' :: (a -> m a) -> m a + >mon' :: forall (m :: * -> *) a. Monad m => (a -> m a) -> m a </span ><a href="Polymorphism.html#mon%27" ><span class="hs-identifier hs-var hs-var" @@ -1979,7 +1979,7 @@ forall a. HasCallStack => a ><span id="norf" ><span class="annot" ><span class="annottext" - >norf :: a -> (forall a. Ord a => a -> a) -> a + >norf :: forall a. a -> (forall a. Ord a => a -> a) -> a </span ><a href="Polymorphism.html#norf" ><span class="hs-identifier hs-var hs-var" @@ -2154,7 +2154,7 @@ forall a. HasCallStack => a ><span id="norf%27" ><span class="annot" ><span class="annottext" - >norf' :: a -> (forall a. Ord a => a -> a) -> a + >norf' :: forall a. a -> (forall a. Ord a => a -> a) -> a </span ><a href="Polymorphism.html#norf%27" ><span class="hs-identifier hs-var hs-var" @@ -2272,7 +2272,7 @@ forall a. HasCallStack => a ><span id="plugh" ><span class="annot" ><span class="annottext" - >plugh :: a -> a + >plugh :: forall a. a -> a </span ><a href="Polymorphism.html#plugh" ><span class="hs-identifier hs-var hs-var" @@ -2436,7 +2436,7 @@ forall a. HasCallStack => a ><span id="thud" ><span class="annot" ><span class="annottext" - >thud :: (a -> b) -> a -> (a, b) + >thud :: forall a b. (a -> b) -> a -> (a, b) </span ><a href="Polymorphism.html#thud" ><span class="hs-identifier hs-var hs-var" |