не знаю, ничего про персистент. Но имя сгенеренного типа-то у вас есть?

Вот тут уже начинается область, где я буду плавать в терминологии. Из этого описания генерируется GADT, а я толком не понимаю что это такое. λ> :t UserAvatar UserAvatar :: EntityField User (Maybe Text) λ> :i UserAvatar data instance EntityField User typ where ... UserAvatar :: typ ~ Maybe Text => EntityField User typ ... Мне нужно поведение show UserAvatar == "UserAvatar" UserAvatar является конструктором для типа EntityField User (Maybe Text) . Сгенеренный тип тут - User. Он мне не нужен для того чтобы сделать нужный мне show. TH генерирует конструктор на каждое поле, причем каждое поле будет иметь свой EntityField a b. Если как то возможно задерайвить Show для EntityField a b где a и b заранее неизвестны то это хорошо.

Почему a->a не правильно?

Если сделать класс с ф not', а под него свой случай / instance для B, то и a -> a сойдёт. Это если в планах плодить и другие Б

а чем OVERLAPPING тут мешает? Если комиляцию проходит, то и норм, наверное? Что будет в том коде, который приведен, неизвестно. Зависит от того из какой монады m вызывается. Надо полный пример, мне кажется.

а чем OVERLAPPING тут мешает? Если комиляцию проходит, то и норм, наверное? Что будет в том коде, который приведен, неизвестно. Зависит от того из какой монады m вызывается. Надо полный пример, мне кажется.

он меняет приоритет инстансов

с Overlapping (как в дефолте) при наличи в стеке IO currentTime будет зависить от IO без Overlapping при наличии в стеке IO currentTime будет брать из ReaderT

независимо от того, какой тип

Вот тут уже начинается область, где я буду плавать в терминологии. Из этого описания генерируется GADT, а я толком не понимаю что это такое. λ> :t UserAvatar UserAvatar :: EntityField User (Maybe Text) λ> :i UserAvatar data instance EntityField User typ where ... UserAvatar :: typ ~ Maybe Text => EntityField User typ ... Мне нужно поведение show UserAvatar == "UserAvatar" UserAvatar является конструктором для типа EntityField User (Maybe Text) . Сгенеренный тип тут - User. Он мне не нужен для того чтобы сделать нужный мне show. TH генерирует конструктор на каждое поле, причем каждое поле будет иметь свой EntityField a b. Если как то возможно задерайвить Show для EntityField a b где a и b заранее неизвестны то это хорошо.

Это не GADT, а data family. Каждый тип (data) в семействе - тип с одним конструктором, без полей.

а тип индексирован типом записи таблицы и типом поля

наворочено... Мне кажется, что сейчас можно делать по-другому. Но это все 8 лет назад делалось

с Overlapping (как в дефолте) при наличи в стеке IO currentTime будет зависить от IO без Overlapping при наличии в стеке IO currentTime будет брать из ReaderT

$ stack ghci --package time monad-time transformers

sorry, продолжу

ghci> x <- getCurrentTime ghci> let f1=currentTime >>= liftIO . print >> currentTime >>= liftIO . print :: ReaderT UTCTime IO () ghci> let f2=currentTime >>= liftIO . print >> currentTime >>= liftIO . print :: IO () ghci> runReaderT f1 x 2018-05-01 17:53:54.648298031 UTC 2018-05-01 17:53:54.648298031 UTC ghci> f2 2018-05-01 17:55:28.411178197 UTC 2018-05-01 17:55:28.412000884 UTC

на мой взгляд все работает со всеми overlapping'ами

liftIO $ do .........

?

liftIO $ do .........

не вариант

currentTime без liftIO же нужен

привет. на нубские вопросы отвечаете? )

привет. на нубские вопросы отвечаете? )

Да, но лучше в t.me/haskell_learn

да, но в https://t.me/haskell_learn ещё и подробно :)

кекб

пасиб

ЗДЕСЬ

вопросы

currentTime без liftIO же нужен

https://hackage.haskell.org/package/lifted-base-0.2.3.12/docs/Control-Concurrent-Lifted.html тогда это

не, там же о другом разговор

есть MonadTime для моканья функции

https://hackage.haskell.org/package/lifted-base-0.2.3.12/docs/Control-Concurrent-Lifted.html тогда это

да вообще не суть же

и вопрос был когда она будет работать в IO а когда использовать ReaderT UTCTime

т.е. lifted / unlift и прочие не решают этот вопрос

и вопросов с Overloading и порядком там тоже не возникает

даже не так, скорее про то, как заюзать ридерный инстанс, если в стеке есть IO

почему-то одинаковый код у меня и выше работает по разному

ну там ответ простой только newtype

не только newtype

еще работает орфан инстанс без overlapping

я бы сделал newtype у которого свой особый инстанс

нормальный вариант - только 1

а у остальных через MonadBase IO m

orphan instance это прям призыв к тому чтобы ghc ногу отстрелил

в случае overlapping instances

ну собственно решение с ньютайпом давно есть

{-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} import Control.Concurrent import Control.Monad.IO.Class import Control.Monad.Reader import Control.Monad.Time import Data.Time newtype MyReaderT e m a = MyReaderT { unMyReaderT :: ReaderT e m a } deriving ( Functor , Applicative , Monad , MonadReader e , MonadIO ) instance Monad m => MonadTime (MyReaderT UTCTime m) where currentTime = ask runMyReaderT :: MyReaderT e m a -> e -> m a runMyReaderT m = runReaderT (unMyReaderT m) program :: (MonadTime m, MonadIO m) => m () program = do liftIO . putStrLn . show =<< currentTime liftIO $ threadDelay 200000 liftIO . putStrLn . show =<< currentTime liftIO $ threadDelay 200000 liftIO . putStrLn . show =<< currentTime main :: IO () main = runMyReaderT program =<< currentTime

но у него свои проблемы имхо

почему по разному работает - у вас библиотеки одной версии?

можно еще сделать data CurrentTime = CurrentTime (IO UTCTime) и MonadReader CurrentTime m

вот любители над mtl поиздеваться

в тестах подсовывать один CurrentTime а в проде другой

newtype AppBase = AppBase { ....} <- весь нужный стек

instance MonadTime AppBase ...

это уже йесод

переименуй имя и будет не йесод

подход тот же, подход йесода работает хреново

полиморфный код не попишешь

mtl это для одна конкретная монадка, и для неё инстансы напилить, а не магический lift и толпа стеков

с AppBase? попишешь конечно

т.к. у тебя функции над mtl классами

ну или так, но констрейнты накладывать не на монаду, а на appBase

ну т.е. если тебе нужен код, который не знает про устройство конкретного AppBase

ты тупишь

смотри у нас есть библиотека, использующая mtl-классы

которая ничего не знает про AppBase

когда ты делаешь AppBase ты делаешь конкретную вещь, и реализуешь инстансы для этих mtl -классов

и все работает

а не эти MyReaderT

когда ты делаешь AppBase ты делаешь конкретную вещь, и реализуешь инстансы для этих mtl -классов

не понял, каких mtl классов инстансы для чего надо реализовать?

забей

просто думай об этом, пусть это будет твоим кошмаром

обязательно

Хаскельное сообщество меня продолжает умилять своей вежливостью и отзывчивостью

Хаскельное сообщество меня продолжает умилять своей вежливостью и отзывчивостью

Не заходите в рускоязычные чаты по iOs или Spring (java) без РХБЗ

Не заходите в рускоязычные чаты по iOs или Spring (java) без РХБЗ

РХБЗ?

Антон я вроде segfault-а давно знаю и он меня тоже, можно позволить мне так общаться, если он с чем-то не согласен он скажет

РХБЗ?

Ну, без Л-1. Костюм радиохимбиозащиты

РХБЗ?

а вот отношении тех, кто рекламирует haskell-learn и не объясняет подробно в этом канале у меня вообще zero-tolerance

только очень плохие люди так делают

Хаскельное сообщество меня продолжает умилять своей вежливостью и отзывчивостью

а самое прикольное такие forward-s из этого же канала видеть от людей кому, вроде бы вполне нормально объясняли : (

может и в правду ну это все нахрен, пусть будет только haskell-learn и нетоксичные правильные люди, а тут только будет про политоту, и репосты про то, какое общество токсичное и плохое

\o/