Size: a a a

2020 May 05

MK

Maxim Koltsov in Haskell
важная новость
источник

MK

Maxim Koltsov in Haskell
на хакадже появился base-4.13 и base-4.14
источник

AV

Alexander Vershilov in Haskell
еее
источник

MK

Maxim Koltsov in Haskell
Uploaded
by HerbertValerioRiedel at 2020-05-03T21:35:53Z
источник

MK

Maxim Koltsov in Haskell
Add Functor, Applicative and Monad instances to (,,) a b and (,,,) a b c.
источник

MK

Maxim Koltsov in Haskell
Из 4.14
источник

AV

Alexander Vershilov in Haskell
еее!
источник

NI

Nick Ivanych in Haskell
"Теперь заживём"
источник

к

кана in Haskell
хочу в аесоне кастомный тип, который будет работать как Nothing в Maybe, то есть если будет парсится рекорд, где поле имеет этот тип, то поле должно быть опциональным
источник

AV

Alexander Vershilov in Haskell
я делал кастомный парсер типа
источник

AV

Alexander Vershilov in Haskell
А не, ты другое хочешь, а что делать если поля нет?
источник

к

кана in Haskell
у меня поля и нет
источник

к

кана in Haskell
ща кейс покажу
источник

к

кана in Haskell
data F m = F
 { a :: Int, b :: m }

и вот хочется чтобы для F () парсились просто { a: 1 }
источник

к

кана in Haskell
я пытаюсь сделать

parseJSON val = parseJSON @(F (Maybe Void)) <&> \case
 F a _ -> F a ()
источник

к

кана in Haskell
но что-то не выходит
источник

к

кана in Haskell
ну ладно, проще написать свой парсер уже, а не пытаться генерить
источник

AV

Alexander Vershilov in Haskell
Не, так не выйдет
источник

AV

Alexander Vershilov in Haskell
Аесону даже нельзя сказать если поля нет, то передай null / (Maybe Null) внутреннему парсеру
источник

AV

Alexander Vershilov in Haskell
Но кстати с generic-ками такое можно заделать
источник