blob: 5bfd3971672646e1aa73686bd33528f802f612b1 (
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
|
T8603.hs:13:10: error:
• No instance for (Applicative RV)
arising from the superclasses of an instance declaration
• In the instance declaration for ‘Monad RV’
T8603.hs:29:17: error:
• Couldn't match kind ‘* -> *’ with ‘*’
When matching the kind of ‘[[a0]]’
• The function ‘lift’ is applied to two arguments,
but its type ‘[] [a0] (StateT s RV t0)
-> (->) [[a0]] (StateT s RV t0)’
has only one
In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3]
In the expression:
do { prize <- lift uniform [1, 2, ....];
return False }
T8603.hs:29:22: error:
• Couldn't match type ‘RV a0’ with ‘StateT s RV t0’
Expected type: [] [a0] (StateT s RV t0)
Actual type: [a0] -> RV a0
• In the first argument of ‘lift’, namely ‘uniform’
In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3]
• Relevant bindings include
testRVState1 :: RVState s Bool (bound at T8603.hs:28:1)
|