[
Когда я его только импортировал
Size: a a a
2021 May 17
к
могу предположить, что тут пытается задаться семантика, что Either это просто Either, мол или левое или правое значение, и монадный инстанс с сементикой ошибки там оттуда же, откуда в (e -> _) инстанс ридера и в (w, _) инстанс райтера (то есть инстанс есть просто потому что может быть), а вот Except это именно ньютайп для семантики ошибки
DM
Так казалось бы, все стандартные инстансы для Either реализованы как раз таки с той же семантикой ошибки
DM
А с
overlapping instances при ручной имплементации можно как-то бороться?DM
За один из matching instances считается
instance [safe] transformers-0.5.6.2:Control.Monad.Trans.Error.Error eDM
impot hiding сделать что лиDM
звучит не очень вкусно :(
но энивей спасибо
но энивей спасибо
YS
лично я кажется только с такими невкусностями и живу(
YS
оверлаппинг для тонких перекрытий вообще не пригоден
YS
если нет уверенности что "должно быть любым перекрываемо" или "должно любое перекрывать" лучше сразу ньютайп взять
¯
не нравится, что надо писать ненужные
наверное, если подумать, то можно написать без этого всего. как-то так:
runGet, из конфига доставать функцию, которая получает сектор и т.п. наверное, если подумать, то можно написать без этого всего. как-то так:
someFunc = do
sectorNo <- getWord32le
count <- getWord32le
sector <- getSector
return $ ... sector sectorNo count
JS
да, можно всё в одну монаду спрятать
DB
Ну эти, как его!