+++

Неча юзера баловать, запомнит, введет что нужно

а если введёт неправильно, то ну что поделать, давайте ложить прогу

Зато сразу ясно кто виноват, юзер естественно

ухади, тебе тут не рады

Давайте тогда стребуем уж отказ от ответственности с юзера

Неосилятор расширения txt

Я осилю txt, просто уйди

Это уже баян, во всех лицензиях есть пункт отказа от ответственности и что ни случиться то ответственность только на юзере

Да че ты такой злой

Знаю что ничего хорошего ты все равно не напишешь

Потомок Ванги?

привет, listToMaybe

персистент с эскулетой или haxl

Всем привет. Я тут чуток в тупик зашел, нужна помощь. Пишу небольшой пет-проект — CLI-утилиту, которая поддерживает некоторое множество команд. Каждая команда находится в отдельном модуле, и предоставляет экземпляр определенного тайпкласса для ее запуска, плюс обвязку для optparse-applicative. Проблемы начинаются, когда я пытаюсь собрать воедино разные команды в общий парсер. Вот гист с выжимкой проблемы: https://gist.github.com/YBogomolov/52e35d31fff289fd17ce71bd22d9d85c
Мне, я так понимаю, нужен открытый тип-сумма. Я пробовал это сделать через data families и type families, но безрезультатно. В голову пришло попробовать fastsum, но перед этим хочу удостовериться, что я не упускаю что-то банальное. Может, @xgrommx или @kana_sama что-то подскажут?

ну, ошибка возникает из-за того что <> требует одинаковые Mod

самый простой способ:

data Cmd
 = One CmdOne
 | Two CmdTwo

(One <$> one) <> (Two <$> two) <> A.metavar "<command>"

но можно взять union или fastsum конечно

Да, я так сделал, но это не расширяемый путь. При добавлении новой команды придется править и этот тип-сумму, чего хочется избежать.

data families кстати вроде тоже поможет