diff options
Diffstat (limited to 'hypsrc-test/ref')
| -rw-r--r-- | hypsrc-test/ref/src/Classes.html | 3 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Constructors.html | 1 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Quasiquoter.html | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/hypsrc-test/ref/src/Classes.html b/hypsrc-test/ref/src/Classes.html index 16d3b333..4b0343cf 100644 --- a/hypsrc-test/ref/src/Classes.html +++ b/hypsrc-test/ref/src/Classes.html @@ -342,6 +342,7 @@ forall a. a -> a ><span class="annot" ><span class="annottext" >[a] -> Int +forall a. [a] -> Int forall (t :: * -> *) a. Foldable t => t a -> Int </span ><span class="hs-identifier hs-var" @@ -716,6 +717,7 @@ forall b c a. (b -> c) -> (a -> b) -> a -> c ><span class="annot" ><span class="annottext" >[Int] -> Int +forall a. Num a => [a] -> a forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a </span ><span class="hs-identifier hs-var" @@ -813,6 +815,7 @@ forall a. Foo a => a -> Int ><span class="annot" ><span class="annottext" >[Int] -> Int +forall a. Num a => [a] -> a forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a </span ><span class="hs-identifier hs-var" diff --git a/hypsrc-test/ref/src/Constructors.html b/hypsrc-test/ref/src/Constructors.html index d5c3dd33..e3bb22d8 100644 --- a/hypsrc-test/ref/src/Constructors.html +++ b/hypsrc-test/ref/src/Constructors.html @@ -1309,6 +1309,7 @@ forall a. Num a => a -> a -> a ><span class="annot" ><span class="annottext" >[Int] -> Int +forall a. Num a => [a] -> a forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a </span ><span class="hs-identifier hs-var" diff --git a/hypsrc-test/ref/src/Quasiquoter.html b/hypsrc-test/ref/src/Quasiquoter.html index 53c05de1..53dc3474 100644 --- a/hypsrc-test/ref/src/Quasiquoter.html +++ b/hypsrc-test/ref/src/Quasiquoter.html @@ -156,6 +156,7 @@ ><span class="annot" ><span class="annottext" >Exp -> Q Exp +forall a. a -> Q a forall (f :: * -> *) a. Applicative f => a -> f a </span ><span class="hs-identifier hs-var" @@ -398,6 +399,7 @@ forall a. String -> Q a ><span class="annot" ><span class="annottext" >String -> Q a +forall a. String -> Q a forall (m :: * -> *) a. MonadFail m => String -> m a </span ><span class="hs-identifier hs-var" |