blob: 7da4635a6169e5f2f038f6826a3d29df173b3a36 (
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
40
41
42
43
44
45
46
47
48
49
|
T17139.hs:15:10: error:
• Couldn't match type ‘f’ with ‘(->) a’
Expected: TypeFam f (a -> b)
Actual: (a -> a) -> f a -> TypeFam f b0
‘f’ is a rigid type variable bound by
the type signature for:
lift :: forall a b (f :: * -> *). (a -> b) -> TypeFam f (a -> b)
at T17139.hs:14:1-38
• The lambda expression ‘\ x -> _ (f <*> x)’
has one value argument,
but its type ‘TypeFam f (a -> b)’ has none
In the expression: \ x -> _ (f <*> x)
In an equation for ‘lift’: lift f = \ x -> _ (f <*> x)
• Relevant bindings include
f :: a -> b (bound at T17139.hs:15:6)
lift :: (a -> b) -> TypeFam f (a -> b) (bound at T17139.hs:15:1)
T17139.hs:15:16: error:
• Found hole: _ :: (a -> b0) -> f a -> TypeFam f b0
Where: ‘b0’ is an ambiguous type variable
‘a’, ‘f’ are rigid type variables bound by
the type signature for:
lift :: forall a b (f :: * -> *). (a -> b) -> TypeFam f (a -> b)
at T17139.hs:14:1-38
• In the expression: _ (f <*> x)
The lambda expression ‘\ x -> _ (f <*> x)’ has one value argument,
but its type ‘TypeFam f (a -> b)’ has none
In the expression: \ x -> _ (f <*> x)
• Relevant bindings include
x :: a -> a (bound at T17139.hs:15:11)
f :: a -> b (bound at T17139.hs:15:6)
lift :: (a -> b) -> TypeFam f (a -> b) (bound at T17139.hs:15:1)
T17139.hs:15:19: error:
• Couldn't match type ‘b’ with ‘a -> b0’
Expected: a -> a -> b0
Actual: a -> b
‘b’ is a rigid type variable bound by
the type signature for:
lift :: forall a b (f :: * -> *). (a -> b) -> TypeFam f (a -> b)
at T17139.hs:14:1-38
• In the first argument of ‘(<*>)’, namely ‘f’
In the first argument of ‘_’, namely ‘(f <*> x)’
In the expression: _ (f <*> x)
• Relevant bindings include
x :: a -> a (bound at T17139.hs:15:11)
f :: a -> b (bound at T17139.hs:15:6)
lift :: (a -> b) -> TypeFam f (a -> b) (bound at T17139.hs:15:1)
|