монад? Т.е. есть несколько IO Maybe
нужно ли пропускать второе действие?
да, вопрос именно в ленивости, иначе бы я просто получил бы все, и заалтернативил бы
конкретно для IO Maybe есть instance Alternative (MaybeT m)
Спасибо, а что использовать вместо ListT, если он осуждается?
LogicT или ListT-done-right
взял MaybeT, благо по логике нужен только первый попавишся хед
LogicT это черч лист трансформер
Обсуждают сегодня