blob: bfd5367bcd126028bf18b74ee213ec8b58c11bbe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
T10403.hs:15:7: warning:
Found hole ‘_’ with inferred constraints: Functor f
In the type signature for:
h1 :: _ => _
T10403.hs:15:12: warning:
Found type wildcard ‘_’ standing for ‘(a -> b) -> f a -> H f’
Where: ‘b’ is a rigid type variable bound by
the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
at T10403.hs:17:1
‘a’ is a rigid type variable bound by
the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
at T10403.hs:17:1
‘f’ is a rigid type variable bound by
the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
at T10403.hs:17:1
In the type signature for:
h1 :: _ => _
T10403.hs:19:7: warning:
Found type wildcard ‘_’ standing for ‘(a -> b) -> f a -> H f’
Where: ‘b’ is a rigid type variable bound by
the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
at T10403.hs:21:1
‘a’ is a rigid type variable bound by
the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
at T10403.hs:21:1
‘f’ is a rigid type variable bound by
the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
at T10403.hs:21:1
In the type signature for:
h2 :: _
T10403.hs:21:1: warning:
No instance for (Functor f)
When checking that ‘h2’ has the inferred type
h2 :: forall (f :: * -> *) b a. (a -> b) -> f a -> H f
Probable cause: the inferred type is ambiguous
|
