AP
вот в этом моменте оно опять рассыавется
AllowAmbiguousTypes нужен, потому что x нет в типе выражения. откуда его компилятор возьмёт?Size: a a a
2020 July 12
AP
мне бы хотелось как-то компилятору сказать что вот тот
x слева учиытвалсяJS
вот в этом моменте оно опять рассыавется
УМВР
class Action x a where
send ::
(MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send a = do
chan <- asks (getField @x)
liftIO $ atomically $ writeTQueue chan a
JS
мне бы хотелось как-то компилятору сказать что вот тот
x слева учиытвалсяTypeApplications
JS
мне бы хотелось как-то компилятору сказать что вот тот
x слева учиытвалсяили что ты имеешь в виду?
JS
мне бы хотелось как-то компилятору сказать что вот тот
x слева учиытвалсяпроблема в том, что он учитывается, но компилятор его не может вывести. AllowAmbiguousTypes говорит компилятору: ну и не надо выводить, я сам укажу
AP
у меня есть
data Action1 = Action1
data Action2 = Action2
...
AP
Для каждого свой TChan
AP
в Reader Env
AP
action1Chan
AP
data Env = Env
{ action1Chan :: TChan Action1
, action2Chan :: TChan Action2
}
AP
я хочу сделать
send Action1
send Action2
AP
чтобы по типу аргумент нужный chan сам выбирался
JS
data Env = Env
{ action1Chan :: TChan Action1
, action2Chan :: TChan Action2
}
chan или queue?
AP
queue
JS
чтобы по типу аргумент нужный chan сам выбирался
аргумент чего?
AP
я думал я сделаю
instance Action Action1 "action1Chan"AP
аргумент в функцию
sendJS
я думал я сделаю
instance Action Action1 "action1Chan"instance Action Action1 "action1Chan"никак не запрещает
instance Action Action1 "action2Chan"чтобы запрещал, нужны FD или TF
AP
ага, теперь мне понтяно стало