A
Угу. А еще через точечку автокомплит реализовывать удобнее будет.
Size: a a a
2021 April 11
A
Ну тут скорее больше влияет что инстансы автоматом реэкспортятся.
JS
и как теперь реализацию отделять от интерфейса?
JS
deriving no HasField быYS
coderiving HasFieldJS
это у тебя получился дерайвинг в обратную сторону — тип по полям
YS
хммм
YS
я не задумывался над тем, что могло бы значить кодерайвинг...
JS
тут и там, тут и там, ходят типы по полям
YS
кстати, вопрос - запускаю репл в компоненте, и вроде он автоматически импортирует модуль Repl, который в корне компонента
YS
не нашел кажется такого поведения в доке
YS
это так и задумано?
IO
HasField солвится только если поле в скоупе, из доки:If the constraint solver encounters a constraint HasField x r a where r is a concrete datatype with a field x >>> in scope <<<, it will automatically solve the constraint using the field selector as the dictionary
Интересно только как это с NoFieldSelectors взаимодействовать будет
A
Видимо никак. Но ведь если ты в модуле с типом делаешь NoFieldSelectors то ты сможешь и сам там HasField нагенерировать нужных.
MK
NFS выключает только функцию селектор, само то поле будет в скоупе
MK
Для PM и record update