AV
aeson-lens это линзовый парсер?
Size: a a a
2020 May 27
K
Проблема в том, что вся оптика должна работать
forall f. Applicative f => ... и мы этот f под forall не можем заставить иметь состояние, напримерK
(В случае призм)
ЗП
когда работал с ленс-аесон и плейтед-ленс, возникло ощущение, что идею можно расширить и строить линзами парсеры, вот хотелось узнать, делал ли кто-то такое, чтобы узнать как это делать
я не смог написать
stringЗП
а уже писал кто-нибудь какие-нибудь линзовые парсеры?
type Parser s a = L.Prism' s (Tuple a s)
anyToken ∷ forall s a. Cons s s a a => Parser s a
anyToken = _Cons
satisfy ∷ forall s a. Cons s s a a => (a -> Boolean) -> Parser s a
satisfy f = anyToken <<< L.filtered (f <<< fst)
char ∷ forall s a. Cons s s a a => Eq a => a -> Parser s a
char c = satisfy (_ == c)
ЗП
runParser ∷ forall s a. L.Fold' (First (Tuple a s)) s (Tuple a s) -> s -> Maybe (Tuple a s)
runParser = L.preview
runPrinter ∷ forall s a. L.Review' s (Tuple a s) -> (Tuple a s) -> s
runPrinter = L.review
MK
какой тип у
filter isAlpha ?SD
всем привет. почему эта строчка кода не хочет вместе работать? порознь length работает, скобки ставить пытался. f2 = length filter isAlpha
f2 = length . (filter isAlpha)MK
ты пытаешься найти длину функции filter
сломали всю педагогику
FU
сломали всю педагогику
нет, я понял о чем ты