Телеграмм чат группы haskellru страница 16019

https://www.stackage.org/haddock/lts-17.10/unliftio-core-0.2.0.1/Control-Monad-IO-Unlift.html#t:MonadUnliftIO

автор из коробки даёт инстанс для ReaderT, но не для WriterT и StateT. наверно, что-то объективно мешает это сделать

источник

11:08пожаловаться #4

Jerzy Syrowiecki in Haskell

MonadBaseControl устарел? в нём что-то концептуально неправильно? lifted-async всё ещё его использует

источник

11:11пожаловаться #5

monagatep in Haskell

Ну вот persistent уже нет

источник

11:13пожаловаться #6

Jerzy Syrowiecki in Haskell

While MonadIO allows an IO action to be lifted into another monad, this class captures the opposite concept: allowing you to capture the monadic context. Note that, in order to meet the laws given below, the intuition is that a monad must have no monadic state, but may have monadic context. This essentially limits MonadUnliftIO to ReaderT and IdentityT transformers on top of IO.

источник

11:13пожаловаться #7

monagatep in Haskell

https://www.stackage.org/haddock/lts-16.27/persistent-2.10.5.3/Database-Persist-Sql.html#v:runSqlConn

источник

11:13пожаловаться #8

monagatep in Haskell

runSqlConn :: (MonadUnliftIO m, BackendCompatible SqlBackend backend) => ReaderT backend m a -> backend -> m a

источник

11:13пожаловаться #9

monagatep in Haskell

Может, есть какой-то способ вытащить MonadIO или даже IO из MonadUnliftIO?

Вот в таком коде:

doPostgresPersist :: Postgres m => PSQL.SqlPersistT m a -> m a
doPostgresPersist p = do
  conn <- askConn
  logFunc <- askLoggerIO
  pconn <- liftIO $ PPG.openSimpleConn logFunc conn
  PSQL.runSqlConn p pconn

источник

11:15пожаловаться #10

monagatep in Haskell

Где

источник

11:15пожаловаться #11

monagatep in Haskell

class (MonadBaseControl IO m, MonadLoggerIO m, MonadCatch m) => Postgres m where
  askConn :: m PG.Connection
  askOpts :: m Opts
  getTxState :: m TxState
  putTxState :: TxState -> m ()
  txState :: (TxState -> (a, TxState)) -> m a

источник

11:15пожаловаться #12

Jerzy Syrowiecki in Haskell

теоретически нет, это же противоположные вещи. а зачем?

источник

11:16пожаловаться #13

Jerzy Syrowiecki in Haskell

и зачем вам RWST в запросах?

источник

11:16пожаловаться #14

monagatep in Haskell

Легаси

источник

11:17пожаловаться #15

monagatep in Haskell

Программист уже в другой проект ушёл

источник

11:17пожаловаться #16

monagatep in Haskell

источник

11:17пожаловаться #17

monagatep in Haskell

В R подключение, в W -- логи (насколько я понял), S -- что-то ещё, пока не смотрел

источник

11:18пожаловаться #18

Jerzy Syrowiecki in Haskell

внутри RWST yourBackend можно вызвать lift runSqlConn

источник

11:19пожаловаться #19

monagatep in Haskell

Ну мне бы на первое время какую-нить функцию escapeFromUnliftIO, чтобы тут её использовать:

```

doPostgresPersist :: Postgres m => PSQL.SqlPersistT m a -> m a
doPostgresPersist p = do
  conn <- askConn
  logFunc <- askLoggerIO
  pconn <- liftIO $ PPG.openSimpleConn logFunc conn

  escapeFromUnliftIO $       PSQL.runSqlConn p pconn

```

источник

11:19пожаловаться #20