есть функция f :: a -> b. Есть булевая переменная isSmth. Если в va лежит Nothing, но предикат isSmth выполнен нужно вернуть Just B, если isSmth невыполнен, то просто можно применить fmap.
Как это лучше реализовать?
А как вы здесь получите В у вас же ни одной зацепки или константу кидать надо
вам все равно придется guard'ы прописывать для случая Nothing mf: Maybe a -> Maybe b mb True va = mf va mb False _ = Nothing
Обсуждают сегодня