GP
type NumList = forall a . (Num a ,Fractional a) => [a]
А вот такой тайпалиас как в пурсе написать?
А вот такой тайпалиас как в пурсе написать?
Size: a a a
2020 March 16
А вот такой тайпалиас как в пурсе написать?
ЗП
нет Constraint Kinds
ЗП
type NumList = forall a . (Num a ,Fractional a) => [a]
А вот такой тайпалиас как в пурсе написать?
у пурсы нет Num
ЗП
там же Semiring
ЗП
какие операторы от тайпкласса тебе надо?
GP
нене это лишь так , из головы, я не описывал NumList , в халоген формлесс просто пока тут разбирался параллельно выдумывал примеры что схоже а что нет
ЗП
пурса пока не умеет промутить типы в констрейнты
ЗП
type A = ...это тип алиас пока не более, а ты хочешь констрейнт алиас, но для этого надо промоушен
ЗП
во недавно влитый PR о Polykinds написано
Constraint now carries kinds as well as types. This is necessary for solving things like RowToList where the kind of RowList depends on the kind of the Row we are converting. In a future with full ConstraintKinds, this will just be KindApps and TypeApps.
Constraint now carries kinds as well as types. This is necessary for solving things like RowToList where the kind of RowList depends on the kind of the Row we are converting. In a future with full ConstraintKinds, this will just be KindApps and TypeApps.
GP
Ну ладно это я на самом деле просто синтаксис перебирал, сравнивал, спасибо!
GP
Как кстати тебе решение с цсс модулями?
GP
для привыкших чтобы цсс файлик был рядом с компонентой
GP
я просто своего типа изобретения сколько гуглил нигде не встретил
ЗП
выходит твой Style это типа экзистенциальный тип? (вроде нет)
GP
Ну я его то есть вообще никак не описывал
GP
styles.containerХоть
styles.test7777ЗП
типа Any какой-то у тебя