AA
foo xs = drop 1 . getZipList $ True <$ ZipList xs
bar xs = getZipList $ (,) <$> ZipList xs <*> (ZipList (foo xs) <|> pure False)
Size: a a a
2020 October 29
ЗП
foo xs = drop 1 . getZipList $ True <$ ZipList xs
bar xs = getZipList $ (,) <$> ZipList xs <*> (ZipList (foo xs) <|> pure False)
закоерсить?
AA
конечно
MK
MK
Теперь заживём
ЗП
Теперь заживём
в чем профит?
VD
Хлинт заработает же.
AA
но он бесполезен
YR
но он бесполезен
+1
AA
разве что только чтоб скобки убирать которые генерит магваерогенератор
VD
Чому? Я вечно пишу какую-нибудь велосипедную штуку, для которой есть готовая функция же
YS
Кажется хочется странного. Есть рекорды, в которых все поля - Maybe что-то. Хочется для таких типов иметь моноид, чтобы в качестве mempty был инстанс с Nothing, а бинарная операция - создает новый элемент, где каждое поле взято от правого элемента, если он Just что-то, в противном случае - от левого
YS
Есть что-то уже готовое, что может мне помочь?
YS
Или мне уже ничего не поможет?(
JS
звучит как semigroup config pattern, но готового не встречал
JS
навертеть HKD, но это так себе
YS
Слышал про дженерик моноид, это не про то?
JS
Кажется хочется странного. Есть рекорды, в которых все поля - Maybe что-то. Хочется для таких типов иметь моноид, чтобы в качестве mempty был инстанс с Nothing, а бинарная операция - создает новый элемент, где каждое поле взято от правого элемента, если он Just что-то, в противном случае - от левого
или вопрос про конкретный Monoid? — тогда First
YS
или вопрос про конкретный Monoid? — тогда First
Не, вопрос про то, как генерить моноид неруками для этого(
VD
Кажется хочется странного. Есть рекорды, в которых все поля - Maybe что-то. Хочется для таких типов иметь моноид, чтобы в качестве mempty был инстанс с Nothing, а бинарная операция - создает новый элемент, где каждое поле взято от правого элемента, если он Just что-то, в противном случае - от левого
Где-то я видел паттерн типа
data MyRecord f = { field1 :: f SomeType }...