IK
type Trilean = Maybe Bool
и кучу инстансов кстати получаешь
Size: a a a
2020 October 28
VD
в нормальных языках такое в язык уже встроено
Я за null в булах на ревью гоняю ссаными тряпками и пускаю черный дым из выхлопной трубы >_>
AV
Как написать:
?
f :: (Traversable t) => t a -> ([a] -> IO (Map a c)]) -> IO (t (a,Maybe c))
?
AV
если
(a -> IO c) всё понятно, это просто traverseAV
Как сделать в 2 шага, сначала toList потом вызвать функцию, потом fmap тоже понятно
AV
угу поправил
AV
f t g = do
let x = toList t
z <- g x
pure $ t & \i -> (i, z ?! i)
AV
Вот так понятно, но не хочется
AV
/me передумал, хочется, но интересны способы красивее
AV
при a -> IO c - нужен
AV
Ну можешь завернуть a в [a], просто неэффективно будет
MP
/me передумал, хочется, но интересны способы красивее
mconcat <$> for t $ \a -> блабла?
MP
Хотя наверняка неэффективно, да
к
Как написать:
?
f :: (Traversable t) => t a -> ([a] -> IO (Map a c)]) -> IO (t (a,Maybe c))
?
так не