по конструкторам, или так и должно работать?
Генерирует
f :: Either a b -> a -> a
f eab a = (case eab of
(Left a2) -> _
(Right b) -> _)
вместо
f :: Either a b -> a -> a
f (Left a1) a = _
f (Right b) a = _
да, код с нормальным синтаксисом он не синтезирует (может только case of и \case)
Хм, окей, спасибо. Я почему-то думал, что как в идрисе будет сплиттить.
Обсуждают сегодня