D•
Чаще всего да, хотя скорее из пригорода.
Size: a a a
2021 April 23
RY
Я из Питера
Анонимный опрос
Проголосовало: 392021 April 28
AK
Как бы назвать функцию типа
(a -> SomeType b c a) -> SomeType b c a -> SomeType b c a, то есть andThen, но без смены a -> b. И есть ли смысл в такой, может я туплю? У меня просто внутри типа функция внутри мейби (SomeType b c a = SomeType b c (Maybe (c -> a))) , andThen на нём никак не сделать, а вот такое можно и нужно иногда.AP
А
andThen чем не подходит-то?K
>
SomeType b c a = SomeType b c (Maybe (c -> a))
Чтоита?AP
Никаких требований на то, чтобы менялся "тип элемента",
andThen не накладываетAP
Если тебе удобно, то по смыслу
andThen подходит больше всегоK
А определение SomeType можно?
AP
Так это оно и есть
AP
type SomeType b c a = SomeType b c (Maybe (c -> a))K
K
Дак Reader же, поменять тип у
a как два байта переслатьAP
Чатом ошиблись вы с Reader вашим, батенька!
AP
Опять же, как я понял, в том и цель, чтобы не менять
aAP
Впрочем имея возможность менять, можно не менять волевым решением :)
AP
Так что я тоже за честный
andThen с (a -> b)! :)AP
andThen : (a -> d) -> SomeType b c a -> SomeType b c d
andThen f (SomeType b c mbA) = SomeType b c (Maybe.map (<<< f) mbA)AP
что-то такое
K
Ну или так
type SomeType b c a = SomeType b c (Maybe (c -> a))
andThen : (a -> SomeType b c d) -> SomeType b c a -> SomeType b c d
andThen k s = case s of
SomeType b c (Just f) -> k (f c)
SomeType b c Nothing -> SomeType b c Nothing