ЗП
как сделать так, что одна тайп фемили должна говорить, что должна быть определена еще одна
типа constraint но для тайп фамили
типа constraint но для тайп фамили
Size: a a a
2021 January 29
A
А в стеке как-то можно описать один раз часть ключей для ghc и потом переиспользовать их и в конфиге либы и в конфиге исполняемого файла?
ЗП
А в стеке как-то можно описать один раз часть ключей для ghc и потом переиспользовать их и в конфиге либы и в конфиге исполняемого файла?
в кабал файле можно
A
в кабал файле можно
А через package.yaml никак?
AS
как сделать так, что одна тайп фемили должна говорить, что должна быть определена еще одна
типа constraint но для тайп фамили
типа constraint но для тайп фамили
class HasY a => HasX a where type X a
ЗП
ну или через него
ЗП
class HasY a => HasX a where type X a
и что это?
AS
и что это?
Constraint на тайп фемили. То есть тип, который есть у инстансов класса
A
ну или через него
А как? Я просто как-то не нашел как это делать.
ЗП
Constraint на тайп фемили. То есть тип, который есть у инстансов класса
мне надо такое
data SomeData :: Has (SomeFamily x) => SomeT x
AS
мне надо такое
data SomeData :: Has (SomeFamily x) => SomeT x
Тут две задачи (как я понял) - constraint на наличие связанной type family (вот тут хз) и ограничение data по constraint-у, тут можно например
class OurConstraint a => HasX a where
type X a
instance OurConstraint a => HasX a where
type X a = a
(синтаксис нелепый, да)
class OurConstraint a => HasX a where
type X a
instance OurConstraint a => HasX a where
type X a = a
(синтаксис нелепый, да)
AS
А, ладно, это так не работает почему то. Странная фигня, пойду репортить
к
а что тут не работает?
AS
а что тут не работает?
IO Int не Eq, а X (IO Int) - это почему то IO Int
ЗП
остается только надеяться, что с завтипами будет все как надо
вот только когда это будет
AS
https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts.html#instance-contexts-and-associated-type-and-data-instances мне закрыли этот баг, сославшись на это
AS
а, ну вот выше я бомбил, что в хаскеле все таки семейства и тайпклассы это две полностью несвязанные фичи
а синтаксис тайп-инстансов внутри тайпкласс-инстансов заставляет думать что это не так, и в итоге многие инстансы невалидны
а синтаксис тайп-инстансов внутри тайпкласс-инстансов заставляет думать что это не так, и в итоге многие инстансы невалидны
Угу, ворнинг хотя бы сделали бы