ПК
Да
Size: a a a
2020 November 06
AV
https://hackage.haskell.org/package/reflection-2.1.6/docs/Data-Reflection.html#t:ReifiedMonoid
просто по-другому нужен контекст
просто по-другому нужен контекст
В смысле reified enum сделать?
ПК
Нужно написать что-то вроде
instance CommandFirst Show where?
show Start = "start"
show Quit = "quit"
a
В смысле reified enum сделать?
ну этот reified не является самим тайплевел листом в своём понимании, просто небольшая обходка при
unsafeCoerceY
Нужно написать что-то вроде
instance CommandFirst Show where?
show Start = "start"
show Quit = "quit"
Если нужно только первую букву поменять, можно обёртку:
data CommandFirst = <…> deriving (Show, Read)
newtype CommandFirstShow = CFS {unCFS :: CommandFirst}
instance Show CommandFirstShow where
show = uncap . show . unCFS
instance Read CommandFirstShow where
read = CFS . read . cap
AV
ну этот reified не является самим тайплевел листом в своём понимании, просто небольшая обходка при
unsafeCoerceНу мне typelevel список и не нужен
AV
Мне нужен локальный инстанс
AV
Если нужно только первую букву поменять, можно обёртку:
data CommandFirst = <…> deriving (Show, Read)
newtype CommandFirstShow = CFS {unCFS :: CommandFirst}
instance Show CommandFirstShow where
show = uncap . show . unCFS
instance Read CommandFirstShow where
read = CFS . read . cap
Ещё раз громко скажу, что не стоит использовать инструменты не по назначению, это приведёт к крайне большому количеству проблем и хаков для их решения. А сложность и поддерживаемость решения будет расти чуть-ли не экспоненциально
AV
Show/Read это средства отладки, и это очень хорошо когда выдачу Show можно складывать в ghci и она будет автоматом читаться. В общем любое желание поменять дефолтный инстанс Show это нехороший флаг
AV
ну этот reified не является самим тайплевел листом в своём понимании, просто небольшая обходка при
unsafeCoerceКажется аналогичную штуку я могу сделать, оно даже сработает и похоже неплохо
ПК
Если нужно только первую букву поменять, можно обёртку:
data CommandFirst = <…> deriving (Show, Read)
newtype CommandFirstShow = CFS {unCFS :: CommandFirst}
instance Show CommandFirstShow where
show = uncap . show . unCFS
instance Read CommandFirstShow where
read = CFS . read . cap
Ну, у меня instance получилось быстрее и короче сделать
a
Кажется аналогичную штуку я могу сделать, оно даже сработает и похоже неплохо
Ну да, проксю можешь достать из
s в Reifies s a инстансе если обернёшь свой енум в ньютайп который сохраняет проксюλ> reify ([1,2,3] :: [Int]) $ \l -> foldr (+) 0 (reflect l)
6
AV
reify / reflect без обёрток не хватит
AV
Но в общем суть ясна
AV
Даже прямую зависимоть на reflection делать не придётся
YR
Вот написал такое грубо говоря -
работает как надо. Но задумался, а как оно работает? Ведь методы SomeClass-а работают не с DDD, а с
class X a where x :: String -> Maybe a
newtype Helper a = Helper a
instance X a => SomeClass (Helper a) where ....
data DDD = ....
deriving SomeClass via (X DDD)
работает как надо. Но задумался, а как оно работает? Ведь методы SomeClass-а работают не с DDD, а с
Helper DDD. Но оно как-то из инстанса для Helper DDD выводит инстанс для DDD. То есть он сркыто внизу использует как бы deriving newtype? На нем получается базируется deriving via? А если Helper не newtype, а data? Тогда он как выведет?