TZ
при этом первый стринг должен быть repo, а второй name. Как мне защититься от того, чтобы случайно перепутать порядок?
Ньютайпы?
Size: a a a
2021 January 02
A
ну вобщем да, поскольку один без другого не имеет смысла, наверно named
A
ну или вообще переделаю все чтобы структуру передавать
к
ньютайпы в общем-то тоже отличный варик, named в данном случае это просто обобщение всех таких ньютайпов, которые обычно создаются для параметров
A
делаю сейчас везде в коде data Image = Image {getRepo::String, getName::String}
A
А вот если у меня есть StateT MyState IO, то есть какое-нибудь чудесное средство, чтобы не надо было писать liftIO на каждый putStrLn?
к
да,
putStrLn :: MonadIO m => String -> m ()
putStrLn = Prelude.putStrLn . liftIO
putStrLn :: MonadIO m => String -> m ()
putStrLn = Prelude.putStrLn . liftIO
к
есть несколько кастомных прелюдий, в которых уже сделано так для многих io функций из base
A
то есть мне надо другую прелюдию поставить, а стандартную убрать?
A
а, еще у меня есть putStrLn из Data.ByteString.Char8 и Data.ByteString.Char8.Lazy
к
то есть мне надо другую прелюдию поставить, а стандартную убрать?
не надо, а можно. А можно просто у себя определить локально в каком-нибудь модуле эти функции, и использовать их
A
class MPrint a where
putStrLn :: MonadIO m => a -> m ()
instance MPrint String where
putStrLn = liftIO . Prelude.putStrLn
instance MPrint S8 where
putStrLn = liftIO . C8.putStrLn
instance MPrint S8L where
putStrLn = liftIO . C8L.putStrLn
A
работает, но спотыкается об литералы
к
есть один хак для решения этой проблемы, ща
к
в общем трюк выглядит примерно так
к
вроде бы можно как-то без INCOHERENT это сделать, оверлапами, но я не смог сейчас этого сделать
к
закоментированный вариант будет точно так же ругаться на то, что не ясно, какой тип у 10
A
ага, сработало
A
class MPrint a where
putStrLn :: MonadIO m => a -> m ()
instance {-# INCOHERENT #-} a ~ String => MPrint a where
putStrLn = liftIO . Prelude.putStrLn
instance MPrint S8 where
putStrLn = liftIO . C8.putStrLn
instance MPrint S8L where
putStrLn = liftIO . C8L.putStrLn