action
| Left e => -- process error
-- only executed if ok
Если монада хорошая (MonadFail) в do-блоках кидает fail при несостоявшемся паттерн матче в <- . Синтаксиса прямо такого нет, если надо разбирать случаи - case
Удобно, но синтаксис гибче)
action >>= \case, и если при left вызвать ошибку (MonadError), монадическое вычисление не пойдет дальше
Тоже хорошо, про ExceptT знаю Крч, синтаксиса нет, я понял, вопрос закрыт, всем спасибо
Обсуждают сегодня