Подсказки есть а перехода нет

Что за странный формат для названия поля?)

в halogen formless во всех примерчиках так, видимо подразумевается что это как часть (одно поле) из формы, но в реальности я без понятий, если был бы хаскель предположил бы чтобы не конфликтовать с геттером сеттером самого рекорда, но тут _.

forall sym i form v . SProxy sym → i → Variant ( modify ∷ form Variant F.InputFunction | v )

Блин да почему они тайпалиасы не сделали в формлессе

Но это еще не самый страшный пример

есть большая разница написть в резюме JS, Node.js и JS, Node. js и знание языков C#, Java, python, php..? я на слабого миддла претендую.

Блин я может делаю что то не то, но алиасов реально не хватает в Halogen

Какие то 3х этажные конструкции в типах

А можно как то попросить его развернуть (...) что он имеет ввиду

в этом случае это емнип значит, что поля pointForm нет в рекорде

type ChildSlots =
  ( pointForm :: PFSlot Int
  , select :: DS.Slot DM.Movers Unit
  )

Хотя оно есть, да и ченджи не в нем были, оно закомитено и работает

бтв, formles вообще не понравился

А как правильно, и можно ли вообще, сделать такое: есть тайпкласс, к примеру RendersTo view model с функцией render :: model -> view.

Хочется для каждого "компонента" хранить в разных файлах то, во что он рендерится как инстанс.

К примеру, в одном файле хранить RendersTo (Html MyMsg) MyInput. в другом RendersTo String MyInput, в третьем RendersTo Canvas MyInput. Но инстансы нельзя делать к алиасам (Html a — алиас) и нельзя делать вне модуля. где определён MyInput. Если бы можно было один и тот же модуль "размазать" по разным файлам, то проблема решилась бы, но, кажется, нельзя...

Приает, а как параметризовать отложенно как бы слот в halogen

type ChildSlots =
  ( pointForm :: PFSlot Int
  , select :: DS.Slot Movers Unit
  )

Вот тут у меня select может возвращать как и Movers так и в зависимости от передаваемой структуры другие типы

Но мы ведь должны как бы в комопненте сразу тип передать

даже если я какой то открытый как бы сделаю

ChildSlots s
то ниже мне нужно сразу тип указать ChildSlots и нужный s