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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
RolesIArray.hs:10:13:
Couldn't match type ‘Word64’ with ‘N’
arising from the coercion of the method ‘Data.Array.Base.unsafeAccumArray’
from type ‘forall e' i.
Ix i =>
(Word64 -> e' -> Word64)
-> Word64 -> (i, i) -> [(Int, e')] -> UArray i Word64’
to type ‘forall e' i.
Ix i =>
(N -> e' -> N) -> N -> (i, i) -> [(Int, e')] -> UArray i N’
Relevant role signatures:
type role Ix nominal
type role [] representational
type role (,) representational representational
type role UArray nominal nominal
When deriving the instance for (IArray UArray N)
RolesIArray.hs:10:13:
Couldn't match type ‘Word64’ with ‘N’
arising from the coercion of the method ‘Data.Array.Base.unsafeAccum’
from type ‘forall e' i.
Ix i =>
(Word64 -> e' -> Word64)
-> UArray i Word64 -> [(Int, e')] -> UArray i Word64’
to type ‘forall e' i.
Ix i =>
(N -> e' -> N) -> UArray i N -> [(Int, e')] -> UArray i N’
Relevant role signatures:
type role Ix nominal
type role [] representational
type role (,) representational representational
type role UArray nominal nominal
When deriving the instance for (IArray UArray N)
RolesIArray.hs:10:13:
Couldn't match type ‘Word64’ with ‘N’
arising from the coercion of the method ‘Data.Array.Base.unsafeReplace’
from type ‘forall i.
Ix i =>
UArray i Word64 -> [(Int, Word64)] -> UArray i Word64’
to type ‘forall i. Ix i => UArray i N -> [(Int, N)] -> UArray i N’
Relevant role signatures:
type role Ix nominal
type role [] representational
type role (,) representational representational
type role UArray nominal nominal
When deriving the instance for (IArray UArray N)
RolesIArray.hs:10:13:
Couldn't match type ‘Word64’ with ‘N’
arising from the coercion of the method ‘Data.Array.Base.unsafeAt’
from type ‘forall i. Ix i => UArray i Word64 -> Int -> Word64’
to type ‘forall i. Ix i => UArray i N -> Int -> N’
Relevant role signatures:
type role Ix nominal
type role UArray nominal nominal
When deriving the instance for (IArray UArray N)
RolesIArray.hs:10:13:
Couldn't match type ‘Word64’ with ‘N’
arising from the coercion of the method ‘Data.Array.Base.unsafeArray’
from type ‘forall i.
Ix i =>
(i, i) -> [(Int, Word64)] -> UArray i Word64’
to type ‘forall i. Ix i => (i, i) -> [(Int, N)] -> UArray i N’
Relevant role signatures:
type role Ix nominal
type role [] representational
type role (,) representational representational
type role UArray nominal nominal
When deriving the instance for (IArray UArray N)
RolesIArray.hs:10:13:
Couldn't match type ‘Word64’ with ‘N’
arising from the coercion of the method ‘Data.Array.Base.numElements’
from type ‘forall i. Ix i => UArray i Word64 -> Int’
to type ‘forall i. Ix i => UArray i N -> Int’
Relevant role signatures:
type role Ix nominal
type role UArray nominal nominal
When deriving the instance for (IArray UArray N)
RolesIArray.hs:10:13:
Couldn't match type ‘Word64’ with ‘N’
arising from the coercion of the method ‘bounds’
from type ‘forall i. Ix i => UArray i Word64 -> (i, i)’
to type ‘forall i. Ix i => UArray i N -> (i, i)’
Relevant role signatures:
type role Ix nominal
type role (,) representational representational
type role UArray nominal nominal
When deriving the instance for (IArray UArray N)
|
