AP
для getField нужен HasField а IsLabel
Size: a a a
2020 July 12
AP
с HasField и AllowAmbiguousTypes получилось интанс написать
AP
чето теперь не хочет работать в окружении
AP
ага
AP
ну это блин из-0за AllowAmbiguos я просто проблему отложил
JS
Пытаюсь вот такой тайпкласс сделать:
но что-то не омгу компилятор побороть
class Action x a where
send :: (MonadIO m , IsLabel x (r -> TQueue a) , MonadReader r m) => a -> m ()
send act = do
chan <- asks (getField @x)
atomically $ writeTQueue chan act
но что-то не омгу компилятор побороть
ScopedTypeVariables
AP
не помогают:(
AP
Вот на чем сейчас остановился
class Action x a where
send :: (MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send act = do
chan <- asks (getField @x)
atomically $ writeTQueue chan act
AP
library/IDCar/Action.hs:16:3-76: error:
• Could not deduce (Action x0 a)
from the context: (Action x a, MonadIO m, HasField x r (TQueue a),
MonadReader r m)
bound by the type signature for:
send :: forall k (x :: k) a (m :: * -> *) r.
(Action x a, MonadIO m, HasField x r (TQueue a),
MonadReader r m) =>
a -> m ()
at library/IDCar/Action.hs:16:3-76
The type variable ‘x0’ is ambiguous
• In the ambiguity check for ‘send’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
send :: forall k (x :: k) a (m :: * -> *) r.
(Action x a, MonadIO m, HasField x r (TQueue a),
MonadReader r m) =>
a -> m ()
In the class declaration for ‘Action’
|
16 | send :: (MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
MK
Слушай, а зачем это вообще класс, а не просто функция?
AP
я не могу понять в каком месте x0 и x разошлись
JS
кстати, да, попробуй функцию сначала
AP
class Action x a
send :: (Action x a, MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send act = do
chan <- asks (getField @x)
atomically $ writeTQueue chan act
AP
вот так?
JS
я не могу понять в каком месте x0 и x разошлись
берутся из разных контекстов/сигнатур
JS
class Action x a
send :: (Action x a, MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send act = do
chan <- asks (getField @x)
atomically $ writeTQueue chan act
здесь нужен явный forall для прокидывания x из одной синтатуры в другую
JS
class Action x a
send :: (Action x a, MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send act = do
chan <- asks (getField @x)
atomically $ writeTQueue chan act
и класс можно убрать
AP
класс убрал
AP
x0 :(
MK
class Action x a
send :: (Action x a, MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send act = do
chan <- asks (getField @x)
atomically $ writeTQueue chan act
Вот здесь forall добавь, как Юра предложил