MK
Без него ScopedTypeVariables не работают
Size: a a a
2020 July 12
MK
Хотя внутри классов должны, не понимаю почему там ломалось
AP
я посмотрел тип getField
:t getField
getField :: forall k (x :: k) r a. HasField x r a => r -> a
AP
у меня вопрос возник, зачем там
k?AP
я себе также сделал
send :: forall k (x :: k) a m r. (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
у меня там r конечно для ридера
MK
я себе также сделал
send :: forall k (x :: k) a m r. (MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send act = do
chan <- asks (getField @x)
atomically $ writeTQueue chan act
И что говорит?
JS
x0 :(
УМВР
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module B where
import Control.Concurrent.STM
import Control.Monad.IO.Class
import Control.Monad.Reader
import GHC.Records
send ::
forall x m a r.
(MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send a = do
chan <- asks (getField @x)
liftIO $ atomically $ writeTQueue chan aAP
да все тоже, он
x0AP
c AllowAmbiguius у меня тоже
AP
но я потом не могу это использывать
JS
c AllowAmbiguius у меня тоже
ну, всё правильно
JS
но я потом не могу это использывать
почему?
MK
УМВР
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module B where
import Control.Concurrent.STM
import Control.Monad.IO.Class
import Control.Monad.Reader
import GHC.Records
send ::
forall x m a r.
(MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send a = do
chan <- asks (getField @x)
liftIO $ atomically $ writeTQueue chan aА GHC.Records это что, кстати?
MK
Когда он появился?
JS
c AllowAmbiguius у меня тоже
AllowAmbiguousTypes нужен, потому что x нет в типе выражения. откуда его компилятор возьмёт?JS
А GHC.Records это что, кстати?
это где живёт getField
AP
УМВР
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module B where
import Control.Concurrent.STM
import Control.Monad.IO.Class
import Control.Monad.Reader
import GHC.Records
send ::
forall x m a r.
(MonadIO m, HasField x r (TQueue a), MonadReader r m) => a -> m ()
send a = do
chan <- asks (getField @x)
liftIO $ atomically $ writeTQueue chan aдавай сюда добавил класс Action который
Action x aAP
чтобы связать и имя поля в Env