MK
ладно, оставлю с линзами
fmap NE.minimum . NE.nonEmpty . catMaybesSize: a a a
2020 December 21
MK
а так можно ещё
AA
minimumOf (traverse . _Just) :: [Maybe a] -> Maybe aможно проще? если бы был minimumMaybe какой-нибудь, можно было бы
fmap minimumMaybe . sequenceAminimum . Compose
MK
minimum . Compose
тоже ведь на пустом упадёт, не?
MK
λ> minimum $ Compose []
*** Exception: minimum: empty structureMK
композ конечно прикольная штука, которую можно применить раз в сто лет
AA
а, да, ну нормального минимума в фолдабле нет просто
MK
а, да, ну нормального минимума в фолдабле нет просто
угу
J
Lombardi Lorraine: user has been CAS banned
KV
Можно ли зная (forall t. a t => b t) сделать функцию (forall t. b t) -> (forall t. a t)?
KV
Ну или зная что-то другое про эти два констрейнта
IK
Можно ли зная (forall t. a t => b t) сделать функцию (forall t. b t) -> (forall t. a t)?
Там точно =>?
KV
Там точно =>?
Да
YS
функция откуда то знает констрейнты
a и bYS
по условиям вопроса вроде не важно, откуда
KV
Смысл такой, что есть значения, построенные исключительно из методов какого-то класса, и хочется из одного такого значения получить другое, похэндлив методы "дочернего" и оставив методы "родительского"
KV
У тебя функция констрейнт возвращает?
Ну это я наверное с утра брежу просто